3388 search results - page 425 / 678 » Type-theoretic design patterns |
152
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
This experience paper presents observations, lessons learned, and recommendations based on a case study of reuse. The case study is concerned with the development, maturation, and...
141
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
The Charge Sharing (CS) problem is one of notorious noise problems in domino circuits design and test. In this paper, this problem is thoroughly investigated by considering circui...
137
click to vote
ITC
2000
IEEE
15 years 11 months ago
2000
IEEE
We present the application of a deterministic logic BIST scheme on state-of-the-art industrial circuits. Experimental results show that complete fault coverage can be achieved for...
158
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...
192
click to vote
AGENTS
1999
Springer
15 years 11 months ago
1999
Springer
We discuss the design of a class of agents that we call adaptive web site agents. The goal of such an agent is to help a user find information at a particular web site, adapting i...