112 search results - page 20 / 23 » Concurrent Error Detection in S-boxes |
138
Voted
DFT
2006
IEEE
15 years 9 months ago
2006
IEEE
Control flow checking (CFC) is a well known concurrent checking technique for ensuring that a program’s instruction execution sequence follows permissible paths. Almost all CFC...
146
click to vote
NDDL
2003
15 years 4 months ago
2003
Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools...
125
Voted
DSN
2008
IEEE
15 years 9 months ago
2008
IEEE
Latent sector errors in disk drives affect only a few data sectors. They occur silently and are detected only when the affected area is accessed again. If a latent error is detect...
156
click to vote
IPPS
2010
IEEE
15 years 18 days ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
139
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...