6808 search results - page 1148 / 1362 » Distributed Concurrency Control |
124
Voted
LCPC
2007
Springer
15 years 9 months ago
2007
Springer
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...
128
Voted
PVM
2007
Springer
15 years 9 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
110
Voted
SAS
2007
Springer
15 years 9 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
120
Voted
SSS
2007
Springer
15 years 9 months ago
2007
Springer
We introduce a new abstract system, called the truth system. In the truth system, a process deduces a true value, with high probability, from an incoming stream of both true and fa...
145
Voted
ANSS
2006
IEEE
15 years 9 months ago
2006
IEEE
Simulation lag is a known issue in networked virtual environments where users are geographically distributed. When users collaborate across the network using haptics, there are al...