1681 search results - page 243 / 337 » Formal Design of Distributed Control Systems with Lustre |
HUC
2005
Springer
15 years 3 months ago
2005
Springer
When computation moves off the desktop, how will it transform the new spaces that it comes to occupy? How will people encounter and understand these spaces, and how will they inter...
ATAL
2008
Springer
14 years 12 months ago
2008
Springer
We discuss the design of the Intermediary Agent's brain, the control module of an embodied conversational virtual peer in a simulation game aimed at providing learning experi...
CASCON
1996
14 years 11 months ago
1996
Developing and managing applications for environments consisting of independently con gured computing systems interoperating acrossnetwork connections is of considerable interest ...
HOTI
2008
IEEE
15 years 4 months ago
2008
IEEE
As processor core counts increase, networks-on-chip (NoCs) are becoming an increasingly popular interconnection fabric due to their ability to supply high bandwidth. However, NoCs...
DPD
2002
14 years 9 months ago
2002
The current standard in governing distributed transaction termination is the so-called Two-Phase Commit protocol (2PC). The first phase of 2PC is a voting phase, where the partici...