Sciweavers

5790 search results - page 521 / 1158
» Distributed programming with distributed authorization
Sort
View
CAIP
1995
Springer
155views Image Analysis» more  CAIP 1995»
15 years 10 months ago
A Proposal for the Implementation of a Parallel Watershed Algorithm
In this paper a parallel implementation of a watershed algorithm is proposed. The algorithm is designed for a ring-architecture with distributed memory and a piece of shared memory...
Arnold Meijster, Jos B. T. M. Roerdink
ESOP
2004
Springer
15 years 11 months ago
A Dependently Typed Ambient Calculus
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
Cédric Lhoussaine, Vladimiro Sassone
ICTAI
2003
IEEE
15 years 11 months ago
Partitioning of Temporal Planning Problems in Mixed Space Using the Theory of Extended Saddle Points
We study the partitioning of temporal planning problems formulated as mixed-integer nonlinear programming problems, develop methods to reduce the search space of partitioned subpr...
Benjamin W. Wah, Yixin Chen
146
Voted
PLDI
1999
ACM
15 years 10 months ago
Compressing Java Class Files
Java class files are often distributed as jar files, which are collections of individually compressed class files (and possibility other files). Jar files are typically about...
William Pugh
ECOOP
1998
Springer
15 years 10 months ago
Framework Design for End-to-End Optimization
Framework optimizations capitalize on object dependencies, while framework flexibility and composability demand object independence. This paper shows how to balance these conflicti...
Aamod Sane, Ashish Singhai, Roy H. Campbell