334 search results - page 34 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
161
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
140
click to vote
ICSEA
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, it is shown that synthetic images can be used to test specific use cases of a lane tracking algorithm which has been developed by Audi AG. This was achieved by s...
160
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
118
Voted
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....
129
click to vote
MTV
2005
IEEE
15 years 9 months ago
2005
IEEE
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...