2136 search results - page 283 / 428 » Learning Behavior Models for Hybrid Timed Systems |
227
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
We propose to demonstrate Fa, an automated tool for timely and accurate prediction of Service-Level-Agreement (SLA) violations caused by performance problems in database systems. ...
148
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
More and more the system verification makes use of hardware emulation techniques that allow a speed up in simulation performance up to thousand times. Typically, a design is comp...
178
click to vote
CORR
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
151
click to vote
OPODIS
2007
15 years 5 months ago
2007
This paper tackles the consensus problem in asynchronous systems prone to byzantine failures. One way to circumvent the FLP impossibility result consists in adding synchrony assump...
133
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We investigate a framework where agents search for satisfying products by using referrals from other agents. Our model of a mechanism for transmitting word-of-mouth and the result...