127 search results - page 16 / 26 » The Interaction of Parallel Programming Constructs and Coher... |
AOSD
2006
ACM
15 years 3 months ago
2006
ACM
The goals of aspect oriented software development (AOSD) and frameworks for configurable protocols (CPs) are similar in many respects. AOSD allows the specification of crosscuttin...
99
Voted
HPCA
2011
IEEE
14 years 3 months ago
2011
IEEE
Most shared memory systems maximize performance by unpredictably resolving memory races. Unpredictable memory races can lead to nondeterminism in parallel programs, which can suff...
104
click to vote
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
92
Voted
TASE
2009
IEEE
15 years 6 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
104
click to vote
TVCG
2010
14 years 10 months ago
2010
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...