3820 search results - page 190 / 764 » Bounded Model Debugging |
134
click to vote
PNPM
1987
15 years 6 months ago
1987
Some insight on the meaning of "modeling power" for Stochastic Petri Net models is given. Extensions characterizing a Stochastic Petri Net are categorized as logical or ...
121
click to vote
AUTOMATICA
2008
15 years 3 months ago
2008
This paper proposes a disturbance-based control parametrization under the Model Predictive Control framework for constrained linear discrete time systems with bounded additive dis...
111
click to vote
ICCAD
2006
IEEE
16 years 2 days ago
2006
IEEE
Battery-powered wireless sensors are severely constrained by the amount of the available energy. A method for computing the energy budget per sensing task can be a valuable design...
131
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract—Recently packet scheduling algorithms such as Packetized GPS (PGPS), Worst-case Fair Weighted Fair Queueing (WF2 Q) and Self-Clocked Fair Queueing (SCFQ) have been propo...
133
click to vote
CSCLP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Many agent coordination problems can be modeled as distributed constraint optimization problems (DCOPs). ADOPT is an asynchronous and distributed search algorithm that is...