1714 search results - page 241 / 343 » Abstract Models of Memory Management |
123
click to vote
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
113
click to vote
SAMOS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Embedded systems are special purpose systems which perform predefined tasks with very specific requirements like high performance, low volume or low power. Most of the ...
128
click to vote
PAKDD
2010
ACM
15 years 8 months ago
2010
ACM
Abstract. Mining of data streams must balance three evaluation dimensions: accuracy, time and memory. Excellent accuracy on data streams has been obtained with Naive Bayes Hoeffdi...
113
click to vote
RT
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. An algorithm for simulating diffuse interreflection in complex three dimensional scenes is described. It combines techniques from hierarchical radiosity and multiresolut...
136
click to vote
FMCAD
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...