4313 search results - page 596 / 863 » Using time travel to diagnose computer problems |
224
click to vote
ASAP
2000
IEEE
15 years 12 months ago
2000
IEEE
Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...
212
click to vote
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
Due to false paths and multi-cycle paths in a circuit, using only topological delay to determine the clock period could be too conservative. In this paper, we address the timing a...
197
Voted
WSC
2007
15 years 9 months ago
2007
We present a hybrid model of the interactions within (multiple-species) populations of bacteria in a developing biofilm which integrates continuum models of population processes ...
183
click to vote
AAAI
1996
15 years 8 months ago
1996
We formalize a model for supervised learning of action strategies in dynamic stochastic domains and show that PAC-learning results on Occam algorithms hold in this model as well. W...
170
click to vote
BPM
2010
Springer
15 years 8 months ago
2010
Springer
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...