Sciweavers

1264 search results - page 147 / 253
» Designing Safe, Reliable Systems using Scade
Sort
View
SIGMETRICS
2006
ACM
123views Hardware» more  SIGMETRICS 2006»
15 years 10 months ago
Exploiting redundancy to conserve energy in storage systems
This paper makes two main contributions. First, it introduces Diverted Accesses, a technique that leverages the redundancy in storage systems to conserve disk energy. Second, it e...
Eduardo Pinheiro, Ricardo Bianchini, Cezary Dubnic...
IKE
2003
15 years 5 months ago
A Role Agent Model for Collaborative Systems
Collaboration based on computers involves two factors, human users and computer systems. When we hope to build a feasible and efficient collaborative system, we must consider both...
Haibin Zhu
ASPDAC
2007
ACM
129views Hardware» more  ASPDAC 2007»
15 years 8 months ago
ECO-system: Embracing the Change in Placement
In a realistic design flow, circuit and system optimizations must interact with physical aspects of the design. For example, improvements in timing and power may require replacing ...
Jarrod A. Roy, Igor L. Markov
HASE
2008
IEEE
15 years 10 months ago
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
Jonas Elmqvist, Simin Nadjm-Tehrani
SIGMOD
2001
ACM
135views Database» more  SIGMOD 2001»
16 years 4 months ago
The Network is the Database: Data Management for Highly Distributed Systems
This paper describes the methodology and implementation of a data management system for highly distributed systems, which was built to solve the scalability and reliability proble...
Julio C. Navas, Michael J. Wynblatt