12 search results - page 2 / 3 » Hybrid I O Automata |
NAR
1998
13 years 4 months ago
1998
The stereochemical and dynamic properties of the C2′ hydroxyl group in several DNA·RNA hybrids have been measured by NMR and compared with the homologous RNA duplex. The C2′-...
CAV
2005
Springer
13 years 10 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
UIST
2009
ACM
13 years 11 months ago
2009
ACM
We present Bonfire, a self-contained mobile computing system that uses two laptop-mounted laser micro-projectors to project an interactive display space to either side of a laptop...
FTCS
1998
13 years 6 months ago
1998
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
ENTCS
2007
13 years 5 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...