4350 search results - page 227 / 870 » Case studies for contract-based systems |
165
click to vote
CODES
2007
IEEE
16 years 28 days ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
171
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
Reconfigurability is becoming an important part of System-on-Chip (SoC) design to cope with the increasing demands for simultaneous flexibility and computational power. Current ha...
201
click to vote
CBSE
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
202
click to vote
CODES
2011
IEEE
14 years 6 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
194
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...