Sciweavers

22588 search results - page 271 / 4518
» On simulation model complexity
Sort
View
DATE
2007
IEEE
111views Hardware» more  DATE 2007»
15 years 11 months ago
CATS: cycle accurate transaction-driven simulation with multiple processor simulators
This paper focuses on enhancing performance of cycle accurate simulation with multiple processor simulators. Simulation performance is determined by how often simulators exchange ...
Dohyung Kim, Soonhoi Ha, Rajesh Gupta
BMCBI
2010
104views more  BMCBI 2010»
15 years 5 months ago
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
Anil Sorathiya, Andrea Bracciali, Pietro Liò...
145
Voted
TSP
2008
115views more  TSP 2008»
15 years 4 months ago
Sinusoidal Modeling and Adaptive Channel Prediction in Mobile OFDM Systems
We propose a wireless fading channel prediction algorithm for a pilot-symbol aided Orthogonal Frequency Division Multiplexing (OFDM) system. Assuming a doubly selective (time and ...
Ian C. Wong, Brian L. Evans
RTSS
1999
IEEE
15 years 9 months ago
High-Level Modeling and Analysis of TCAS
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
Carolos Livadas, John Lygeros, Nancy A. Lynch
IAT
2009
IEEE
15 years 11 months ago
Simulation of the Rungis Wholesale Market: Lessons on the Calibration, Validation and Usage of a Cognitive Agent-Based Simulatio
—We present some methodological lessons and thoughts inferred from a research we are making on a simulation of the Rungis Wholesale Market (in France) using cognitive agents. The...
Philippe Caillou, Corentin Curchod, Tiago Baptista