34 search results - page 7 / 7 » Matador: An Exploration Environment for System-Design |
SCOPES
2005
Springer
15 years 3 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
14 years 11 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...
68
Voted
NSDI
2008
14 years 12 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
14 years 11 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 ...