422 search results - page 54 / 85 » Automatic generation of error control codes for computer app... |
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
Message Passing Interface (MPI) is a widely used standard for managing coarse-grained concurrency on distributed computers. Debugging parallel MPI applications, however, has alway...
HPCA
2011
IEEE
13 years 21 days ago
2011
IEEE
As the web becomes the platform of choice for execution of more complex applications, a growing portion of computation is handed off by developers to the client side to reduce net...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
ICWS
2009
IEEE
14 years 6 months ago
2009
IEEE
— Web service models are increasingly being used in the Grid community as way to create distributed applications exposing data and/or applications through self describing interfa...
ECOOPW
1999
Springer
14 years 1 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...