3441 search results - page 447 / 689 » Parallel Logic Programming Systems |
129
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
174
click to vote
EUROPAR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Traditional parallel programming methodologies for improving performance assume cache-based parallel systems. However, new architectures, like the IBM Cyclops-64 (C64), b...
140
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
152
click to vote
POPL
2012
ACM
14 years 13 days ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
256
Voted
POPL
2006
ACM
16 years 5 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...