628 search results - page 105 / 126 » Scheduling Algorithm with Potential Behaviors |
NSPW
2004
ACM
15 years 7 months ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...
115
click to vote
GLVLSI
2003
IEEE
15 years 7 months ago
2003
IEEE
The realization of fast datapaths in signal processing environments requires fastest, power efficient logic styles with synchronous behavior. This paper presents a method to combi...
103
click to vote
SIGECOM
2010
ACM
15 years 7 months ago
2010
ACM
Citing recent successes in forecasting elections, movies, products, and other outcomes, prediction market advocates call for widespread use of market-based methods for government ...
117
click to vote
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
Autonomous planetary rovers operating in vast unknown environments must operate efficiently because of size, power and computing limitations. Recently, we have developed a rover c...
121
click to vote
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...