Sciweavers

1204 search results - page 48 / 241
» Parallel concurrent ML
Sort
View
CONCUR
2006
Springer
15 years 8 months 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
146
Voted
ICDCS
1997
IEEE
15 years 8 months ago
Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects
—This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objec...
Robert E. Strom, Guruduth Banavar, Kevan Miller, A...
HICSS
1994
IEEE
155views Biometrics» more  HICSS 1994»
15 years 8 months ago
Concurrent Simulation and Control of Robot Tasks
In the area of telerobotics, where remote systems are to be controlled, it is helpful to plan subsequent operations based on as much relevant data as possible. The simulation of t...
Ulrich Mehlhaus
COORDINATION
2006
Springer
15 years 8 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...
CAL
2006
15 years 4 months ago
From sequential programs to concurrent threads
Chip multiprocessors are of increasing importance due to recent difficulties in achieving higher clock frequencies in uniprocessors, but their success depends on finding useful wor...
Guilherme Ottoni, Ram Rangan, Adam Stoler, Matthew...