2114 search results - page 133 / 423 » A model of cooperative threads |
99
Voted
SPIN
2005
Springer
15 years 6 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...
103
click to vote
JAVA
1999
Springer
15 years 5 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...
110
Voted
ICMCS
2007
IEEE
15 years 27 days 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 ...
110
click to vote
CONCURRENCY
2000
15 years 17 days 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...
106
Voted
SIMULATION
1998
15 years 12 days 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...