54 search results - page 7 / 11 » Proving Copyless Message Passing |
283
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...
175
Voted
RSP
1999
IEEE
15 years 10 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
188
click to vote
CCGRID
2004
IEEE
15 years 9 months ago
2004
IEEE
Despite recent developments in higher-level middleware for the Grid supporting high level of ease-of-programming, hurdles for widespread adoption of Grids remain high, due to (1) ...
173
click to vote
ECOOP
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
155
click to vote
AAAI
2008
15 years 8 months ago
2008
Unifying first-order logic and probability is a long-standing goal of AI, and in recent years many representations combining aspects of the two have been proposed. However, infere...