Sciweavers

4800 search results - page 441 / 960
» OO Distributed Programming is Not Distributed OO Programming
Sort
View
HPDC
1999
IEEE
15 years 8 months ago
Process Hijacking
Process checkpointing is a basic mechanism required for providing High Throughput Computing service on distributively owned resources. We present a new process checkpoint and migr...
Victor C. Zandy, Barton P. Miller, Miron Livny
CSL
1989
Springer
15 years 8 months 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
ENTCS
2006
146views more  ENTCS 2006»
15 years 4 months ago
Relating State-Based and Process-Based Concurrency through Linear Logic
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
Iliano Cervesato, Andre Scedrov
IJBI
2010
62views more  IJBI 2010»
14 years 11 months ago
Size Functions for the Morphological Analysis of Melanocytic Lesions
Size Functions and Support Vector Machines are used to implement a new automatic classifier of melanocytic lesions. This is mainly based on a qualitative assessment of asymmetry, ...
Massimo Ferri, Ignazio Stanganelli
254
Voted
ICFP
2009
ACM
16 years 5 months ago
A concurrent ML library in concurrent Haskell
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...
Avik Chaudhuri