1518 search results - page 207 / 304 » Cryptographic Test Correction |
118
click to vote
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
108
click to vote
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
106
click to vote
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...
127
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
110
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
Many computer vision systems try to infer semantic information about a video scene content by looking at the time series of the silhouettes of the moving objects. This paper propo...