Isi Mitrani

According to our database1, Isi Mitrani authored at least 116 papers between 1972 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Analysis of an Epoch Commit Protocol for Distributed Processing Systems.
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.
Proceedings of the Computer Performance Engineering and Stochastic Modelling, 2023

2022
A Mixed PS-FCFS Policy for CPU Intensive Workloads.
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.
Proceedings of the 41st International Symposium on Reliable Distributed Systems, 2022

Transaction confirmation in proof-of-work blockchains: auctions, delays and droppings.
Proceedings of the 20th Mediterranean Communication and Computer Networking Conference, 2022

Checkpointing Models for Tasks with Widely Different Processing Times.
Proceedings of the Computer Performance Engineering - 18th European Workshop, 2022

2021
On the benefits and costs of offloading among cooperating clouds.
Simul. Model. Pract. Theory, 2021

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

Prediction of the Consolidation Delay in Blockchain-based Applications.
Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021

2020
Preserving reciprocal consistency in distributed graph databases.
Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data, 2020

2019
Modeling Corruption in Eventually-Consistent Graph Databases.
CoRR, 2019

A Queuing Model of a Stream-Processing Server.
Proceedings of the 27th IEEE International Symposium on Modeling, 2019

Design and Evaluation of an Edge Concurrency Control Protocol for Distributed Graph Databases.
Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019

2018
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

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

Optimal provisioning of servers for hosting services of multiple types.
Simul. Model. Pract. Theory, 2017

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

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

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

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

2013
Managing performance and power consumption in a server farm.
Ann. Oper. Res., 2013

2012
Empirical evaluation of power saving policies for data centers.
SIGMETRICS Perform. Evaluation Rev., 2012

Towards power-elastic systems through concurrency management.
IET Comput. Digit. Tech., 2012

Energy-aware Management of Customer Streams.
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.
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

2011
Spectral Expansion Solutions for Markov-Modulated Queues.
Proceedings of the Network Performance Engineering, 2011

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

2010
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

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

Revenue maximization in web service provision.
Comput. Sci. Res. Dev., 2009

Static and dynamic server allocation in systems with on/off sources.
Ann. Oper. Res., 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

2008
Analysis of job transfer policies in systems with unreliable servers.
Ann. Oper. Res., 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

2007
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

2006
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

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

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

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

2004
On the ASTA property in a feedback processor-sharing queue.
Perform. Evaluation, 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

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

Distributed systems with different degrees of multicasting.
Proceedings of the Third International 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

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

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

2000
Parallel simulation of ATM switches using relaxation.
Perform. Evaluation, 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

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

A semidefinite programming approach to the optimal control of a single server queueing system with imposed second moment constraints.
J. Oper. Res. Soc., 1999

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

1998
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

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

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

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

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

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

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

Efficient window flow control for high speed data networks with small buffers.
Ann. Oper. Res., 1994

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

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

1991
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. Theory Appl., 1991

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

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

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

1990
A Performance Evaluation Study of Pipeline TMR Systems.
IEEE Trans. Parallel Distributed 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

1989
Control and Coordination Policies for Systems with Buffers.
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.
Queueing Syst. Theory Appl., 1988

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

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

Analysis and Optimum Performance of Two Message-Passing Parallel Processors Synchronized by Rollback.
Perform. Evaluation, 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

1983
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

1982
Modelling the Cambridge Ring.
Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1982

Control Policies in CSMA Local Area Networks: Ethernet Controls.
Proceedings of the 1982 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1982

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

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

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

1980
Numerical methods for infinite Markov processes.
Proceedings of the 1980 International Symposium on Computer Performance Modelling, 1980

The solution of certain two-dimensional markov models.
Proceedings of the 1980 International Symposium on Computer Performance Modelling, 1980

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

A Characterization of Waiting Time Performance Realizable by Single-Server Queues.
Oper. Res., 1980

1979
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

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

1976
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

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

1972
Congestion problems in computing systems.
PhD thesis, 1972

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


  Loading...