1524 search results - page 41 / 305 » Operational Semantics of Hybrid Systems |
103
click to vote
HYBRID
1998
Springer
15 years 2 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
FPGA
2008
ACM
14 years 11 months ago
2008
ACM
We present HybridOS, a set of operating system extensions for supporting fine-grained reconfigurable accelerators integrated with general-purpose computing platforms. HybridOS spe...
ADBIS
2007
Springer
15 years 4 months ago
2007
Springer
The exponential growth of the web and the extended use of database management systems in widely distributed information systems has brought to the fore the need for seamless interc...
DAC
2007
ACM
15 years 10 months ago
2007
ACM
DPM (Dynamic Power Management) is an effective technique for reducing the energy consumption of embedded systems that is based on migrating to a low power state when possible. Whi...
MONET
2006
14 years 9 months ago
2006
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...