Search Sciweavers | Sciweavers

23

ENTCS
2007

117views more ENTCS 2007»

13 years 7 months ago

The hybrid χ (Chi) formalism is suited to modeling, simulation and veriﬁcation of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...

D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffele...

claim paper

Read More »

26

click to vote

ICCD
2007
IEEE

190views Hardware» more ICCD 2007»

Hybrid resistor/FET-logic demultiplexer architecture design for hybrid CMOS/nanodevice circuits

14 years 4 months ago

Download www.ecse.rpi.edu

Hybrid nanoelectronics are emerging as one viable option to sustain the Moore’s Law after the CMOS scaling limit is reached. One main design challenge in hybrid nanoelectronics ...

Shu Li, Tong Zhang

claim paper

Read More »

20

click to vote

STACS
2007
Springer

121views Theoretical Computer Science» more STACS 2007»

Bounded-Variable Fragments of Hybrid Logics

14 years 1 months ago

Download ls1-www.cs.uni-dortmund.de

Hybrid logics extend modal logics by ﬁrst-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisﬁability for hybrid formulas is u...

Thomas Schwentick, Volker Weber

claim paper

Read More »

15

click to vote

GRAPP
2007

97views Computer Graphics» more GRAPP 2007»

A hybrid backward-forward method for interactive reflections

13 years 9 months ago

Download www.cs.purdue.edu

Chunhui Mei, Voicu Popescu, Elisha Sacks

claim paper