114 search results - page 18 / 23 » Using likely program invariants to detect hardware errors |
ECOOP
2005
Springer
14 years 1 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...
SBCCI
2006
ACM
14 years 1 months ago
2006
ACM
This work describes a hardware approach for the concurrent fault detection and error correction in a cryptographic core. It has been shown in the literature that transient faults ...
COMSIS
2006
13 years 7 months ago
2006
Traditional knowledge representations were developed to encode complete, explicit and executable programs, a goal that makes them less than ideal for representing the incomplete an...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Background: Accurate estimation of statistical significance of a pairwise alignment is an important problem in sequence comparison. Recently, a comparative study of pairwise stati...