6608 search results - page 249 / 1322 » On the Completeness of Model Checking |
155
click to vote
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
— While planning the execution of report-generation workloads, database administrators often need to know how long different query workloads will take to run. Database systems ru...
158
Voted
KR
2010
Springer
15 years 10 months ago
2010
Springer
In this paper we present a model for decision making under complete ignorance. By complete ignorance it is meant that all that is known is the set of possible consequences associa...
179
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
136
click to vote
CSCLP
2006
Springer
15 years 9 months ago
2006
Springer
DisFC is an ABT-like algorithm that, instead of sending the value taken by the high priority agent, it sends the domain of the low priority agent that is compatible with that value...
177
click to vote
PVM
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...