2838 search results - page 278 / 568 » Verifying Controlled Components |
162
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
Granularity control is an effective means for trading power consumption with performance on dense shared memory multiprocessors, such as multi-SMT and multi-CMP systems. In this p...
174
click to vote
COMPSAC
2005
IEEE
16 years 8 days ago
2005
IEEE
Distributed systems today are very vulnerable to malicious attacks, either from insiders or outsiders. When an attacker controls a component of the system, he may steal some sensi...
156
click to vote
HYBRID
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...
155
click to vote
IV
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
192
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Networked embedded systems are composed of a large number of components that interact with the physical world via a set of sensors and actuators, have their own computati...