Sciweavers

117 search results - page 1 / 24

» hybrid 1999

9

HYBRID
1999
Springer

130views Control Systems» more HYBRID 1999»

A Geometric Approach to Bisimulation and Verification of Hybrid Systems

13 years 9 months ago

A Geometric Approach to Bisimulation and Verification of Hybrid Systems

Download www.control.utoronto.ca

Mireille E. Broucke

claim paper

Read More »

7

HYBRID
1999
Springer

157views Control Systems» more HYBRID 1999»

Verification of Hybrid Systems via Mathematical Programming

13 years 9 months ago

Verification of Hybrid Systems via Mathematical Programming

Download www.cs.unipr.it

Alberto Bemporad, Manfred Morari

claim paper

Read More »

30

ICDE
1999
IEEE

100views Database» more ICDE 1999»

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

14 years 6 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 »

12

ARVLSI
1999
IEEE

151views VLSI» more ARVLSI 1999»

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

13 years 9 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 »

11

CANPC
1999
Springer

95views Communications» more CANPC 1999»

Combining Adaptive and Deterministic Routing: Evaluation of a Hybrid Router

13 years 9 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 »