1418 search results - page 265 / 284 » How to Explain Mistakes |
217
click to vote
SISW
2003
IEEE
16 years 10 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 (...
192
click to vote
PLDI
2003
ACM
16 years 9 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...
217
click to vote
ATAL
2003
Springer
16 years 9 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...
158
click to vote
INFOCOM
2002
IEEE
16 years 4 hour 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...
204
click to vote
LCPC
2009
Springer
15 years 11 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...