This papers analyzes the particular requirements that multimedia communication imposes on the network adapter and on the I/O subsystem of a workstation. An adapter architecture is developed that is specially suited for multimedia communication. The key ideas are the separation of isochronous and asynchronous traffic and the execution of per-byte protocol operations on the adapter. The adapter d...

The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementations of virtual synchrony usually require the use of failure detectors and failure recovery protocols. In applications that require the use of a large number of groups, signi cant performance gains can be attained if these groups share the resources required...

Burstiness in data traffic is emerging as a critical property that protocol analysis can no longer ignore. To preserve the kind of burstiness or scaling phenomena observed in aggregated TCP traffic, we develop a behavioral model that captures TCP’s windowbased and closed-loop control. Through a novel modeling technique – exhaustive state exploration, we systematically examine each TCP states ov...

This paper shows that it is possible to build a system with Semantic Desktop functionality — the annotation and linking of desktop data across application boundaries, and the usage of such links to achieve new ways of organizing and finding data in a meaningful way — in a very simple and light-weight fashion. Instead of building an extensive and feature-rich system from scratch, we harness the ...

Most data managed by existing, real-world database applications is time referenced. Data warehouses are good examples. Often, two temporal aspects of data are of interest, namely valid time, when data is true in the mini-world, and transaction time, when data is current in the database, resulting in so-called bitemporal data. Like spatial data, bitemporal data thus has associated two-dimensiona...

We have developed a veriication framework that combines deductive reasoning, general purpose decision procedures, and domain-speciic reasoning. This paper describes this framework and presents a case study in which we veriied a SRT divider circuit. Our proof starts with a high-level description of the SRT algorithm on rational numbers. We veriied the correctness of the algorithm. With a sequenc...

Recently, the notion of an array-based system has been introduced as an abstraction of infinite state sys-tems (such as mutual exclusion protocols or sorting programs) which allows for model checking of invariant(safety) and recurrence (liveness) properties by Satisfiability Modulo Theories (SMT) techniques. Unfortu-nately, the use of quantified first-order formulae to describe sets...

We present a simple tool that enables the computer to read subtitles of movies and TV shows aloud. The tool extracts information from subtitle files, which can be freely downloaded or extracted from a DVD, and reads the text aloud through a speech synthesizer. The target audience is people who have trouble reading subtitles while watching a movie, for example people with visual impairments and ...

An overview is given of a light weight Object Oriented OO multi database system named AMOS II Object Oriented multi database queries and views can be de ned where external data sources of di erent kinds are translated through AMOS II and integrated through its OOmediation primitives Through its multi database facilities many distributed AMOS II systems can inter operate Since most data reside i...

Incisional hernias remain one of the most common surgical complications with a long-term incidence of 10-20%. Increasing evidence of impaired wound healing in these patients supports routine use of an open prefascial, retromuscular mesh repair. Basic pathophysiologic principles dictate that for a successful long-term outcome and prevention of recurrence, a wide overlap underneath healthy tissue...