7557 search results - page 503 / 1512 » Modeling Timed Concurrent Systems |
173
click to vote
ISTA
2004
15 years 8 months ago
2004
: The employment of a patchwork of nonintegrated security products can only provide incomplete coverage, which cannot give the total panorama of the network misuse behavior. Networ...
215
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Massively multicore processors, like, for example, Graphics Processing Units (GPUs), provide, at a comparable price, a one order of magnitude higher peak performance than traditio...
201
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
161
click to vote
AUTOMATICA
2008
15 years 7 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...
210
click to vote
CN
2007
15 years 7 months ago
2007
Large scale distributed systems typically have interactions among different services that create an avenue for propagation of a failure from one service to another. The failures ...