132
click to vote
ITC
1991
IEEE
15 years 8 months ago
1991
IEEE
Two approaches have been used to balance the cost of generating e ective tests for ICs and the need to increase the ICs' quality level. The rst approach favorsusing high-leve...
192
click to vote
ISSTA
1991
ACM
15 years 8 months ago
1991
ACM
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite v...
159
click to vote
ISSAC
1991
Springer
15 years 8 months ago
1991
Springer
In the present paper we describe a new algorithm to determine the minimal index and all elements with minimal index in totally real biquadratic fields with Galois group D8. The m...
101
click to vote
ISPW
1991
IEEE
15 years 8 months ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...