7766 search results - page 67 / 1554 » Testing Nondeterminate Systems |
GLVLSI
2007
IEEE
14 years 3 months ago
2007
IEEE
The path-delay fault simulation of functional tests on complex circuits such as current processor-based systems is a daunting task. The amount of computing power and memory needed...
ICST
2010
IEEE
13 years 7 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
FSTTCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
SNPD
2008
13 years 10 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
ITC
2003
IEEE
14 years 2 months ago
2003
IEEE
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...