3441 search results - page 222 / 689 » Parallel Logic Programming Systems |
140
click to vote
ECOOP
1995
Springer
15 years 6 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
128
click to vote
HPCA
1995
IEEE
15 years 6 months ago
1995
IEEE
Information on the behavior of programs is essential for deciding the number and nature of functional units in high performance architectures. In this paper, we present studies on...
ENTCS
2008
15 years 3 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
113
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Support for optimistic parallelism such as thread-level speculation (TLS) and transactional memory (TM) has been proposed to ease the task of parallelizing software to exploit the...
105
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
This paper addresses the problem of reducing unnecessary conflicts in optimistic synchronization. Optimistic synchronization must ensure that any two concurrently executing trans...