573 search results - page 47 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
135
click to vote
ISLPED
2010
ACM
15 years 4 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
114
Voted
TABLEAUX
1998
Springer
15 years 8 months ago
1998
Springer
The FaCT (Fact and Concept Training) System provides a general platform for delivering practice in the form of discrete flashcard-like drills. The system optimizes practice schedu...
143
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present a methodology for customized communication architecture synthesis that matches the communication requirements of the target application. This is an impor...
142
click to vote
PODC
2010
ACM
15 years 4 months ago
2010
ACM
Mutual exclusion is used to coordinate access to shared resources by concurrent processes. k-Exclusion is a variant of mutual exclusion in which up to k processes can simultaneous...
154
click to vote
PAMI
2008
15 years 3 months ago
2008
We present a novel algorithm for detection of certain types of unusual events. The algorithm is based on multiple local monitors which collect low-level statistics. Each local moni...