Sciweavers

18 search results - page 4 / 4
» acsd 2005
Sort
View
ACSD
2005
IEEE
71views Hardware» more  ACSD 2005»
13 years 11 months ago
Two-Phase Distributed Observation Problems
We introduce and study problems of distributed observation with bounded or unbounded memory. We are given a system modeled as a finite-word language L over some finite alphabet ...
Stavros Tripakis
ACSD
2005
IEEE
144views Hardware» more  ACSD 2005»
13 years 11 months ago
An Automated Fine-Grain Pipelining Using Domino Style Asynchronous Library
Register Transfer Level (RTL) synthesis model which simplified the design of clocked circuits allowed design automation boost and VLSI progress for more than a decade. Shrinking t...
Alexander B. Smirnov, Alexander Taubin, Ming Su, M...
ACSD
2005
IEEE
90views Hardware» more  ACSD 2005»
13 years 11 months ago
Extensible and Scalable Time Triggered Scheduling
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...
Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanaja...