Sciweavers

695 search results - page 51 / 139
» Symbolic Simulation of Hybrid Systems
Sort
View
ICC
2000
IEEE
14 years 12 days ago
Adaptive Interleaving for OFDM in TDD Systems
We proposed a novel interleaving technique, namely ada,ptive interleaving, which can break the bursty channel errors more effectively than traditional block interleaving. This new...
S. W. Lei, Vincent K. N. Lau, Tung-Sang Ng
CODES
2007
IEEE
14 years 2 months ago
HySim: a fast simulation framework for embedded software development
Instruction Set Simulation (ISS) is widely used in system evaluation and software development for embedded processors. Despite the significant advancements in the ISS technology,...
Stefan Kraemer, Lei Gao, Jan Weinstock, Rainer Leu...
FORMATS
2009
Springer
13 years 12 months ago
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
Peter Bulychev, Thomas Chatain, Alexandre David, K...
WSC
1997
13 years 9 months ago
A Conceptual Activity Cycle-Based Simulation Modeling Method
This paper studies activity cycle diagrams (ACD) for modeling construction processes using activities as the basic elements. An ACD is obtained by combining the activity cycles of...
Jingsheng Shi
ICCAD
2004
IEEE
100views Hardware» more  ICCAD 2004»
14 years 4 months ago
DynamoSim: a trace-based dynamically compiled instruction set simulator
Instruction set simulators are indispensable tools for the architectural exploration and verification of embedded systems. Different techniques have recently been proposed to spe...
Massimo Poncino, Jianwen Zhu