1463 search results - page 115 / 293 » Performance Model for Speculative Simulation using Predictiv... |
142
Voted
EUROCAST
2007
Springer
15 years 7 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
147
Voted
CODES
2003
IEEE
15 years 8 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
128
click to vote
IEEEPACT
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...
147
Voted
CATE
2004
15 years 4 months ago
2004
Recently web-based educational systems collect vast amounts of data on user patterns, and data mining methods can be applied to these databases to discover interesting associations...
129
Voted
ISER
1995
Springer
15 years 7 months ago
1995
Springer
We review the current state of research in autonomous mobile robots and conclude that there is an inadequate basis for predicting the reliability and behavior of robots operating ...