2875 search results - page 439 / 575 » Distributed Reactive Machines |
169
click to vote
CL
2002
Springer
15 years 3 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
145
Voted
PC
2007
15 years 3 months ago
2007
Parallel volume rendering is one of the most efficient techniques to achieve real time visualization of large datasets by distributing the data and the rendering process over a c...
142
click to vote
PPSN
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The game of Go has attracted much attention from the artificial intelligence community. A key feature of Go is that humans begin to learn on a small board, and then incr...
119
click to vote
SIGOPS
2010
15 years 2 months ago
2010
Storage systems in emerging large-scale (a.k.a. peta-scale) computing systems often introduce a performance or scalability bottleneck. To deal with these limitations we propose a ...
161
click to vote
CLOUDCOM
2010
Springer
15 years 2 months ago
2010
Springer
Inspired by Darwinian evolution, a genetic algorithm (GA) approach is one of the popular heuristic methods for solving hard problems, such as the Job Shop Scheduling Problem (JSSP...