276 search results - page 28 / 56 » Accurate and Efficient Static Timing Analysis with Crosstalk |
105
Voted
HIPC
2003
Springer
15 years 4 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
VLSID
2009
IEEE
15 years 11 months ago
2009
IEEE
Dynamic reconfiguration techniques are widely used for efficient system optimization. Dynamic cache reconfiguration is a promising approach for reducing energy consumption as well...
141
click to vote
ICSE
2011
IEEE-ACM
14 years 2 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...
ASAP
2006
IEEE
15 years 2 months ago
2006
IEEE
A popular approach to guarantee fault tolerance in safety-critical applications is to run the application on two processors. A checkpoint is inserted at the completion of the prim...
119
click to vote
TGC
2010
Springer
14 years 9 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...