2114 search results - page 133 / 423 » A model of cooperative threads |
SPIN
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
JAVA
1999
Springer
14 years 2 months ago
1999
Springer
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. The Java memory model is hard to interp...
ICMCS
2007
IEEE
13 years 10 months ago
2007
IEEE
Near-duplicate keyframe retrieval is a critical task for video similarity measure, video threading and tracking. In this paper, instead of using expensive point-to-point matching ...
CONCURRENCY
2000
13 years 10 months ago
2000
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. This chapter is hard to interpret and po...
SIMULATION
1998
13 years 9 months ago
1998
Setting up a simulation model is more than writing down state equations and running them on a computer. A lot of conceptual information about the physics and engineering aspects o...