1264 search results - page 191 / 253 » Designing Safe, Reliable Systems using Scade |
137
click to vote
AADEBUG
2005
Springer
15 years 7 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
123
click to vote
CF
2009
ACM
15 years 8 months ago
2009
ACM
As we reach the limits of single-core computing, we are promised more and more cores in our systems. Modern architectures include many performance counters per core, but few or no...
125
click to vote
MDM
2009
Springer
15 years 8 months ago
2009
Springer
The objective of YushanNet is to provide a reliable and robust system for hiker tracking in Yushan National Park, Taiwan. The aggregated information can help national parks to pro...
ICPP
2007
IEEE
15 years 8 months ago
2007
IEEE
The productivity of HPC system is determined not only by their performance, but also by their reliability. The conventional method to limit the impact of failures is checkpointing...
IAT
2003
IEEE
15 years 7 months ago
2003
IEEE
A prerequisite of joining an enterprise system is the ability to cope with the rigorous demands experienced within such systems. One of the most fundamental of these demands is th...