3192 search results - page 505 / 639 » Translating Model Simulators to Analysis Models |
143
Voted
HASE
1999
IEEE
15 years 7 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
121
Voted
PODC
1994
ACM
15 years 7 months ago
1994
ACM
In this paper, we investigate the practical performance of lock-free techniques that provide synchronization on shared-memory multiprocessors. Our goal is to provide a technique t...
118
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Tree-based protocols are ubiquitous in distributed systems. They are flexible, they perform generally well, and, in static conditions, their analysis is mostly simple. Under churn...
163
Voted
AI
1999
Springer
15 years 3 months ago
1999
Springer
In this paper, we first discuss the meaning of physical embodiment and the complexity of the environment in the context of multi-agent learning. We then propose a vision-based rei...
121
Voted
IJHCI
2010
15 years 2 months ago
2010
Motivation – Investigations of large-scale outages in the North American interconnected electric system often attribute the causes to three T’s: Trees, Training and Tools. To ...