The Community for Technology Leaders
2012 IEEE 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (1995)
Durham, North Carolina
Jan. 18, 1995 to Jan. 20, 1995
ISBN: 0-8186-6902-0
TABLE OF CONTENTS
Session 1A - Systems*

A short theory of multiprogramming (Abstract)

P.J. Denning , Dept. of Comput. Sci., George Mason Univ., Fairfax, VA, USA
pp. 2

Workload modeling for parallel processing systems (Abstract)

G. Haring , Inst. of Appl. Comput. Sci. & Inf. Syst., Wien Univ., Austria
G. Kotsis , Inst. of Appl. Comput. Sci. & Inf. Syst., Wien Univ., Austria
pp. 8

Analysis of the performance of a distributed simulator (Abstract)

A. Dakroub , EURECOM, Sophia Antipolis, France
J. Labetoulle , EURECOM, Sophia Antipolis, France
D. Loisel , EURECOM, Sophia Antipolis, France
pp. 13

Performance aspects of real-time systems (Abstract)

R. Puigjaner , Univ. de les Illes Balears, Palma de Mallorca, Spain
pp. 17
Session 1B - Queueing Systems I

Multiple class G-networks with jumps back to zero (Abstract)

J.-M. Fourneau , PRiSM, Univ. de Versailles Saint-Quentin, Versailles, France
L. Kloul , PRiSM, Univ. de Versailles Saint-Quentin, Versailles, France
F. Quessette , PRiSM, Univ. de Versailles Saint-Quentin, Versailles, France
pp. 28

G-networks with triggered batch state-dependent movement (Abstract)

D. Verchere , PRiSM, Univ. de Versailles Saint-Quentin, Versailles, France
J.-M. Fourneau , PRiSM, Univ. de Versailles Saint-Quentin, Versailles, France
pp. 33

Performance analysis of the general renewal multi-server finite waiting room model (Abstract)

Wen-Jung Hsin , Comput. Sci. Telecommun. Program, Missouri Univ., Kansas City, MO, USA
A. van de Liefvoort , Comput. Sci. Telecommun. Program, Missouri Univ., Kansas City, MO, USA
pp. 38
Session 2A - Networking I *

Efficient massively parallel simulation of dynamic channel assignment schemes for wireless cellular communications (Abstract)

P.E. Wright , AT&T Bell Labs., USA
D.M. Nicol , AT&T Bell Labs., USA
B.D. Lubachevsky , AT&T Bell Labs., USA
A.G. Greenberg , AT&T Bell Labs., USA
pp. 45

A robust heuristic for minimizing cell loss in ATM networks (Abstract)

S. Seshadri , Stern Sch. of Bus., New York Univ., NY, USA
V. Srinivasan , Stern Sch. of Bus., New York Univ., NY, USA
pp. 48

Performance space of a GI/G/1 queueing system under a percentile goal criterion (Abstract)

I. Viniotis , Center for Commun. & Signal Process., North Carolina State Univ., Raleigh, NC, USA
N. Agrawal , Center for Commun. & Signal Process., North Carolina State Univ., Raleigh, NC, USA
pp. 53
Session 2B - Distributed Simulation

Performance comparable design of efficient synchronization protocols for distributed simulation (Abstract)

G. Chiola , Dipartimento di Inf., Torino Univ., Italy
A. Ferscha , Dipartimento di Inf., Torino Univ., Italy
pp. 59

Parallel discrete event simulation in star networks with application to telecommunications (Abstract)

S.K. Das , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
S. Madhavapeddy , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
F. Sarkar , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
K. Basu , Dept. of Comput. Sci., North Texas Univ., Denton, TX, USA
pp. 66

Parallelized network simulators for message-passing parallel programs (Abstract)

D.M. Nicol , Inst. for Comput. Applications in Sci. & Eng., NASA Langley Res. Center, Hampton, VA, USA
P. Heidelberger , Inst. for Comput. Applications in Sci. & Eng., NASA Langley Res. Center, Hampton, VA, USA
P.M. Dickens , Inst. for Comput. Applications in Sci. & Eng., NASA Langley Res. Center, Hampton, VA, USA
pp. 72

An efficient algorithm to compute the synchronized product (Abstract)

D. Zampunieris , Inst. d'Inf., Facultes Univ. Notre-Dame de la Paix, Namur, Belgium
B. Le Charlier , Inst. d'Inf., Facultes Univ. Notre-Dame de la Paix, Namur, Belgium
pp. 77
Session 3A - Queueing Systems II *

A two-queue polling model with a threshold service policy (Abstract)

I. Mitrani , Fac. of Econ., Tilburg Univ., Netherlands
G.M. Koole , Fac. of Econ., Tilburg Univ., Netherlands
O.J. Boxma , Fac. of Econ., Tilburg Univ., Netherlands
pp. 84

Asymptotics of the partition function in large closed BCMP networks with bottlenecks (Abstract)

Y. Kogan , AT&T Bell Labs., Holmdel, NJ, USA
A. Yakovlev , AT&T Bell Labs., Holmdel, NJ, USA
pp. 89

Bidirectional estimation and confidence regions for TES processes (Abstract)

B. Melamed , C&C Res. Labs., NEC USA Inc., Princeton, NJ, USA
D.L. Jagerman , C&C Res. Labs., NEC USA Inc., Princeton, NJ, USA
pp. 94
Session 3B - Multiprocessor Architecture

On the performance evaluation of asynchronous processor architectures (Abstract)

V.E.F. Rebello , Dept. of Comput. Sci., Edinburgh Univ., UK
D.K. Arvind , Dept. of Comput. Sci., Edinburgh Univ., UK
pp. 100

An improved model for the performance analysis of multistage switches (Abstract)

M. Atiquzzaman , Dept. of Comput. Sci. & Eng., La Trobe Univ., Melbourne, Vic., Australia
C.-K. Chen , Dept. of Comput. Sci. & Eng., La Trobe Univ., Melbourne, Vic., Australia
pp. 105

Analytic performance modeling for a spectrum of multithreaded processor architectures (Abstract)

P.K. Dubey , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
M.S. Squillante , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
A. Krishna , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 110

Bidirectional versus unidirectional networks: cost/performance trade-offs (Abstract)

D.P. Agrawal , Dept. of Electr. & Comput. Eng., North Carolina State Univ., Raleigh, NC, USA
C. Hyatt , Dept. of Electr. & Comput. Eng., North Carolina State Univ., Raleigh, NC, USA
pp. 123
Session 4A - Queueing Systems III *

G-networks and minimum cost functions (Abstract)

E. Gelenbe , Dept. of Electr. & Comput. Eng., Duke Univ., Durham, NC, USA
pp. 135

M/G/1 queues with negative arrival: an iteration to solve a Fredholm integral equation of the first kind (Abstract)

P.G. Harrison , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
E. Pitel , Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
pp. 142

Scheduling of random task graphs on parallel processors (Abstract)

Zhen Liu , Centre Sophia Antipolis, Inst. Nat. de Recherche en Inf. et Autom., Valbonne, France
pp. 143

Product form in discrete-time queueing networks: new issues (Abstract)

G. Pujolle , Lab. PRiSM, Versailles Univ., France
pp. 148
Session 4B - Distributed System I

Approximate MVA for client-server systems with nonpreemptive priority (Abstract)

D.C. Petriu , Carleton Univ., Ottawa, Ont., Canada
Songtao Chen , Carleton Univ., Ottawa, Ont., Canada
pp. 155

Approximate performance models of real-time software systems (Abstract)

C. Juiz , Univ. de les Illes Balears, Palma de Mallorca, Spain
R. Puigjaner , Univ. de les Illes Balears, Palma de Mallorca, Spain
pp. 163

Priority queueing in RAID disk arrays with an NVS cache (Abstract)

A. Thomasian , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 168

Adaptive resource management (Abstract)

S. Chandra , Dept. of Comput. Sci., Worcester Polytech. Inst., MA, USA
C.E. Wills , Dept. of Comput. Sci., Worcester Polytech. Inst., MA, USA
pp. 173
Session 5A - Modeling Techniques *

Numerical evaluation of stochastic automata networks (Abstract)

W.J. Stewart , Groupe Calcul Parallele, LGI-IMAG, Grenoble, France
P. Fernandes , Groupe Calcul Parallele, LGI-IMAG, Grenoble, France
B. Plateau , Groupe Calcul Parallele, LGI-IMAG, Grenoble, France
pp. 179

An eclectic survey of bounding methods for Markov chain models (Abstract)

J.C.S. Lui , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
R.R. Muntz , Dept. of Comput. Sci., California Univ., Los Angeles, CA, USA
pp. 184

Analysis of an open tandem queueing network with population constraint and constant service times (Abstract)

H.G. Perros , Center for Commun. & Signal Process., North Carolina State Univ., Raleigh, NC, USA
Yong Rhee , Center for Commun. & Signal Process., North Carolina State Univ., Raleigh, NC, USA
pp. 189

From stochastic Petri nets to Markov regenerative stochastic Petri nets (Abstract)

A. Puliafito , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
D. Logothetis , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
K.S. Trivedi , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
pp. 194
Session 5B - Parallel Systems I

An experimental assessment of Express parallel programming environment (Abstract)

I. Ahmad , Hong Kong Univ. of Sci. & Technol., Hong Kong
A. Ghafoor , Hong Kong Univ. of Sci. & Technol., Hong Kong
Jaehyung Yang , Hong Kong Univ. of Sci. & Technol., Hong Kong
Min-You Wu , Hong Kong Univ. of Sci. & Technol., Hong Kong
pp. 200

Extensible parallel program performance visualization (Abstract)

J.D. McWhirter , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
A.J. Griff , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
J.E. Mankovich , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
G.J. Nutt , Dept. of Comput. Sci., Colorado Univ., Boulder, CO, USA
pp. 205

Program modelling via inter-reference gaps and applications (Abstract)

B. Gopinath , Dept. of Comput. Sci., Rutgers Univ., NJ, USA
V. Phalke , Dept. of Comput. Sci., Rutgers Univ., NJ, USA
pp. 212

The effect of workload on the performance and availability of voting algorithms (Abstract)

M.A. Qureshi , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
W.H. Sanders , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 217
Session 6A - Parallel Systems II

Thread placement on the Intel Paragon: modeling and experimentation (Abstract)

E. Smirni , Dept. of Comput. Sci., Vanderbilt Univ., Nashville, TN, USA
C.A. Childers , Dept. of Comput. Sci., Vanderbilt Univ., Nashville, TN, USA
E. Rosti , Dept. of Comput. Sci., Vanderbilt Univ., Nashville, TN, USA
L.W. Dowdy , Dept. of Comput. Sci., Vanderbilt Univ., Nashville, TN, USA
pp. 226

A program behavior model and its evaluation (Abstract)

M.A. Holliday , Dept. of Math. & Comput. Sci., Western Carolina Univ., Cullowhee, NC, USA
pp. 232

Differential profiling (Abstract)

P.E. McKenney , Sequent Comput. Syst., Beaverton, OR, USA
pp. 237

SCILab-a simulation environment for the Scalable Coherent Interface (Abstract)

Bin Wu , Dept. of Phys., Oslo Univ., Norway
A. Bogaerts , Dept. of Phys., Oslo Univ., Norway
pp. 242
Session 6B - TOOLS: Processor, Network and System Simulation

HALSIM-a very fast SPARC-V9 behavioral model (Abstract)

J. Kohli , HAL Comput. Syst., Campbell, CA, USA
M. Spaulding , HAL Comput. Syst., Campbell, CA, USA
J. Slice , HAL Comput. Syst., Campbell, CA, USA
R. Bharadhwaj , HAL Comput. Syst., Campbell, CA, USA
N. Saxena , HAL Comput. Syst., Campbell, CA, USA
D. Barach , HAL Comput. Syst., Campbell, CA, USA
D. Hudson , HAL Comput. Syst., Campbell, CA, USA
R. Crunk , HAL Comput. Syst., Campbell, CA, USA
C. Neighbors , HAL Comput. Syst., Campbell, CA, USA
pp. 249

Bnet: designing a connectionless broadband data service in an ATM network by simulated annealing (Abstract)

A. van Lomwel , Dept. of Electr. Eng., Delft Univ. of Technol., Netherlands
R. Velt , Dept. of Electr. Eng., Delft Univ. of Technol., Netherlands
J. de Jogh , Dept. of Electr. Eng., Delft Univ. of Technol., Netherlands
B. Stavrov , Dept. of Electr. Eng., Delft Univ. of Technol., Netherlands
pp. 253
Session 7A - Networking II

Modeling ATM networks: a case study (Abstract)

P. Gburzynski , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
W. Dobosiewicz , Dept. of Comput. Sci., Alberta Univ., Edmonton, Alta., Canada
pp. 262

Quality-of-service for video and data in very-high-speed DQDB MANs (Abstract)

F. Neri , Dept. of Electron., Politecnico di Torino, Italy
F. Galliano , Dept. of Electron., Politecnico di Torino, Italy
M. Ajmone Marsan , Dept. of Electron., Politecnico di Torino, Italy
pp. 267

Simulation model for analysis of synchronous digital hierarchy network payload jitter (Abstract)

H.L. Owen , Sch. of Electr. & Comput. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
P.E. Sholander , Sch. of Electr. & Comput. Eng., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 275

A heuristic algorithm for admission control in ATM networks (Abstract)

V.K. Konangi , NASA Lewis Res. Center, Cleveland, OH, USA
W.H. Thesling , NASA Lewis Res. Center, Cleveland, OH, USA
S.M. Srinidhi , NASA Lewis Res. Center, Cleveland, OH, USA
pp. 280
Session 7B - TOOLS: Optimizing Parallel Programs

VIZIR: an integrated environment for distributed program visualization (Abstract)

M. Jazayeri , Hewlett-Packard Co., Palo Alto, CA, USA
M.C. Hao , Hewlett-Packard Co., Palo Alto, CA, USA
A. Waheed , Hewlett-Packard Co., Palo Alto, CA, USA
A.H. Karp , Hewlett-Packard Co., Palo Alto, CA, USA
pp. 288

A tool for optimizing large scale parallel applications (Abstract)

J. Krammer , Inst. fur Inf., Tech. Univ. Munchen, Germany
O. Hansen , Inst. fur Inf., Tech. Univ. Munchen, Germany
pp. 293

SPLAT: a standard-to-standard real-time graphical scheduling and code generation tool (Abstract)

M.J. Van der Westhuizen , Dept. of Electr. Eng., Natal Univ., South Africa
D.C. Levy , Dept. of Electr. Eng., Natal Univ., South Africa
R.G. Harley , Dept. of Electr. Eng., Natal Univ., South Africa
pp. 297
Session 8A - Systems Modeling I

Methodology for obtaining abstract views of state graphs labeled with probabilities and times: An example of application to a communication protocol (Abstract)

G. Juanole , Lab. d'Analyse et d'Archit. des Syst., CNRS, Toulouse, France
Y. Atamna , Lab. d'Analyse et d'Archit. des Syst., CNRS, Toulouse, France
pp. 299

Modelling of object based systems with hidden sorted ECATNets (Abstract)

M. Maouche , Inst. of Comput. Sci., Constantine Univ., Algeria
M. Bettaz , Inst. of Comput. Sci., Constantine Univ., Algeria
pp. 307

System modeling, performance analysis, and evolutionary prototyping with hardware description languages (Abstract)

S. Mohanty , Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA
V. Krishnaswamy , Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA
P.A. Wilsey , Dept. of Electr. & Comput. Eng., Cincinnati Univ., OH, USA
pp. 312

Performance simulation on a multitarget radial remote-positioning system (Abstract)

D. Vidal , Dept. of Math. & Comput. Sci., Univ. de les Illes Balears, Palma de Mallorca, Spain
pp. 319
Session 8B - TOOLS: Petri Nets, Neural Networks and Genetic Algorithms

PN/sup 3/-Editor: compositional Petri net editor for protocol specification (Abstract)

P. Postupalski , Inst. of Autom. & Control Process., Acad. of Sci., Vladivostok, Russia
A. Kovalenko , Inst. of Autom. & Control Process., Acad. of Sci., Vladivostok, Russia
N. Anisimov , Inst. of Autom. & Control Process., Acad. of Sci., Vladivostok, Russia
pp. 325

XNeuroGene: a system for evolving artificial neural networks (Abstract)

C. Jacob , Lehrstuhl fur Programmiersprachen, Erlangen-Nurnberg Univ., Germany
A. Friedmann , Lehrstuhl fur Programmiersprachen, Erlangen-Nurnberg Univ., Germany
J. Rehder , Lehrstuhl fur Programmiersprachen, Erlangen-Nurnberg Univ., Germany
J. Siemandel , Lehrstuhl fur Programmiersprachen, Erlangen-Nurnberg Univ., Germany
pp. 329

Integration of genetic algorithms and fuzzy logic into a neural network simulation environment (Abstract)

G. Billing , Lehrstuhl fur Programmiersprachen, Erlangen-Nurnberg Univ., Germany
C. Mansfeld , Lehrstuhl fur Programmiersprachen, Erlangen-Nurnberg Univ., Germany
P. Wilke , Lehrstuhl fur Programmiersprachen, Erlangen-Nurnberg Univ., Germany
J. Nilson , Lehrstuhl fur Programmiersprachen, Erlangen-Nurnberg Univ., Germany
pp. 330
Session 9A - Distributed Systems II

Wildcard dimensions in augmented star and bubble-sort networks (Abstract)

S. Latifi , Dept. of Electr. Eng., Nevada Univ., Las Vegas, NV, USA
P.K. Srimani , Dept. of Electr. Eng., Nevada Univ., Las Vegas, NV, USA
pp. 335

Modelling of client-server systems (Abstract)

S. Riccobene , Istituto di Inf. e Telecommun., Catania Univ., Italy
A. Puliafito , Istituto di Inf. e Telecommun., Catania Univ., Italy
M. Scarpa , Istituto di Inf. e Telecommun., Catania Univ., Italy
pp. 340

Interval-based performance analysis of computing systems (Abstract)

S. Majumdar , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
R. Ramadoss , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
pp. 345

Dynamic file migration to support parallel database systems (Abstract)

J.A. McCann , Syst. Archit. Res. Centre, City Univ., London, UK
P. Osmon , Syst. Archit. Res. Centre, City Univ., London, UK
N.J. Williams , Syst. Archit. Res. Centre, City Univ., London, UK
D. Bolton , Syst. Archit. Res. Centre, City Univ., London, UK
pp. 352
Session 9B - Networking III

The loading region: a framework for the performance evaluation of admission control policies for high speed networks (Abstract)

C.L. Williamson , Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
Y.H. Cao , Dept. of Comput. Sci., Saskatchewan Univ., Saskatoon, Sask., Canada
pp. 358

Discrete event simulation modelling of concurrent access in ATM-based computer networks (Abstract)

M. Mateescu , Res. Centre for Open Commun. Syst., Tech. Univ. Berlin, Germany
H. Augsten , Res. Centre for Open Commun. Syst., Tech. Univ. Berlin, Germany
pp. 365

Spare capacity assignment in telecom networks using path restoration (Abstract)

J.C. Shah , Comput. Sci. Program, Texas Univ., Dallas, TX, USA
S. Venkatesan , Comput. Sci. Program, Texas Univ., Dallas, TX, USA
J. Veerasamy , Comput. Sci. Program, Texas Univ., Dallas, TX, USA
pp. 370
Session 10A - Real Time

RECET-a real-time cache evaluation tool (Abstract)

J. Ahola , Software Syst. Lab., Tampere Univ. of Technol., Finland
pp. 376

Real-time and performance evaluation extensions of specification language LOTOS (Abstract)

Z. Huzar , Inf. Centre, Tech. Univ. Wroclaw, Poland
J. Magott , Inf. Centre, Tech. Univ. Wroclaw, Poland
pp. 382
Session 10B - Systems Modeling II

From modelling using function charts for control systems to analysis using Petri nets (Abstract)

F. Prunet , LIRMM, Univ. des Sci. et Tech. du Languedoc, Montpellier, France
A. El Rhalibi , LIRMM, Univ. des Sci. et Tech. du Languedoc, Montpellier, France
C. Durante , LIRMM, Univ. des Sci. et Tech. du Languedoc, Montpellier, France
pp. 389

Automatic generation of a software performance model using an object-oriented prototype (Abstract)

J. Rolia , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
C.M. Woodside , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
C. Hrischuk , Dept. of Syst. & Comput. Eng., Carleton Univ., Ottawa, Ont., Canada
pp. 399
Invited Papers

Q/sup 2/: a new performance analysis tool exploiting numerical transform inversion (Abstract)

W. Whitt , AT&T Bell Labs., Holmdel, NJ, USA
G.L. Choudhury , AT&T Bell Labs., Holmdel, NJ, USA
pp. 411
Additional Papers [The following paper and others noted elsewhere are included in this section]

Author Index (PDF)

pp. 442
89 ms
(Ver 3.1 (10032016))