114 search results - page 18 / 23 » Using likely program invariants to detect hardware errors |
90
Voted
ECOOP
2005
Springer
15 years 3 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 ...
103
Voted
SBCCI
2006
ACM
15 years 3 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 ...
79
Voted
COMSIS
2006
14 years 9 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
14 years 10 days 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
14 years 11 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...