1027 search results - page 72 / 206 » Callgraph properties of executables |
193
click to vote
WETICE
2008
IEEE
16 years 17 days ago
2008
IEEE
: Grid Services became a widely used technology for building service oriented applications. The Web Service Resource Framework (WSRF) is the current standard used for building such...
148
click to vote
CLUSTER
2007
IEEE
16 years 16 days ago
2007
IEEE
— In large-scale distributed execution environments such as multicluster systems and grids, resource availability may vary due to resource failures and because resources may be a...
146
click to vote
EMSOFT
2007
Springer
16 years 11 days ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
148
click to vote
GCC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we constructed the Distributed Object Group Framework(DOGF) which is a reconfigurable architecture supporting dynamically adaptation of distributed service...
221
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...