1991 search results - page 101 / 399 » Small Models of Large Machines |
ICECCS
1997
IEEE
15 years 2 months ago
1997
IEEE
The paper addresses the problem of client–service interaction in the case of replicated service provision. Existing systems that follow the State Machine approach concentrate on...
108
click to vote
SPAA
1998
ACM
15 years 1 months ago
1998
ACM
In this paper we develop models for and analyze several randomized work stealing algorithms in a dynamic setting. Our models represent the limiting behavior of systems as the numb...
WSC
2007
15 years 6 days ago
2007
Clinical trials constitute large, complex, and resource intensive activities for pharmaceutical companies. Accurate prediction of patient enrollment would represent a major step f...
AUTOMATICA
2007
14 years 10 months ago
2007
Partial enumeration (PE) is presented as a method for treating large, linear model predictive control applications that are out of reach with available MPC methods. PE uses both a...
103
click to vote
ENTCS
2006
14 years 10 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...