1541 search results - page 125 / 309 » Tools and Techniques for Model Checking Networked Programs |
124
click to vote
CCGRID
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In order to efficiently use Grid resources, users or middlewares must use some network information, and in particular some knowledge of the platform network. As such kn...
119
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
To fully harness Grids, users or middlewares must have some knowledge on the topology of the platform interconnection network. As such knowledge is usually not available, one must ...
132
click to vote
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
157
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
151
click to vote
CJ
2004
15 years 4 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...