11231 search results - page 1912 / 2247 » Digging for Data Structures |
107
Voted
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 ...
115
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 ...
136
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...
136
click to vote
HASKELL
2006
ACM
15 years 10 months ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...