This paper presents an innovative strategy to synchronize all virtual clocks in asynchronous Internet environments. Our model is based on the architecture of one reference clock a...
Tactus addresses problems of synchronizing and controlling various interactive continuous-time media. The Tactus system consists of two main parts. The first is a server that synch...
Roger B. Dannenberg, Thomas P. Neuendorffer, Josep...
Abstract. We study some mechanisms responsible for synchronous oscillations and loss of synchrony at physiologically relevant frequencies 10-200 Hz in a network of heterogeneous ...
John A. White, Carson C. Chow, Jason Ritt, Cristin...
Background: In sequence analysis the multiple alignment builds the fundament of all proceeding analyses. Errors in an alignment could strongly influence all succeeding analyses an...
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...