3341 search results - page 72 / 669 » A Communication Virtual Machine |
TOCS
2011
14 years 9 months ago
2011
137
Voted
CF
2010
ACM
15 years 6 months ago
2010
ACM
: The SpiNNaker machine is a massively parallel computing system, consisting of 1,000,000 cores. From one perspective, it has a place in Flynns' taxonomy: it is a straightforw...
203
click to vote
FMOODS
2008
15 years 4 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
109
click to vote
ICDCS
1993
IEEE
15 years 7 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
108
click to vote
HOTOS
2009
IEEE
15 years 7 months ago
2009
IEEE
Migrating a live, running operating system from one machine to another has proven to be an invaluable tool over the past few years. Today, however, the only way to migrate an OS i...