192 search results - page 24 / 39 » Time and Information in Sequential and Concurrent Computatio... |
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
The saturation strategy for symbolic state-space generation is very effective for globally-asynchronous locally-synchronous discrete-state systems. Its inherently sequential natu...
101
click to vote
CACM
1998
14 years 11 months ago
1998
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...
ICDCS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we explore a new form of dissemination called Flash Dissemination that involves dissemination of fixed, rich information to a large number of recipients in as shor...
102
click to vote
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
107
click to vote
CCGRID
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Scientific computing is being increasingly deployed over volunteer-based distributed computing environments consisting of idle resources on donated user machines. A fu...