Micha Hofri

According to our database1, Micha Hofri authored at least 44 papers between 1973 and 2013.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


Further analysis of the remedian algorithm.
Theor. Comput. Sci., 2013

Optimal selection and sorting via dynamic programming.
ACM Journal of Experimental Algorithmics, 2013

Service transparency considered harmful: letter to the editor.
Operating Systems Review, 2007

An Efficient Algorithm for the Approximate Median Selection Problem.
Proceedings of the Algorithms and Complexity, 4th Italian Conference, 2000

Matrix Transposition on a Mesh with Blocking Transmissions.
Parallel Processing Letters, 1998

The List Update Problem: Improved Bounds for the Counter Scheme.
Algorithmica, 1998

Saddle Points in Random Matrices: Analysis of Knuth Search Algorithms.
Algorithmica, 1998

Asymptotic Analysis of Product-Form Distributions Related to Large Interconnection Networks.
Theor. Comput. Sci., 1994

On Timeout for Global Deadlock Detection in Decentralized Database Systems.
Inf. Process. Lett., 1994

Efficient Reorganization of Binary Search Trees.
Proceedings of the Algorithms and Complexity, Second Italian Conference, 1994

Maximum Size of a Dynamic Data Structure: Hashing with Lazy Deletion Revisited.
SIAM J. Comput., 1992

Self-Organizing Lists and Independent References: A Statistical Synergy.
J. Algorithms, 1991

On the Optimality of the Counter Scheme for Dynamic Linear Lists.
Inf. Process. Lett., 1991

Proof of a Mutual Exclusion Algorithm - A 'Class'ic Example.
Operating Systems Review, 1990

Exact and Asymptotic Analysis of Large Multiple Bus Multiprocessor Systems.
Proceedings of the Performance '90, 1990

Packet delay under the golden ratio weighted TDM policy in a multiple-access channel.
IEEE Trans. Information Theory, 1987

On the Optimal Control of Two Queues with Server Setup Times and its Analysis.
SIAM J. Comput., 1987

Padded Lists Revisited.
SIAM J. Comput., 1987

A Feedback-less Distributed Broadcast Algorithm for Multihop Radio Networks with Time-Varying Structure.
Proceedings of the Computer Performance and Reliability, 1987

Probabilistic Analysis of Algorithms - On Computing Methodologies for Computer Algorithms Performance Evaluation.
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-4800-2, 1987

Queueing Models of Secondary Storage Devices.
Queueing Syst., 1986

A Stochastic Analysis of the NFD Bin-Packing Algorithm.
J. Algorithms, 1986

Queueing Systems with a Procrastinating Server.
Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, 1986

Analysis of a stack algorithm for random multiple-access communication.
IEEE Trans. Information Theory, 1985

The Private Workspace Model Feasibility and Applications to 2PL Performance Improvements.
Proceedings of the VLDB'85, 1985

A Probabilistic Analysis of the Next-Fit Bin Packing Algorithm.
J. Algorithms, 1984

Analysis of Interleaved Storage Via a Constant-Service Queuing System with Markov-Chain-Driven Input.
J. ACM, 1984

Should the Two-Headed Disk be Greedy? - Yes, it Should.
Inf. Process. Lett., 1983

The Working Set Size Distribution for the Markov Chain Model of Program Behavior.
SIAM J. Comput., 1982

On the Expected Performance of Scanning Disks.
SIAM J. Comput., 1982

On the probability of intercepting a pulsed signal with periodic equipment.
Computers & OR, 1981

Two-Dimensional Packing: Expected Performance of Simple Level Algorithms
Information and Control, April, 1980

A Stochastic Model of Bin-Packing
Information and Control, February, 1980

A Simple Semaphore-Queue Management for Multiprocessing Systems.
Operating Systems Review, 1980

Disk Scheduling: FCFS vs. SSTF Revisited.
Commun. ACM, 1980

On the Working Set Size for the Markov Chain Model of Program Behaviour.
Proceedings of the Performance of Computer Systems, 1979

A Class of FIFO Queues Arising in Computer Systems.
Operations Research, 1978

A generating-function analysis of multiprogramming queues.
International Journal of Parallel Programming, 1978

On Certain Output-Buffer Management Techniques--A Stochastic Model.
J. ACM, 1977

On Scanning-Disks and the Analysis of their Steady State Behavior.
Proceedings of the Measuring, Modelling and Evaluating Computer Systems, 1977

Multiprogramming with virtual memory - a queueing model.
Inf. Sci., 1976

On Scheduling Chains of Jobs on One Processor with Limited Preemption.
SIAM J. Comput., 1975

A Processor in Series with Demand-Interrupting Devices - A Stochastic Model.
J. ACM, 1975

A Multiprogramming Queue.
J. ACM, 1973