15421 search results - page 159 / 3085 » Dependability |
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
PRDC
2007
IEEE
14 years 3 months ago
2007
IEEE
We propose a comprehensive solution to handle memory-overflow problems in multitasking embedded systems thereby improving their reliability and availability. In particular, we pro...
DSN
2006
IEEE
14 years 3 months ago
2006
IEEE
The costs of data loss and unavailability can be large, so businesses use many data protection techniques, such as remote mirroring, snapshots and backups, to guard against failur...
GLVLSI
2006
IEEE
14 years 3 months ago
2006
IEEE
Process variations have become a serious concern for nanometer technologies. The interconnect and device variations include interand intra-die variations of geometries, as well as...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
Electronic textiles, known as computational fabrics, offer an emerging method for constructing wearable and large area applications. Because e-textiles are battery-driven and faul...