3053 search results - page 231 / 611 » Hybrid Systems Diagnosis |
205
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we analyze the problem of finding a periodic schedule for the wake-up times of a set of nodes in a Wireless Sensor Network that optimizes the coverage of the region...
161
click to vote
CLUSTER
2008
IEEE
16 years 1 months ago
2008
IEEE
—A commodity personal computer (PC) can be seen as a hybrid computing system equipped with two different kinds of processors, i.e. CPU and a graphics processing unit (GPU). Since...
152
click to vote
HYBRID
2007
Springer
16 years 23 days ago
2007
Springer
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
167
Voted
HYBRID
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
176
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...