7792 search results - page 1212 / 1559 » Designing the spectator experience |
180
click to vote
ICCD
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
152
click to vote
ITC
2000
IEEE
15 years 11 months ago
2000
IEEE
A common approachfor large industrial designs is to use logic built-in self-test (LBIST)followed by test data from an external tester. Because the fault coverage with LBIST alone ...
225
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
162
Voted
RTCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
In previous years, various real-time scheduling techniques have been proposed to improve the performance of a distributed multimedia system. However, not much work has been done o...
162
click to vote
ACMSE
2000
ACM
15 years 11 months ago
2000
ACM
Scenarios are narratives that illustrate future possibilities, such as proposed systems or plans, and help policy makers and designers choose among alternative courses of action. ...