1491 search results - page 142 / 299 » Resource-Passing Concurrent Programming |
133
Voted
CL
2010
Springer
15 years 22 days ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
113
Voted
ISCA
2008
IEEE
15 years 18 days ago
2008
IEEE
Current hardware transactional memory systems seek to simplify parallel programming, but assume that large transactions are rare, so it is acceptable to penalize their performance...
124
click to vote
ENTCS
2007
15 years 17 days ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
100
Voted
ENTCS
2002
15 years 12 days ago
2002
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
123
click to vote
CJ
2010
14 years 10 months ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...