Sciweavers

984 search results - page 33 / 197
» A Hybrid MPI Simulator
Sort
View
ICC
2007
IEEE
135views Communications» more  ICC 2007»
14 years 5 months ago
Adaptive Modulation and Coding for Hybrid Cooperative Networks
— This paper deals with throughput oriented Adaptive Modulation and Coding (AMC) techniques combined with cooperative protocols where terminals are constrained by half-duplex as...
Emilio Calvanese Strinati, Sheng Yang, Jean-Claude...
HYBRID
2000
Springer
14 years 2 months ago
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
Joseph S. Miller
HYBRID
1995
Springer
14 years 2 months ago
Compositional and Uniform Modelling of Hybrid Systems
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
Albert Benveniste
HYBRID
2010
Springer
14 years 6 months ago
From synchronous programs to symbolic representations of hybrid systems
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
Kerstin Bauer, Klaus Schneider
MIE
2008
104views Healthcare» more  MIE 2008»
14 years 18 days ago
Does a Hybrid Electronic-Paper Environment Impact on Health Professional Information Seeking?
The purpose of this study was to investigate the effects of a hybrid electronic-paper patient record environment upon health professional information seeking (i.e. amount of inform...
Elizabeth M. Borycki, Louise Lemieux-Charles