3425 search results - page 223 / 685 » A Model Driven Approach for Software Systems Reliability |
147
Voted
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
163
click to vote
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. One focus of recent research in the field of biologically plausible neural networks is the investigation of higher-level functions such as learning, development and modu...
148
click to vote
DAC
2004
ACM
15 years 9 months ago
2004
ACM
System-on-Chip (SoC) designs are increasingly becoming more complex. Efficient on-chip communication architectures are critical for achieving desired performance in these systems....
155
click to vote
CODES
2009
IEEE
15 years 11 months ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...
130
click to vote
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...