748 search results - page 46 / 150 » Time and Probability in Process Algebra |
109
click to vote
ICCAD
2004
IEEE
16 years 25 days ago
2004
IEEE
A latch-based timing analyzer is an essential tool for developing high-speed pipeline designs. As process variations increasingly influence the timing characteristics of DSM desi...
123
Voted
ICCAD
2003
IEEE
16 years 25 days ago
2003
IEEE
Static timing analysis is a critical step in design of any digital integrated circuit. Technology and design trends have led to significant increase in environmental and process v...
140
Voted
CIDR
2003
15 years 5 months ago
2003
Speculation is an every day phenomenon whereby one acts in anticipation of particular conditions that are likely to hold in the future. Computer science research has seen many suc...
116
click to vote
TIT
1998
15 years 3 months ago
1998
—In 1948 Shannon developed fundamental limits on the efficiency of communication over noisy channels. The coding theorem asserts that there are block codes with code rates arbit...
152
click to vote
TPDS
2008
15 years 3 months ago
2008
In this paper, a novel approximate link-state dissemination framework, called TROP, is proposed for shared backup path protection (SBPP) in Multi-Protocol Label Switching (MPLS) ne...