Publications

MARS (Microprogrammed Accelerator for Rapid Simulations) is an exploratory hardware accelerator which has been microcoded to implement two logic simulators, namely, unit and multiple delay simulato

In this paper, we will describe fast and accurate logic simulation algorithms that are specially suited for pipelined accelerator architectures.

l.i Applications A digital comparator compares two numbers presented in digital form and obtains a measure of the difference between them.

(Title Originally issued as MCC: A Model Checker for Distributed Applications Written in C) Mcc consists of two parts: a model extractor and a verification engine.

The emergence of embedded machine learning has enabled the migration of intelligence from the cloud to the edge and to the sensors.

We study relations on trees defined by first-order constraints over a vocabulary that includes the tree extension relation T T' (holding if and only if every branch of T extends to a branch of T')

Distributed Online Social Networks (DOSNs) have recently been proposed to shift the control over user data from a unique entity to the users of the DOSN themselves.

This paper presents a survey of implementation of logical time in asynchronous distributed systems.

In this paper, problems of logical time in asynchronous distributed systems are surveyed.

In this paper, we study the expressive power of counting logics in the presence of auxiliary relations such as orders and preorders.