This paper describes a newdata structure, difference decision diagrams (DDDs), for
representing a Boolean logic over inequalities of the form xy≤ c where the variables are …

The purpose of this monograph is to provide both an introduction to eld of asynchronous
digital circuit design and an overview of the practical state of the art in 1997. In the early …

Object access distribution in the Web is governed by Zipf's law, in general. This property
leads to effective Web caches, which store the most popular objects and typically employ the …

We present the modeling mechanism employed in Metropolis, a design environment for
heterogeneous embedded systems, and a design methodology based on the mechanism …

Current approaches for analyzing timed systems are based on an explicit enumeration of the
discrete states and thus these techniques are only capable of analyzing systems with a …

This paper presents a new algorithm for efficiently verifying timed systems. The new
algorithm represents timing information using geometric regions and explores the timed …

This paper presents a new timing analysis algorithm for efficient state space exploration
during the synthesis of timed circuits or the verification of timed systems. The source of the …

This paper discusses the application of the timing analysis tool ATACS to the high
performance, self-resetting and delayed-reset domino circuits being designed at IBM's …

Volume 38-Supplement 23: Algorithms for Designing Multimedia Storage Servers to Models
and Architectures. Covering more than basic computer commands and procedures, this …

This thesis presents a framework for the speci cation and compilation of modules in a system
that uses di erent synchronization paradigms. These timed systems are described by using …