34 search results - page 7 / 7 » Matador: An Exploration Environment for System-Design |
SCOPES
2005
Springer
14 years 1 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
GRAPHICSINTERFACE
2004
13 years 9 months ago
2004
This paper describes an Augmented Reality (AR) Videoconferencing System, which is a novel remote collaboration tool combining a desktop-based AR system and a videoconference modul...
NSDI
2008
13 years 10 months ago
2008
Much recent work on Byzantine state machine replication focuses on protocols with improved performance under benign conditions (LANs, homogeneous replicas, limited crash faults), ...
BCS
2008
13 years 9 months ago
2008
Programs are fragile for many reasons, including software errors, partial failures, and network problems. One way to make software more robust is to design it from the start as a ...