1418 search results - page 265 / 284 » How to Explain Mistakes |
SISW
2003
IEEE
14 years 18 days ago
2003
IEEE
— Smart cards are widely known for their tamper resistance, but only contain a small amount of memory. Though very small, this memory often contains highly valuable information (...
PLDI
2003
ACM
14 years 18 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
ATAL
2003
Springer
14 years 17 days ago
2003
Springer
This paper describes the implementation and evaluation of a framework for modeling emotions in complex, decision-making agents. Sponsored by U.S. Army Research Institute (ARI), th...
INFOCOM
2002
IEEE
14 years 8 days ago
2002
IEEE
– Typically, NACK-based congestion control is dismissed as being not viable due to the common notion that “open-loop” congestion control is simply “difficult.” Emerging r...
LCPC
2009
Springer
13 years 12 months ago
2009
Springer
This paper improves our previous research effort [1] by providing an efficient method for kernel loop unrolling minimisation in the case of already scheduled loops, where circular...