3868 search results - page 224 / 774 » A Distributed Parallel Programming Framework |
156
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
156
click to vote
IEEEPACT
2007
IEEE
16 years 24 days ago
2007
IEEE
Transactional Memory (TM) simplifies parallel programming by supporting atomic and isolated execution of user-identified tasks. To date, TM programming has required the use of l...
278
click to vote
CONCUR
2011
Springer
14 years 6 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
164
click to vote
PDP
2010
IEEE
16 years 1 months ago
2010
IEEE
—Multicore nodes have become ubiquitous in just a few years. At the same time, writing portable parallel software for multicore nodes is extremely challenging. Widely available p...
157
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
: The Open Reflective Component Architecture (ORCAN) is a component based software platform for Simulation software. It enables to build applications out of runtime exchangeable co...