11214 search results - page 1940 / 2243 » Just-in-time data structures |
123
click to vote
DAC
2006
ACM
16 years 22 days 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 ...
155
click to vote
ERLANG
2006
ACM
16 years 22 days 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 ...
193
click to vote
GRAPHITE
2006
ACM
16 years 22 days 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...
194
click to vote
HASKELL
2006
ACM
16 years 22 days 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...
192
click to vote
IMC
2006
ACM
16 years 22 days ago
2006
ACM
A key step in the semantic analysis of network traffic is to parse the traffic stream according to the high-level protocols it contains. This process transforms raw bytes into s...