9316 search results - page 231 / 1864 » Analysis of traceback techniques |
131
click to vote
ISSRE
2000
IEEE
15 years 9 months ago
2000
IEEE
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...
128
click to vote
ICRA
1999
IEEE
15 years 9 months ago
1999
IEEE
Flexible parts feeding techniques have recently begun to gain industry acceptance. However, one barrier to effective flexible feeding solutions is a dearth of knowledge of the und...
170
click to vote
SAS
1999
Springer
15 years 9 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
117
click to vote
ASAP
1996
IEEE
15 years 9 months ago
1996
IEEE
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
199
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
1 In this paper we propose an approach to the design optimization of fault-tolerant hard real-time embedded systems, which combines hardware and software fault tolerance techniques...