60 search results - page 8 / 12 » On the Complexity of Hybrid Logics with Binders |
103
Voted
CAV
2010
Springer
14 years 9 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
110
Voted
ITC
2003
IEEE
15 years 5 months ago
2003
IEEE
As technology evolves into the deep sub-micron era, signal integrity problems are growing into a major challenge. An important source of signal integrity problems is the crosstalk...
98
Voted
HYBRID
1999
Springer
15 years 3 months ago
1999
Springer
Continuous system dynamics can be described by, possibly large, systems of di erential equations. These can be either ordinary di erential equations (ODEs) or contain algebraic con...
104
click to vote
SRDS
1999
IEEE
15 years 3 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
102
click to vote
CHI
2011
ACM
14 years 3 months ago
2011
ACM
We introduce “Facet-Streams”, a hybrid interactive surface for co-located collaborative product search on a tabletop. Facet-Streams combines techniques of information visualiz...