174 search results - page 29 / 35 » Automatic Parallelization with Separation Logic |
LACL
2001
Springer
14 years 26 days ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
EUROPAR
2009
Springer
14 years 3 months ago
2009
Springer
Massively Multiplayer Online Games (MMOGs) currently entertain millions of players daily. To keep these players online and generate revenue, MMOGs are currently relying on manually...
CLUSTER
2005
IEEE
14 years 2 months ago
2005
IEEE
The amount of data collected and stored in databases is growing considerably for almost all areas of human activity. Processing this amount of data is very expensive, both humanly...
IEEEPACT
2005
IEEE
14 years 2 months ago
2005
IEEE
Helper threading is a technique that utilizes a second core or logical processor in a multi-threaded system to improve the performance of the main thread. A helper thread executes...
COORDINATION
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...