640 search results - page 13 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
HYBRID
1995
Springer
14 years 5 days ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
CLUSTER
2002
IEEE
14 years 1 months ago
2002
IEEE
The join is the most important, but also the most time consuming operation in relational database systems. We implemented the parallel Hybrid Hash Join algorithm on a PC-cluster a...
ICCAD
1997
IEEE
14 years 25 days ago
1997
IEEE
Abstract — The principles employed in the development of modern RF simulators are introduced and the various techniques currently in use, or expected to be in use in the next few...
DATE
2004
IEEE
14 years 11 days ago
2004
IEEE
Future Systems-on-Chips will include multiple heterogeneous processing units, with complex data-dependent shared resource access patterns dictating the performance of a design. Cu...
HYBRID
2010
Springer
14 years 1 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...