854 search results - page 92 / 171 » Addressing Dynamic Issues of Program Model Checking |
133
click to vote
FSTTCS
2005
Springer
15 years 10 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...
162
click to vote
HPDC
2003
IEEE
15 years 10 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 ...
130
click to vote
ICDCS
1991
IEEE
15 years 8 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...
WSC
2007
15 years 7 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...
129
click to vote
ETS
2002
IEEE
15 years 4 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...