1206 search results - page 82 / 242 » Concurrent Abstract Predicates |
ICESS
2007
Springer
15 years 6 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
87
Voted
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Concurrency is an attractive property of a language to exploit multi-CPU hardware or perform multiple tasks concurrently. In recent years we see Prolog systems experiment...
139
click to vote
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
86
Voted
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent features inspired by the join-calculus. We...
95
Voted
ISIM
2007
15 years 2 months ago
2007
Abstract. In this paper we presentperformancemeasurementsin a cluster environment. First, we briefly explain our version of optimistic concurrency control and load balance.Then we ...