Sciweavers

192 search results - page 12 / 39
» concurrency 2002
Sort
View
ICCAD
2002
IEEE
154views Hardware» more  ICCAD 2002»
15 years 7 months ago
Concurrent flip-flop and repeater insertion for high performance integrated circuits
For many years, CMOS process scaling has allowed a steady increase in the operating frequency and integration density of integrated circuits. Only recently, however, have we reach...
Pasquale Cocchini
TVLSI
2002
102views more  TVLSI 2002»
14 years 10 months ago
Algorithm level re-computing using implementation diversity: a register transfer level concurrent error detection technique
Concurrent error detection (CED) based on time redundancy entails performing the normal computation and the re-computation at different times and then comparing their results. Time...
Ramesh Karri, Kaijie Wu
71
Voted
CONCURRENCY
2002
112views more  CONCURRENCY 2002»
14 years 10 months ago
The Virtual Service Grid: an architecture for delivering high-end network services
This paper presents the design of a novel system architecture, Virtual Service Grid (VSG), for delivering high performance network services. The VSG is based on the concept of the...
Jon B. Weissman, Byoung-Dai Lee
CONCURRENCY
2002
107views more  CONCURRENCY 2002»
14 years 10 months ago
A callgraph-based search strategy for automated performance diagnosis
Abstract. We introduce a new technique for automated performance diagnosis, using the program's callgraph. We discuss our implementation of this diagnosis technique in the Par...
Harold W. Cain, Barton P. Miller, Brian J. N. Wyli...
INFSOF
2002
85views more  INFSOF 2002»
14 years 10 months ago
A methodology of testing high-level Petri nets
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
Hong Zhu, Xudong He