6808 search results - page 1148 / 1362 » Distributed Concurrency Control |
164
click to vote
LCPC
2007
Springer
16 years 19 days 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...
161
click to vote
PVM
2007
Springer
16 years 18 days 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...
146
click to vote
SAS
2007
Springer
16 years 18 days 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...
162
click to vote
SSS
2007
Springer
16 years 18 days 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...
175
click to vote
ANSS
2006
IEEE
16 years 17 days 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...