Isi Mitrani

ACM Trans. Model. Perform. Evaluation Comput. Syst., September, 2024

2023

Analysis of an Epoch Commit Protocol for Distributed Processing Systems.

[BibT_eX]

[DOI]

Jim Webber

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Evaluating the Performance Impact of No-Wait Approach to Resolving Write Conflicts in Databases.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering and Stochastic Modelling, 2023

2022

A Mixed PS-FCFS Policy for CPU Intensive Workloads.

[BibT_eX]

[DOI]

Simonetta Balsamo

Andrea Marin

Proceedings of the ICPE '22: ACM/SPEC International Conference on Performance Engineering, Bejing, China, April 9, 2022

A Performance Study of Epoch-based Commit Protocols in Distributed OLTP Databases.

[BibT_eX]

[DOI]

Proceedings of the 41st International Symposium on Reliable Distributed Systems, 2022

Transaction confirmation in proof-of-work blockchains: auctions, delays and droppings.

[BibT_eX]

[DOI]

Proceedings of the 20th Mediterranean Communication and Computer Networking Conference, 2022

Checkpointing Models for Tasks with Widely Different Processing Times.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 18th European Workshop, 2022

2021

On the benefits and costs of offloading among cooperating clouds.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2021

A Foreground-Background queueing model with speed or capacity modulation.

[BibT_eX]

[DOI]

Andrea Marin

CoRR, 2021

Prediction of the Consolidation Delay in Blockchain-based Applications.

[BibT_eX]

[DOI]

Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021

2020

Preserving reciprocal consistency in distributed graph databases.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, 2020

2019

Modeling Corruption in Eventually-Consistent Graph Databases.

[BibT_eX]

[DOI]

Jim Webber

CoRR, 2019

A Queuing Model of a Stream-Processing Server.

[BibT_eX]

[DOI]

Tom Cooper

Proceedings of the 27th IEEE International Symposium on Modeling, 2019

Design and Evaluation of an Edge Concurrency Control Protocol for Distributed Graph Databases.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019

2018

Control and Optimization of the SRPT Service Policy by Frequency Scaling.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

On the Degradation of Distributed Graph Databases with Eventual Consistency.

[BibT_eX]

[DOI]

Paul Devadoss Ezhilchelvan

Jim Webber

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017

Evaluating the Probability of Malicious Co-Residency in Public Clouds.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2017

Optimal provisioning of servers for hosting services of multiple types.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2017

Multi-class Resource Sharing with Batch Arrivals and Complete Blocking.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016

Optimal Provision of Multiple Service Types.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Modeling, 2016

2015

Static and Dynamic Hosting of Cloud Servers.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014

Optimal Hiring of Cloud Servers.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

2013

Managing performance and power consumption in a server farm.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2013

2012

Empirical evaluation of power saving policies for data centers.

[BibT_eX]

[DOI]

Michele Mazzucco

SIGMETRICS Perform. Evaluation Rev., 2012

Towards power-elastic systems through concurrency management.

[BibT_eX]

[DOI]

IET Comput. Digit. Tech., 2012

Energy-aware Management of Customer Streams.

[BibT_eX]

[DOI]

K. Aidarov

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Trading Power Consumption against Performance by Reserving Blocks of Servers.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

2011

Spectral Expansion Solutions for Markov-Modulated Queues.

[BibT_eX]

[DOI]

Proceedings of the Network Performance Engineering, 2011

Service center trade-offs between customer impatience and power consumption.

[BibT_eX]

[DOI]

Perform. Evaluation, 2011

2010

Management of Server Farms for Performance and Profit.

[BibT_eX]

[DOI]

Comput. J., 2010

Stochastic analysis of power, latency and the degree of concurrency.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

2009

Evaluating the optimal server allocation policy for clusters with on/off sources.

[BibT_eX]

[DOI]

Perform. Evaluation, 2009

Revenue maximization in web service provision.

[BibT_eX]

[DOI]

Comput. Sci. Res. Dev., 2009

Static and dynamic server allocation in systems with on/off sources.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2009

Encounter-based message propagation in mobile ad-hoc networks.

[BibT_eX]

[DOI]

Dave E. Cooper

Ad Hoc Networks, 2009

Proactive Fortification of Fault-Tolerant Services.

[BibT_eX]

[DOI]

Dylan Clarke

Santosh K. Shrivastava

Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

2008

Analysis of job transfer policies in systems with unreliable servers.

[BibT_eX]

[DOI]

Simon P. Martin

Ann. Oper. Res., 2008

Dynamic Server Allocation for Power and Performance.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation: Metrics, 2008

Allocation and Admission Policies for Service Streams.

[BibT_eX]

Proceedings of the 16th International Symposium on Modeling, 2008

2007

Optimizing Revenue: Service Provisioning Systems with QoS Contracts.

[BibT_eX]

Proceedings of the ICE-B 2007, 2007

Optimal Dynamic Server Allocation in Systems with On/Off Sources.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Optimization Problems in Service Provisioning Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Web Service Hosting and Revenue Maximization.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007

2006

Server Allocation in Grid Systems with On/Off Sources.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of High Performance Computing and Networking, 2006

Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers.

[BibT_eX]

[DOI]

Jennie Palmer

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

Performance Modeling and Evaluation of E-Business Systems.

[BibT_eX]

[DOI]

Giovanna Ferrari

Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006

2005

Approximate solutions for heavily loaded Markov-modulated queues.

[BibT_eX]

[DOI]

Perform. Evaluation, 2005

Optimal and heuristic policies for dynamic server allocation.

[BibT_eX]

[DOI]

Jennie Palmer

J. Parallel Distributed Comput., 2005

Optimization of Encounter Gossip Propagation in Mobile Ad-Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Modeling, 2005

2004

On the ASTA property in a feedback processor-sharing queue.

[BibT_eX]

[DOI]

Perform. Evaluation, 2004

Design and Evaluation of a QoS-Adaptive System for Reliable Multicasting.

[BibT_eX]

[DOI]

Antonio Di Ferdinando

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

High Coverage Broadcasting for Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Dave E. Cooper

Proceedings of the NETWORKING 2004, 2004

Optimal Server Allocation in Reconfigurable Clusters with Multiple Job Types.

[BibT_eX]

[DOI]

Jennie Palmer

Proceedings of the Computational Science and Its Applications, 2004

Dynamic Allocation of Servers in a Grid Hosting Environment.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Grid Computing (GRID 2004), 2004

A Family of Encounter-Based Broadcast Protocols for Mobile Ad-Hoc Networks.

[BibT_eX]

[DOI]

Dave E. Cooper

Proceedings of the Wireless Systems and Mobility in Next Generation Internet, 2004

2002

Efficient parallel simulation of a sliding window protocol.

[BibT_eX]

[DOI]

Perform. Evaluation, 2002

Distributed systems with different degrees of multicasting.

[BibT_eX]

[DOI]

Paul McKee

Proceedings of the Third International Workshop on Software and Performance, 2002

Spectral Expansion Solutions for Markov-Modulated Queues.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

Analysis of a Transaction System with Checkpointing, Failures, and Rollback.

[BibT_eX]

[DOI]

L. Kumar

Manoj Misra

Proceedings of the Computer Performance Evaluation, 2002

2001

Large Scale and Heavy Traffic Asymptotics for Systems with Unreliable Servers.

[BibT_eX]

[DOI]

Jean-François Dantzer

Queueing Syst. Theory Appl., 2001

Optimal Caching Policies for Web Objects.

[BibT_eX]

[DOI]

Paul McKee

Proceedings of the High-Performance Computing and Networking, 9th International Conference, 2001

2000

Parallel simulation of ATM switches using relaxation.

[BibT_eX]

[DOI]

Perform. Evaluation, 2000

Efficient distributed simulation of a communication switch with bursty sources and losses.

[BibT_eX]

[DOI]

Proceedings of the 14th Workshop on Parallel and Distributed Simulation, 2000

Optimal Allocation Policies for Mobile Agents.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

1999

On the Propagation of Updates in Distributed Replicated Systems.

[BibT_eX]

[DOI]

Manoj Misra

Perform. Evaluation, 1999

A semidefinite programming approach to the optimal control of a single server queueing system with imposed second moment constraints.

[BibT_eX]

[DOI]

J. Oper. Res. Soc., 1999

Analysis and Optimization of a Distributed Directory.

[BibT_eX]

Bin Liu

Proceedings of the MMB '99, 1999

1998

Approximate Solution of a Pipeline with Server Vacations.

[BibT_eX]

Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998

Probabilistic modelling, Second Edition.

[BibT_eX]

Cambridge University Press, ISBN: 978-0-521-58511-8, 1998

1996

Superfast Parallel Discrete Event Simulations.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 1996

Server Allocation Subject to Variance Constraints.

[BibT_eX]

P. S. Ansell

Kevin D. Glazebrook

Perform. Evaluation, 1996

1995

Spectral Expansion Solution for a Class of Markov Models: Application and Comparison with the Matrix-Geometric Method.

[BibT_eX]

[DOI]

Ram Chakka

Perform. Evaluation, 1995

A Two-Queue Polling Model with a Threshold Service Policy.

[BibT_eX]

[DOI]

Onno J. Boxma

Ger Koole

Proceedings of the MASCOTS '95, 1995

1994

Heterogeneous Multiprocessor Systems with Breakdowns: Performance and Optimal Repair Strategies.

[BibT_eX]

[DOI]

Ram Chakka

Theor. Comput. Sci., 1994

Routing in the Presence of Breakdowns.

[BibT_eX]

[DOI]

Paul E. Wright

Perform. Evaluation, 1994

Efficient window flow control for high speed data networks with small buffers.

[BibT_eX]

[DOI]

Ann. Oper. Res., 1994

1993

Limiting results for multiprocessor systems with breakdowns and repairs.

[BibT_eX]

[DOI]

Anatolii A. Puhalskii

Queueing Syst. Theory Appl., 1993

1992

Multiprocessor Systems with General Breakdowns and Repairs.

[BibT_eX]

[DOI]

Ram Chakka

Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1992

1991

Algorithms for Unboundedly Parallel Simulations.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 1991

A Unified Set of Proposals for Control and Design of High Speed Data Networks.

[BibT_eX]

[DOI]

Queueing Syst. Theory Appl., 1991

Editorial Introduction: Special Issue on Communication Systems.

[BibT_eX]

[DOI]

Queueing Syst. Theory Appl., 1991

Analysis of a Kanban Discipline for Cell Coordination in Production Lines, II: Stochastic Demands.

[BibT_eX]

[DOI]

Oper. Res., 1991

Massively Parallel Algorithms for Network Partition Functions.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1991

1990

A Performance Evaluation Study of Pipeline TMR Systems.

[BibT_eX]

[DOI]

Santosh K. Shrivastava

IEEE Trans. Parallel Distributed Syst., 1990

Unboundedly parallel simulations via recurrence relations for network and reliability problems.

[BibT_eX]

[DOI]

Proceedings of the 22th Winter Simulation Conference, 1990

Unboundedly Parallel Simulations Via Recurrence Relations.

[BibT_eX]

[DOI]

Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1990

1989

Control and Coordination Policies for Systems with Buffers.

[BibT_eX]

[DOI]

Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1989

1988

An Intermittently Served Discrete Time Queue with Applications to Meteor Scatter Communications.

[BibT_eX]

[DOI]

Queueing Syst. Theory Appl., 1988

1987

Modeling a Slotted Ring Local Area Network.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1987

Multiprocessor Systems with Reserves and Preferences.

[BibT_eX]

[DOI]

Queueing Syst. Theory Appl., 1987

Analysis and Optimum Performance of Two Message-Passing Parallel Processors Synchronized by Rollback.

[BibT_eX]

[DOI]

Perform. Evaluation, 1987

Analysis of a Meteor Scatter Communication Protocol.

[BibT_eX]

Proceedings of the Performance '87, 1987

Analysis of Snooping Caches.

[BibT_eX]

Larry Rudolph

Proceedings of the Performance '87, 1987

Two Queues with Alternating Service Periods.

[BibT_eX]

Edward G. Coffman Jr.

Proceedings of the Performance '87, 1987

Modelling of computer and communication systems.

[BibT_eX]

Israel Mitrani

Cambridge computer science texts 24, Cambridge University Press, ISBN: 978-0-521-31422-0, 1987

1983

Multiserver-Systems Subject to Breakdowns: An Empirical Study.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1983

On the Modeling of Parallel Access to Shared Data.

[BibT_eX]

[DOI]

A. Chesnais

Erol Gelenbe

Commun. ACM, 1983

On the Execution of Programs by Many Processors.

[BibT_eX]

Proceedings of the Performance '83, 1983

The Distribution of Sojourn Times in a Queueing Network with Overtaking: Reduction to a Boundary Problem.

[BibT_eX]

R. Iasnogorodski

Proceedings of the Performance '83, 1983

Fixed-Point Approximations for Distributed Systems.

[BibT_eX]

Proceedings of the Computer Performance and Reliability, 1983

Modeling the Execution of Block Structured Processes with Hardware and Software Failures.

[BibT_eX]

Erol Gelenbe

Proceedings of the Computer Performance and Reliability, 1983

1982

Modelling the Cambridge Ring.

[BibT_eX]

[DOI]

Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1982

Control Policies in CSMA Local Area Networks: Ethernet Controls.

[BibT_eX]

[DOI]

Erol Gelenbe

Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1982

Simulation techniques for discrete event systems.

[BibT_eX]

Israel Mitrani

Cambridge computer science texts 14, Cambridge University Press, ISBN: 978-0-521-28282-6, 1982

1981

Multiprocessor systems with preemptive priorities.

[BibT_eX]

[DOI]

Perform. Evaluation, 1981

The Distribution of Queuing Network States at Input and Output Instants.

[BibT_eX]

[DOI]

Kenneth C. Sevcik

J. ACM, 1981

1980

Numerical methods for infinite Markov processes.

[BibT_eX]

[DOI]

Proceedings of the 1980 International Symposium on Computer Performance Modelling, 1980

The solution of certain two-dimensional markov models.

[BibT_eX]

[DOI]

Proceedings of the 1980 International Symposium on Computer Performance Modelling, 1980

Sharing a Processor Among Many Job Classes.

[BibT_eX]

[DOI]

R. Iasnogorodski

J. ACM, 1980

A Characterization of Waiting Time Performance Realizable by Single-Server Queues.

[BibT_eX]

[DOI]

Edward G. Coffman Jr.

Oper. Res., 1980

1979

The Control of Response Times in Multi-Class Systems by Memory Allocation.

[BibT_eX]

[DOI]

J. H. Hine

Shalom Tsur

Commun. ACM, 1979

The Distribution of Queueing Network States at Input and Output Instants.

[BibT_eX]

Kenneth C. Sevcik

Proceedings of the Performance of Computer Systems, 1979

1977

Complete Parameterized Families of Job Scheduling Strategies.

[BibT_eX]

[DOI]

J. H. Hine

Acta Informatica, 1977

1976

The Use of Memory Allocation to Control Response Times in Paged Computer Systems with Different Job Classes.

[BibT_eX]

J. H. Hine

Shalom Tsur

Proceedings of the Modelling and Performance Evaluation of Computer Systems, 1976

1975

Selecting a Scheduling Rule that Meets Pre-Specified Response Time Demands.

[BibT_eX]

[DOI]

Edward G. Coffman Jr.

Proceedings of the Fifth Symposium on Operating System Principles, 1975

1972

Congestion problems in computing systems.

[BibT_eX]

[DOI]

PhD thesis, 1972

Nonpriority Multiprogramming Systems Under Heavy Demand Conditions--Customers' Viewpoint.

[BibT_eX]

[DOI]