Sciweavers

3405 search results - page 20 / 681
» Distributed Application Development with Inferno
Sort
View
PARELEC
2006
IEEE
14 years 3 months ago
Application-Driven Development of Concurrent Packet Processing Platforms
We have developed an application-driven methodology for implementing parallel and heterogeneous programmable platforms. We deploy our flow for network access platforms where we h...
Christian Sauer, Matthias Gries, Jörg-Christi...
HPDC
2010
IEEE
13 years 11 months ago
AzureBlast: a case study of developing science applications on the cloud
Cloud computing has emerged as a new approach to large scale computing and is attracting a lot of attention from the scientific and research computing communities. Despite its gro...
Wei Lu, Jared Jackson, Roger S. Barga
FM
2003
Springer
96views Formal Methods» more  FM 2003»
14 years 3 months ago
Event Based Sequential Program Development: Application to Constructing a Pointer Program
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
Jean-Raymond Abrial
IPPS
2006
IEEE
14 years 3 months ago
A framework to develop symbolic performance models of parallel applications
Performance and workload modeling has numerous uses at every stage of the high-end computing lifecycle: design, integration, procurement, installation and tuning. Despite the trem...
Sadaf R. Alam, Jeffrey S. Vetter
ATAL
2008
Springer
13 years 11 months ago
WADE: a software platform to develop mission critical applications exploiting agents and workflows
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
Giovanni Caire, Danilo Gotta, Massimo Banzi