5268 search results - page 54 / 1054 » Analysis of Design Process Dynamics |
DAC
2005
ACM
14 years 11 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
CIA
2007
Springer
14 years 4 months ago
2007
Springer
The process of reaching an agreement in a bilateral negotiation to a large extent determines that agreement. The tactics of proposing an offer and the perception of offers made by ...
CHI
1998
ACM
14 years 2 months ago
1998
ACM
Designers and researchers of human-computer interaction need tools that permit the rapid exploration and management of hypotheses about complex interactions of designs, task condi...
JGS
2000
13 years 9 months ago
2000
GIS and spatial analysis is suited mainly for static pictures of the landscape, but many of the processes that need exploring are dynamic in nature. Dynamic processes can be comple...
ASYNC
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper presents an in-depth case study in highperformance asynchronous adder design. A recent method, called “speculative completion”, is used. This method uses single-rai...