Sciweavers

114 search results - page 5 / 23
» hybrid 1998
Sort
View
DEDS
1998
152views more  DEDS 1998»
13 years 8 months ago
Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
Xenofon D. Koutsoukos, Kevin X. He, Michael D. Lem...
INFOCOM
1998
IEEE
14 years 23 days ago
How Bad is Reliable Multicast without Local Recovery?
We examine the impact of the loss recovery mechanism on the performance of a reliable multicast protocol. Approaches to reliable multicast can be divided into two major classes: s...
Jörg Nonnenmacher, Martin S. Lacher, Matthias...
ECOOP
1998
Springer
14 years 23 days ago
Object-Oriented Architectural Support for a Java Processor
In this paper, we propose architectural support for object manipulation, stack processing and method invocation to enhance the execution speed of Java bytecodes. First, a virtual a...
Narayanan Vijaykrishnan, N. Ranganathan, Ravi Gade...
HYBRID
1998
Springer
14 years 22 days ago
Equations on Timed Languages
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
Eugene Asarin
NAR
1998
55views more  NAR 1998»
13 years 8 months ago
The orientation and dynamics of the C2'-OH and hydration of RNA and DNA.RNA hybrids
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′-...
Jeffrey I. Gyi, Andrew N. Lane, Graeme L. Conn, To...