Now showing items 1-18 of 18

    • (Almost) No Cost Clock Synchronization 

      Babaoglu, Ozalp; Drummond, Rogerio (Cornell University, 1986-12)
      We show how synchronized clocks can be realized in a distributed system as a byproduct of a common communication paradigm where processors periodically perform broadcasts. Our approach decouples the precision concern-limiting ...
    • Buffer Management as Inventory Control 

      Babaoglu, Ozalp (Cornell University, 1984-04)
      We consider computer subsystems that use buffering as a mechanism to enhance communication performance between two or more components exhibiting a short-term speed mismatch. Often, a fixed size buffer is inserted in such ...
    • Documentation for the CHIP Computer System (Version 1.1) 

      Babaoglu, Ozalp; Bussan, Mimi; Drummond, Rogerio; Schneider, Fred B. (Cornell University, 1983-12)
      CHIP (Cornell Hypothetical Instructional Processor) is a computer system that was designed as an educational tool for teaching undergraduate courses in operating systems and machine architecture. This document constitutes ...
    • Engineering Fault-Tolerant Distributed Computing Systems 

      Babaoglu, Ozalp (Cornell University, 1986-05)
      We view the design of fault-tolerant computing systems as an engineering endeavor. As such, this activity requires understanding the theoretical limitations and the scope of the feasible designs. We survey the impact ...
    • Engineering: Cornell Quarterly, Vol.20, No.2 (Autumn 1985): Twenty Years of Computer Science at Cornell 

      Gries, David; Teitelbaum, Tim; Reps, Thomas; Schneider, Fred B.; Babaoglu, Ozalp; Birman, Kenneth P.; Toueg, Sam; Krafft, Dean B.; Solworth, Jon A.; Duke, Diane; Fish, Michele (Internet-First University Press, 1985)
      IN THIS ISSUE: Twenty Years of Computer Science at Cornell /2 David Gries ... Immediate Computation or How to Keep a Personal Computer Busy /12 Tim Teitelbaum and Thomas Reps ... Reaching Agreement: A Fundamental Task Even ...
    • Fault-Tolerant Computing Based on Mach 

      Babaoglu, Ozalp (Cornell University, 1989-08)
      We consider the problem of providing automatic and transparent fault tolerance to arbitrary user computations based on the Mach operating system. Among the several alternatives for structuring such a system, we pursue ...
    • Hierarchical Replacement Decisions in Hierarchical Stores 

      Babaoglu, Ozalp; Ferrari, Domenico (Cornell University, 1982-08)
      One of the primary motivations for implementing virtual memory is its ability to automatically manage a hierarchy of storage systems with different characteristics. The composite system behaves as if it were a single-level ...
    • The HOCA Operating System Specifications 

      Babaoglu, Ozalp; Schneider, Fred B. (Cornell University, 1983-12)
      NO ABSTRACT SUPPLIED
    • On the Optimum Checkpoint Selection Problem 

      Toueg, Sam; Babaoglu, Ozalp (Cornell University, 1983-02)
      We consider a model of computation consisting of a sequence of $n$ tasks. In the absence of failures, each task $i$ has a known completion time $t_{i}$. Checkpoints can be placed between any two consecutive tasks. At a ...
    • On the Reliability of Fault-Tolerant Distributed Computing Systems 

      Babaoglu, Ozalp (Cornell University, 1986-02)
      The designer of a fault-tolerant distributed system faces numerous alternatives. Using a stochastic model of processor failure times, we investigate design choices such as replication level, protocol running time, ...
    • Paralex: An Environment for Parellel Programming in Distributed Systems 

      Babaoglu, Ozalp; Alvisi, Lorenzo; Amoroso, Alessandro; Davoli, Renzo; Giachini, Luigi Alberto (Cornell University, 1991-12)
      Modern distributed systems consisting of powerful workstations and high-speed interconnection networks are an economical alternative to special-purpose super computers. The technical issues that need to be addressed in ...
    • Reliable Broadcast Protocols and Network Architecture: Tradeoffs and Lower Bounds 

      Babaoglu, Ozalp; Drummond, Rogerio; Stephenson, Patrick (Cornell University, 1986-05)
      Reliable Broadcast is a mechanism by which a processor in a distributed system disseminates a value to all other processors in the presence of both communication and processor failures. Protocols to achieve Reliable ...
    • Reliable Broadcasts Through Partial Broadcasts 

      Babaoglu, Ozalp; Stephenson, Patrick (Cornell University, 1985-12)
      In the Reliable Broadcast Problem, a processor disseminates a value to all other processors in a distributed system where both processors and communication components are subject to failures. We prove lower bounds for ...
    • Run-time Support for Dynamic Load Balancing and Debugging in Paralex 

      Babaoglu, Ozalp; Alvisi, Lorenzo; Amoroso, Alessandro; Davoli, Renzo; Giachini, Luigi Alberto (Cornell University, 1991-12)
      Paralex is a programming environment for developing and executing parallel applications in distributed systems. The user is spared complexities of distributed programming including remote execution, data representation, ...
    • Stopping Times of Distributed Consensus Protocols: A Probabilistic Analysis 

      Babaoglu, Ozalp (Cornell University, 1986-05)
      Given a model where each processor remains correct for an exponentially distributed random time and then fails independently of the others, we characterize system executions that permit the processors to reach consensus. ...
    • Streets of Byzantium: Network Architecture for Fast Reliable Broadcasts 

      Babaoglu, Ozalp; Drummond, Rogerio (Cornell University, 1985-06)
      A site broadcasting its local value to all other sites in a fault-prone environment is a fundamental paradigm in constructing reliable distributed systems. Time complexity lower bounds and network connectivity requirements ...
    • Time-Communication Tradeoffs for Reliable Broadcast Protocols 

      Babaoglu, Ozalp; Drummond, Rogerio (Cornell University, 1985-06)
      In the Reliable Broadcast Problem, a processor disseminates a value to all other processors in a distributed system where both processors and communication components are subject to failures. Solutions to this Reliable ...
    • Tools and Techniques for Adding Fault Tolerance to Distributed and Parallel Programs 

      Babaoglu, Ozalp (Cornell University, 1991-12)
      The scale of parallel computing systems is rapidly approaching dimensions where fault tolerance can no longer be ignored. No matter how reliable the individual components may be, the complexity of these systems results ...