4520 search results - page 647 / 904 » Algebraic Techniques for Timed Systems |
177
click to vote
DFT
2008
IEEE
16 years 1 months ago
2008
IEEE
It is widely recognized that device and interconnect fabrics at the nanoscale will be characterized by an increased susceptibility to transient faults. This appears to be intrinsi...
176
click to vote
VL
2008
IEEE
16 years 1 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
162
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper concerns the validity of a widely used method for estimating the architecture-level mean time to failure (MTTF) due to soft errors. The method first calculates the fai...
156
click to vote
HPDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Large-scale donation-based distributed infrastructures need to cope with the inherent unreliability of participant nodes. A widely-used work scheduling technique in such environme...
206
click to vote
SASO
2007
IEEE
16 years 29 days ago
2007
IEEE
Self-adapting systems based on multiple concurrent applications must decide how to allocate scarce resources to applications and how to set the quality parameters of each applicat...