Sciweavers

3868 search results - page 492 / 774
» A Distributed Parallel Programming Framework
Sort
View
CONCUR
2000
Springer
15 years 11 months ago
An Implicitly-Typed Deadlock-Free Process Calculus
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
Naoki Kobayashi, Shin Saito, Eijiro Sumii
IPPS
1999
IEEE
15 years 11 months ago
A Factorial Performance Evaluation for Hierarchical Memory Systems
In this study, we introduce an evaluation methodology for advanced memory systems. This methodology is based on statistical factorial analysis. It is two fold: it first determines...
Xian-He Sun, Dongmei He, Kirk W. Cameron, Yong Luo
COORDINATION
1999
Springer
15 years 11 months ago
A Group Based Approach for Coordinating Active Objects
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
Juan Carlos Cruz, Stéphane Ducasse
ECOOPW
1999
Springer
15 years 11 months ago
Extending UML with Aspects: Aspect Support in the Design Phase
Aspect-Oriented Programming (AOP) has been considered ing abstraction principle to reduce the problem of code tangling and make software structure clean and configurable. This pap...
Junichi Suzuki, Yoshikazu Yamamoto
ECOOPW
1999
Springer
15 years 11 months ago
Aspect-Oriented Process Engineering
This paper describes a novel application for Aspect-Oriented Programming (AOP). By combining the concepts of Business Process Management and AOP, we present an approach for enabli...
Simon G. Thompson, Brian Odgers