4255 search results - page 348 / 851 » Cover |
151
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
The functional validation of a state-of-the-art digital design is usually performed by simulation of a register-transfer-level model. The degree to which the testvector suite cove...
175
click to vote
CP
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Existing constraint programming systems offer a fixed set of inference engines implementing search strategies such as single, all, and best solution search. This is unfo...
183
click to vote
ISSTA
1996
ACM
15 years 11 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
201
click to vote
SIGIR
1996
ACM
15 years 11 months ago
1996
ACM
Designing good user interfaces to information retrieval systems is a complex activity. The design space is large and evaluation methodologies that go beyond the classical precisio...
181
click to vote
SOFSEM
1997
Springer
15 years 11 months ago
1997
Springer
This paper surveys recent results in the area of virtual path layout in ATM networks. We present a model for the theoretical study of these layouts the model amounts to covering t...