112
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents a model reduction algorithm motivated by a connection between frequency domain projection methods and approximation of truncated balanced realizations. The met...
121
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
A challenge facing designers of systems on chip (SoC) containing networks on chip (NoC) is to find NoC instances that balance the cost (e.g. area) and performance (e.g. latency an...
129
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we explore the requirements of emerging complex SoC's and describe StepNP, an experimental flexible, multi-processor SoC platform targeted towards communicatio...
109
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we propose a simple technique for estimating the standard deviation of a Gaussian random jitter component in a multi-gigahertz signal. This method may utilize exist...
147
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...