1264 search results - page 133 / 253 » Designing Safe, Reliable Systems using Scade |
133
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
Antiquity is a wide-area distributed storage system designed to provide a simple storage service for applications like file systems and back-up. The design assumes that all serve...
126
click to vote
MANSCI
2010
15 years 2 months ago
2010
Firms that rely on functioning mission-critical equipment for their businesses cannot a¤ord signi…cant operational downtime due to system disruptions. To minimize the impact of...
151
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...
120
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
Accurate modeling of delay, power, and area of interconnections early in the design phase is crucial for effective system-level optimization. Models presently used in system-level...
137
click to vote
USS
2008
15 years 6 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...