Sciweavers

117 search results - page 1 / 24

» hybrid 1999

10

HYBRID
1999
Springer

130views Control Systems» more HYBRID 1999»

A Geometric Approach to Bisimulation and Verification of Hybrid Systems

13 years 10 months ago

A Geometric Approach to Bisimulation and Verification of Hybrid Systems

Download www.control.utoronto.ca

Mireille E. Broucke

claim paper

Read More »

9

HYBRID
1999
Springer

157views Control Systems» more HYBRID 1999»

Verification of Hybrid Systems via Mathematical Programming

13 years 10 months ago

Verification of Hybrid Systems via Mathematical Programming

Download www.cs.unipr.it

Alberto Bemporad, Manfred Morari

claim paper

Read More »

42

ICDE
1999
IEEE

100views Database» more ICDE 1999»

The Hybrid Tree: An Index Structure for High Dimensional Feature Spaces

14 years 7 months ago

The Hybrid Tree: An Index Structure for High Dimensional Feature Spaces

Download www.eng.uwaterloo.ca

Kaushik Chakrabarti, Sharad Mehrotra

claim paper

Read More »

16

ARVLSI
1999
IEEE

151views VLSI» more ARVLSI 1999»

Clock-Powered CMOS: A Hybrid Adiabatic Logic Style for Energy-Efficient Computing

13 years 10 months ago

Clock-Powered CMOS: A Hybrid Adiabatic Logic Style for Energy-Efficient Computing

Download www.ai.mit.edu

Nestoras Tzartzanis, William C. Athas

claim paper

Read More »

14

CANPC
1999
Springer

95views Communications» more CANPC 1999»

Combining Adaptive and Deterministic Routing: Evaluation of a Hybrid Router

13 years 10 months ago

Combining Adaptive and Deterministic Routing: Evaluation of a Hybrid Router

Download www.cs.ucr.edu

Dianne R. Kumar, Walid A. Najjar

claim paper

Read More »

« Prev « First page 1 / 24 Last » Next »