436 search results - page 7 / 88 » On the interconnection of message passing systems |
FPL
2007
Springer
15 years 3 months ago
2007
Springer
We are developing a set of reusable design blocks and several prototype systems for emulation of multi-core architectures in FPGAs. RAMP Blue is the first of these prototypes and...
114
click to vote
HOTSWUP
2009
ACM
14 years 7 months ago
2009
ACM
Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properti...
51
Voted
ICDCN
2009
Springer
15 years 4 months ago
2009
Springer
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
We show that any regular set of basic MSCs can be implemented by a deadlock-free communicating finite-state machine with local termination: Processes stop in local dead-states ind...
88
Voted
EDCC
2010
Springer
15 years 2 months ago
2010
Springer
