5005 search results - page 265 / 1001 » The Design and Analysis of Parallel Algorithms |
132
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Recent study shows that the existing first order canonical timing model is not sufficient to represent the dependency of the gate delay on the variation sources when processing an...
144
click to vote
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
150
click to vote
TCAD
2008
15 years 4 months ago
2008
Latency-insensitive protocols allow system-on-chip (SoC) engineers to decouple the design of the computing cores from the design of the intercore communication channels while follo...
132
click to vote
ISSS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents a novel source-level dynamic analysis methodology and tool for High-Level Synthesis (HLS). It not only for the first time enables HLS to offer source-level de...
112
click to vote
EVOW
1999
Springer
15 years 9 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...