174 search results - page 12 / 35 » Automatic Parallelization with Separation Logic |
157
click to vote
HPDC
1998
IEEE
15 years 10 months ago
1998
IEEE
PAWS (Parallel Application WorkSpace) is a software infrastructure for use in connecting separate parallel applications within a component-like model. A central PAWS Controller co...
153
Voted
ECOOPW
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Classification is a central concept in object-oriented approaches such as object-oriented programming, object-oriented knowledge representation systems (including descrip...
170
click to vote
MIDDLEWARE
2009
Springer
16 years 11 days ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
177
click to vote
JAVA
2001
Springer
15 years 10 months ago
2001
Springer
CX, a network-based computational exchange, is presented. The system’s design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks, e...
144
Voted
PDCAT
2007
Springer
15 years 12 months ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...