Sciweavers

2042 search results - page 225 / 409
» Modeling and Analysis of Probabilistic Timed Systems
Sort
View
WSC
1997
15 years 5 months ago
A Hybrid Tool for the Performance Evaluation of NUMA Architectures
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...
James Westall, Robert Geist
FSTTCS
2005
Springer
15 years 9 months ago
Reachability Analysis of Multithreaded Software with Asynchronous Communication
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, J...
JCM
2007
134views more  JCM 2007»
15 years 3 months ago
Performance Analysis of Zero-IF MIMO OFDM Transceivers with IQ Imbalance
Abstract— This contribution analytically studies the influence of IQ mismatch on the performance of multiple-antenna orthogonal frequency division multiplexing (OFDM) systems ba...
Tim C. W. Schenk, Erik R. Fledderus, Peter F. M. S...
IJCAI
2001
15 years 5 months ago
Distributed Monitoring of Hybrid Systems: A model-directed approach
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
Feng Zhao, Xenofon D. Koutsoukos, Horst W. Haussec...
119
Voted
ICS
2005
Tsinghua U.
15 years 9 months ago
System noise, OS clock ticks, and fine-grained parallel applications
As parallel jobs get bigger in size and finer in granularity, “system noise” is increasingly becoming a problem. In fact, fine-grained jobs on clusters with thousands of SMP...
Dan Tsafrir, Yoav Etsion, Dror G. Feitelson, Scott...