Sciweavers

1492 search results - page 160 / 299
» Concurrent programming in VISO
Sort
View
107
Voted
IFL
2004
Springer
15 years 6 months ago
A Virtual Machine for Functional Logic Computations
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
Sergio Antoy, Michael Hanus, Jimeng Liu, Andrew P....
ECOOP
1994
Springer
15 years 4 months ago
Protection in the Guide Object-Oriented Distributed System
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
Daniel Hagimont
FMOODS
2007
15 years 2 months ago
Pict Correctness Revisited
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
Philippe Bidinger, Adriana B. Compagnoni
149
Voted
CONCURRENCY
2000
133views more  CONCURRENCY 2000»
15 years 13 days ago
OpenMP versus threading in C/C++
When comparing OpenMP to other parallel programming models, it is easier to choose between OpenMP and MPI than between OpenMP and POSIX Threads (Pthreads). With languages like C a...
Bob Kuhn, Paul Petersen, Eamonn O'Toole
CONCURRENCY
2006
112views more  CONCURRENCY 2006»
15 years 19 days ago
Implementing BPEL4WS: the architecture of a BPEL4WS implementation
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
Francisco Curbera, Rania Khalaf, William Nagy, San...