Sciweavers

4516 search results - page 199 / 904
» Automated System Design for Availability
Sort
View
SIGMETRICS
2008
ACM
132views Hardware» more  SIGMETRICS 2008»
15 years 4 months ago
Durability of replicated distributed storage systems
We study the problem of guaranteeing data durability [2] in distributed storage systems based on replication. Our work is motivated by several several recent efforts [3, 5, 1] to ...
Sriram Ramabhadran, Joseph Pasquale
IUI
2003
ACM
15 years 9 months ago
Tool support for designing nomadic applications
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...
Giulio Mori, Fabio Paternò, Carmen Santoro
LCTRTS
2001
Springer
15 years 9 months ago
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
DAC
2007
ACM
16 years 5 months ago
Hardware Support for Secure Processing in Embedded Systems
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
Shufu Mao, Tilman Wolf
SERP
2003
15 years 5 months ago
Experiences Developing an E-Whiteboard-Based Circuit Designer
E-whiteboards - large image display surfaces (LIDS) that support data input with pen-based sketching - have become more readily available in recent times. We describe a prototype ...
Ray Liu, Lisa Wong, John C. Grundy