854 search results - page 92 / 171 » Addressing Dynamic Issues of Program Model Checking |
116
Voted
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
146
click to vote
HPDC
2003
IEEE
15 years 7 months ago
2003
IEEE
Grid computing is concerned with the sharing and coordinated use of diverse resources in distributed "virtual organizations.” The dynamic and multi-institutional nature of ...
107
Voted
ICDCS
1991
IEEE
15 years 6 months ago
1991
IEEE
of ‘‘network computers’’ is inherently lessAbstract predictable than that of more traditional distributed memory systems, such as hypercubes [22], since both theFor computa...
75
Voted
WSC
2007
15 years 4 months ago
2007
An immense amount of research work has been done in the areas of scheduling and re-scheduling of various types of manufacturing systems. In this paper we present a simulation assi...
111
Voted
ETS
2002
IEEE
15 years 2 months ago
2002
IEEE
Information technology is arguably an important tool for knowledge management, facilitating learning in a business context. However, the current use of information technology in t...