4809 search results - page 238 / 962 » CajunBot: Architecture and algorithms |
153
click to vote
DAC
1989
ACM
15 years 10 months ago
1989
ACM
In this paper we propose algorithms for performing DRC on a bitmapped layout altd developspecial purpose architecture for its implementation. we Use window scan method, with flexib...
153
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
164
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
eriodically time-varying (LPTV) abstractions are useful for a variety of communication and computer subsystems. In this paper, we present a novel operator-based model-order reduct...
155
click to vote
ICIAP
2003
ACM
16 years 6 months ago
2003
ACM
We propose a Dynamic Face Recognition Committee Machine (DFRCM) consisting of five well-known state-of-the-art algorithms in this paper. In previous work, we have developed a stat...
191
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Abstract: In this paper, we present an interprocessor communication-aware task scheduling algorithm applicable to a multiprocessor system executing an application with dependent ta...