2904 search results - page 310 / 581 » Valuing Design Repair |
169
click to vote
PEPM
1999
ACM
15 years 10 months ago
1999
ACM
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...
170
click to vote
SAS
1999
Springer
15 years 10 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
145
click to vote
VTS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents simulation evidence supporting the use of bit transition maximization techniques in the design of hardware test pattern generators TPGs. Bit transition maximiz...
149
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
In many computer-aided design tools, binary decision diagrams (BDDs) are used to represent Boolean functions. To increase the efficiency and capability of these tools, many algor...
155
click to vote
GROUP
1997
ACM
15 years 10 months ago
1997
ACM
During the different phases of a project, stakeholders have different communication needs and make use of different communication media to satisfy them. A group memory system must...