Sciweavers

2466 search results - page 129 / 494
» Concurrent Clustered Programming
Sort
View
CSL
1989
Springer
14 years 29 days ago
Algebraic Operational Semantics and Occam
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to ...
Yuri Gurevich, Lawrence S. Moss
CONCUR
2006
Springer
14 years 19 days ago
A Language for Task Orchestration and Its Semantic Properties
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. ...
David Kitchin, William R. Cook, Jayadev Misra
SFP
2003
13 years 10 months ago
FSM-Hume is finite state
Abstract Hume is a domain-specific programming language targeting resourcebounded computations. It is based on generalised concurrent bounded automata, controlled by transitions c...
Greg Michaelson, Kevin Hammond, Jocelyn Sér...
SCP
2002
119views more  SCP 2002»
13 years 8 months ago
Polymorphic subtyping in O'Haskell
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...
Johan Nordlander
CCGRID
2010
IEEE
13 years 10 months ago
An MPI-Stream Hybrid Programming Model for Computational Clusters
The MPI programming model hides network type and topology from developers, but also allows them to seamlessly distribute a computational job across multiple cores in both an intra ...
Emilio Pasquale Mancini, Gregory Marsh, Dhabaleswa...