1027 search results - page 72 / 206 » Callgraph properties of executables |
159
Voted
WETICE
2008
IEEE
15 years 10 months 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...
108
Voted
CLUSTER
2007
IEEE
15 years 10 months 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...
112
Voted
EMSOFT
2007
Springer
15 years 9 months 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...
122
Voted
GCC
2004
Springer
15 years 9 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...
191
Voted
ISSTA
2000
ACM
15 years 8 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...