Isi Mitrani

According to our database1, Isi Mitrani authored at least 101 papers between 1972 and 2018.

Collaborative distances:



In proceedings 
PhD thesis 




Control and Optimization of the SRPT Service Policy by Frequency Scaling.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

On the Degradation of Distributed Graph Databases with Eventual Consistency.
Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

Evaluating the Probability of Malicious Co-Residency in Public Clouds.
IEEE Trans. Cloud Computing, 2017

Optimal provisioning of servers for hosting services of multiple types.
Simulation Modelling Practice and Theory, 2017

Multi-class Resource Sharing with Batch Arrivals and Complete Blocking.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Optimal Provision of Multiple Service Types.
Proceedings of the 24th IEEE International Symposium on Modeling, 2016

Static and Dynamic Hosting of Cloud Servers.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Optimal Hiring of Cloud Servers.
Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

Energy-aware Management of Customer Streams.
Electr. Notes Theor. Comput. Sci., 2013

Managing performance and power consumption in a server farm.
Annals OR, 2013

Empirical evaluation of power saving policies for data centers.
SIGMETRICS Performance Evaluation Review, 2012

Towards power-elastic systems through concurrency management.
IET Computers & Digital Techniques, 2012

Trading Power Consumption against Performance by Reserving Blocks of Servers.
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Service center trade-offs between customer impatience and power consumption.
Perform. Eval., 2011

Management of Server Farms for Performance and Profit.
Comput. J., 2010

Stochastic analysis of power, latency and the degree of concurrency.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2010), May 30, 2010

Evaluating the optimal server allocation policy for clusters with on/off sources.
Perform. Eval., 2009

Revenue maximization in web service provision.
Computer Science - R&D, 2009

Static and dynamic server allocation in systems with on/off sources.
Annals OR, 2009

Encounter-based message propagation in mobile ad-hoc networks.
Ad Hoc Networks, 2009

Proactive Fortification of Fault-Tolerant Services.
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

Analysis of job transfer policies in systems with unreliable servers.
Annals OR, 2008

Dynamic Server Allocation for Power and Performance.
Proceedings of the Performance Evaluation: Metrics, 2008

Allocation and Admission Policies for Service Streams.
Proceedings of the 16th International Symposium on Modeling, 2008

Optimizing Revenue: Service Provisioning Systems with QoS Contracts.
Proceedings of the ICE-B 2007, 2007

Optimal Dynamic Server Allocation in Systems with On/Off Sources.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Optimization Problems in Service Provisioning Systems.
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2007

Web Service Hosting and Revenue Maximization.
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007

Server Allocation in Grid Systems with On/Off Sources.
Proceedings of the Frontiers of High Performance Computing and Networking, 2006

Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers.
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

Performance Modeling and Evaluation of E-Business Systems.
Proceedings of the Proceedings 39th Annual Simulation Symposium (ANSS-39 2006), 2006

Approximate solutions for heavily loaded Markov-modulated queues.
Perform. Eval., 2005

Optimal and heuristic policies for dynamic server allocation.
J. Parallel Distrib. Comput., 2005

Optimization of Encounter Gossip Propagation in Mobile Ad-Hoc Networks.
Proceedings of the 13th International Symposium on Modeling, 2005

On the ASTA property in a feedback processor-sharing queue.
Perform. Eval., 2004

Design and Evaluation of a QoS-Adaptive System for Reliable Multicasting.
Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

High Coverage Broadcasting for Mobile Ad Hoc Networks.
Proceedings of the NETWORKING 2004, 2004

Optimal Server Allocation in Reconfigurable Clusters with Multiple Job Types.
Proceedings of the Computational Science and Its Applications, 2004

Dynamic Allocation of Servers in a Grid Hosting Environment.
Proceedings of the 5th International Workshop on Grid Computing (GRID 2004), 2004

A Family of Encounter-Based Broadcast Protocols for Mobile Ad-Hoc Networks.
Proceedings of the Wireless Systems and Mobility in Next Generation Internet, 2004

Efficient parallel simulation of a sliding window protocol.
Perform. Eval., 2002

Distributed systems with different degrees of multicasting.
Workshop on Software and Performance, 2002

Spectral Expansion Solutions for Markov-Modulated Queues.
Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

Analysis of a Transaction System with Checkpointing, Failures, and Rollback.
Proceedings of the Computer Performance Evaluation, 2002

Large Scale and Heavy Traffic Asymptotics for Systems with Unreliable Servers.
Queueing Syst., 2001

Optimal Caching Policies for Web Objects.
Proceedings of the High-Performance Computing and Networking, 9th International Conference, 2001

Parallel simulation of ATM switches using relaxation.
Perform. Eval., 2000

Efficient distributed simulation of a communication switch with bursty sources and losses.
Proceedings of the 14th Workshop on Parallel and Distributed Simulation, 2000

Optimal Allocation Policies for Mobile Agents.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

On the Propagation of Updates in Distributed Replicated Systems.
Perform. Eval., 1999

Analysis and Optimization of a Distributed Directory.
Proceedings of the MMB '99, 1999

Approximate Solution of a Pipeline with Server Vacations.
Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998

Probabilistic modelling, Second Edition.
Cambridge University Press, ISBN: 978-0-521-58511-8, 1998

Superfast Parallel Discrete Event Simulations.
ACM Trans. Model. Comput. Simul., 1996

Server Allocation Subject to Variance Constraints.
Perform. Eval., 1996

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

A Two-Queue Polling Model with a Threshold Service Policy.
Proceedings of the MASCOTS '95, 1995

Heterogeneous Multiprocessor Systems with Breakdowns: Performance and Optimal Repair Strategies.
Theor. Comput. Sci., 1994

Routing in the Presence of Breakdowns.
Perform. Eval., 1994

Efficient window flow control for high speed data networks with small buffers.
Annals OR, 1994

Limiting results for multiprocessor systems with breakdowns and repairs.
Queueing Syst., 1993

Multiprocessor Systems with General Breakdowns and Repairs.
Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1992

Algorithms for Unboundedly Parallel Simulations.
ACM Trans. Comput. Syst., 1991

A Unified Set of Proposals for Control and Design of High Speed Data Networks.
Queueing Syst., 1991

Editorial Introduction: Special Issue on Communication Systems.
Queueing Syst., 1991

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

Massively Parallel Algorithms for Network Partition Functions.
Proceedings of the International Conference on Parallel Processing, 1991

A Performance Evaluation Study of Pipeline TMR Systems.
IEEE Trans. Parallel Distrib. Syst., 1990

Unboundedly parallel simulations via recurrence relations for network and reliability problems.
Proceedings of the 22th Winter Simulation Conference, 1990

Unboundedly Parallel Simulations Via Recurrence Relations.
Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1990

Control and Coordination Policies for Systems with Buffers.
Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1989

An Intermittently Served Discrete Time Queue with Applications to Meteor Scatter Communications.
Queueing Syst., 1988

Modeling a Slotted Ring Local Area Network.
IEEE Trans. Computers, 1987

Multiprocessor Systems with Reserves and Preferences.
Queueing Syst., 1987

Analysis of a Meteor Scatter Communication Protocol.
Proceedings of the Performance '87, 1987

Analysis of Snooping Caches.
Proceedings of the Performance '87, 1987

Two Queues with Alternating Service Periods.
Proceedings of the Performance '87, 1987

Modelling of computer and communication systems.
Cambridge computer science texts 24, Cambridge University Press, ISBN: 978-0-521-31422-0, 1987

Analysis and Optimum Performance of Two Message-Passing Parallel Processors Synchronized by Rollback.
Proceedings of the Performance '84, 1984

Multiserver-Systems Subject to Breakdowns: An Empirical Study.
IEEE Trans. Computers, 1983

On the Modeling of Parallel Access to Shared Data.
Commun. ACM, 1983

On the Execution of Programs by Many Processors.
Proceedings of the Performance '83, 1983

The Distribution of Sojourn Times in a Queueing Network with Overtaking: Reduction to a Boundary Problem.
Proceedings of the Performance '83, 1983

Fixed-Point Approximations for Distributed Systems.
Proceedings of the Computer Performance and Reliability, 1983

Modeling the Execution of Block Structured Processes with Hardware and Software Failures.
Proceedings of the Computer Performance and Reliability, 1983

Modelling the Cambridge Ring.
SIGMETRICS Performance Evaluation Review, 1982

Control Policies in CSMA Local Area Networks: Ethernet Controls.
SIGMETRICS Performance Evaluation Review, 1982

Simulation techniques for discrete event systems.
Cambridge computer science texts 14, Cambridge University Press, ISBN: 978-0-521-28282-6, 1982

Multiprocessor systems with preemptive priorities.
Perform. Eval., 1981

The Distribution of Queuing Network States at Input and Output Instants.
J. ACM, 1981

Numerical methods for infinite Markov processes.
SIGMETRICS Performance Evaluation Review, 1980

The solution of certain two-dimensional markov models.
SIGMETRICS Performance Evaluation Review, 1980

Sharing a Processor Among Many Job Classes.
J. ACM, 1980

A Characterization of Waiting Time Performance Realizable by Single-Server Queues.
Operations Research, 1980

The Control of Response Times in Multi-Class Systems by Memory Allocation.
Commun. ACM, 1979

The Distribution of Queueing Network States at Input and Output Instants.
Proceedings of the Performance of Computer Systems, 1979

Complete Parameterized Families of Job Scheduling Strategies.
Acta Inf., 1977

The Use of Memory Allocation to Control Response Times in Paged Computer Systems with Different Job Classes.
Proceedings of the Modelling and Performance Evaluation of Computer Systems, 1976

Selecting a Scheduling Rule that Meets Pre-Specified Response Time Demands.
Proceedings of the Fifth Symposium on Operating System Principles, 1975

Congestion problems in computing systems.
PhD thesis, 1972

Nonpriority Multiprogramming Systems Under Heavy Demand Conditions--Customers' Viewpoint.
J. ACM, 1972