9110 search results - page 144 / 1822 » Formally-Based Design Evaluation |
116
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Increasing size and geographical separation of design data and teams has created a need for a network-based electronic design environment that is scaleable, adaptable, secure, hig...
136
click to vote
HICSS
1994
IEEE
15 years 9 months ago
1994
IEEE
This paper proposes the use of process models for DSS design. The kind of process models suggested are task structures and decision structures with simple graphical syntax and sem...
201
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
There has recently been considerable research on physical design tuning algorithms. At the same time, there is only one published methodology to evaluate the quality of different,...
130
click to vote
MUC
1992
15 years 9 months ago
1992
This paper reports on the results of the adjunct test performed by GE for the MUC-4 evaluation of text processing systems . In this test, we evaluated the effect of an object-orie...
142
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
While circuit density and power efficiency increase with each major advance in IC technology, reliability with respect to soft errors tends to decrease. Current solutions to this...