Sciweavers

18 search results - page 4 / 4
» acsd 2005
Sort
View
ACSD
2005
IEEE
71views Hardware» more  ACSD 2005»
14 years 3 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»
14 years 3 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»
14 years 3 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...