2302 search results - page 95 / 461 » Testing as Abstraction |
144
click to vote
ASPDAC
2006
ACM
16 years 10 days ago
2006
ACM
Abstract— An efficient algorithm for three-dimensional (3D) capacitance extraction on multi-layered and lossy substrate is presented. The new algorithm represents a major improv...
150
click to vote
GLVLSI
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— PIM Lite is a processor-in-memory prototype implemented in a 0.18 micron logic process. PIM Lite provides a complete working demonstration of a minimal-state, lightweig...
146
click to vote
CAISE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
135
click to vote
DEXA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Database integrity constraints, understood as logical conditions that must hold for any database state, are not fully supported by current database technology. It is typi...
196
click to vote
EUROGP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we propose an approach to Genetic Programming based on code reuse and we test it in the design of combinational logic circuits at the gate-level. The circui...