Sciweavers

1982 search results - page 291 / 397
» New Products
Sort
View
ATS
1998
IEEE
76views Hardware» more  ATS 1998»
15 years 10 months ago
Partitioning and Reordering Techniques for Static Test Sequence Compaction of Sequential Circuits
We propose a new static test set compaction method based on a careful examination of attributes of fault coverage curves. Our method is based on two key ideas: 1 fault-list and te...
Michael S. Hsiao, Srimat T. Chakradhar
ICCBR
1999
Springer
15 years 10 months ago
REMEX - A Case-Based Approach for Reusing Software Measurement Experienceware
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
Christiane Gresse von Wangenheim
SAS
1999
Springer
116views Formal Methods» more  SAS 1999»
15 years 10 months ago
Decomposing Non-redundant Sharing by Complementation
Complementation, the inverse of the reduced product operation, is a technique for systemfinding minimal decompositions of abstract domains. Fil´e and Ranzato advanced the state ...
Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
ISORC
1998
IEEE
15 years 10 months ago
Automating Regression Testing for Real-Time Software in a Distributed Environment
Many real-time systems evolve over time due to new requirements and technology improvements. Each revision requires regression testing to ensure that existing functionality is not...
Feng Zhu, Sanjai Rayadurgam, Wei-Tek Tsai
CHI
1998
ACM
15 years 10 months ago
Hi-Cites: Dynamically Created Citations with Active Highlighting
The original SenseMaker interface for information exploration [2] used tables to present heterogeneous document descriptions. In contrast, printed bibliographies and World Wide We...
Michelle Q. Wang Baldonado, Terry Winograd