1855 search results - page 40 / 371 » A coding theorem for distributed computation |
67
Voted
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
87
Voted
EUROPAR
2003
Springer
15 years 7 months ago
2003
Springer
127
Voted
ADHOC
2008
15 years 2 months ago
2008
Virtual machines (VM) are promising as system software in sensor networks. A major impediment to their widespread acceptance is their performance overhead. Compiling VM bytecode to...
134
Voted
TGC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
111
Voted
MEMOCODE
2006
IEEE
15 years 8 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...