6152 search results - page 954 / 1231 » A distributed architecture for MMORPG |
190
click to vote
SPIN
2004
Springer
16 years 2 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
180
click to vote
ASAP
2003
IEEE
16 years 17 hour ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...
188
click to vote
IPPS
2003
IEEE
16 years 2 hour ago
2003
IEEE
The available Instruction Level Parallelism in Java bytecode (Java-ILP) is not readily exploitable using traditional in-order or out-of-order issue mechanisms due to dependencies ...
172
click to vote
IPPS
2003
IEEE
16 years 2 hour ago
2003
IEEE
Widespread adaptation of shared memory programming for High Performance Computing has been inhibited by a lack of standardization and the resulting portability problems between pl...
250
click to vote
PPOPP
2003
ACM
15 years 12 months ago
2003
ACM
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...