Sciweavers

1316 search results - page 35 / 264
» Analytic performance models for bounded queueing systems
Sort
View
129
Voted
CONCUR
2000
Springer
15 years 7 months ago
Reachability Analysis for Some Models of Infinite-State Transition Systems
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
DSN
2006
IEEE
15 years 7 months ago
Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers
We construct, analyze and solve models of systems where a number of servers offer services to an incoming stream of demands. Each server goes through alternating periods of being ...
Jennie Palmer, Isi Mitrani
153
Voted
TASE
2010
IEEE
14 years 10 months ago
Analytic Calculus of Response Time in Networked Automation Systems
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
Boussad Addad, Said Amari, Jean-Jacques Lesage
127
Voted
TWC
2008
133views more  TWC 2008»
15 years 3 months ago
Dual-polarized wireless communications: from propagation models to system performance evaluation
In this paper, we address the potential benefits of dual-polarized arrays in multi-antenna wireless systems. After an extensive literature overview of experimental data, we present...
Claude Oestges, Bruno Clerckx, Maxime Guillaud, M&...
ICCD
2006
IEEE
118views Hardware» more  ICCD 2006»
16 years 11 days ago
A System-level Network-on-Chip Simulation Framework Integrated with Low-level Analytical Models
—This paper presents a system-level Network-on-Chip modeling framework that integrates transaction-level model and analytical wire model for design space exploration. It enables ...
Jinwen Xi, Peixin Zhong