16568 search results - page 2994 / 3314 » Structured Data on the Web |
132
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
— Buffer insertion is an effective technique to reduce interconnect delay. In this paper, we give a simple O(mn) time algorithm for optimal buffer insertion, where m is the numbe...
117
click to vote
CSCW
2006
ACM
15 years 10 months ago
2006
ACM
Despite their rapid proliferation, there has been little examination of the coordination and social practices of cyberinfrastructure projects. We use the notion of "human inf...
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Silicon technology based nonvolatile memories (NVM) have achieved widespread adoption for code and data storage applications. In the last 30 years, the traditional floating gate ...
120
click to vote
ERLANG
2006
ACM
15 years 10 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
145
click to vote
GRAPHITE
2006
ACM
15 years 10 months ago
2006
ACM
Retargeting and interpolation methods may introduce physical inaccuracies in virtual human animation. This paper presents a method for evaluating the dynamical correctness of reta...