Sciweavers

2904 search results - page 35 / 581
» Distributed Process Networks in Java
Sort
View
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
14 years 4 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
SIGMOD
2004
ACM
172views Database» more  SIGMOD 2004»
14 years 11 months ago
Load Management and High Availability in the Medusa Distributed Stream Processing System
Medusa [3, 6] is a distributed stream processing system based on the Aurora single-site stream processing engine [1]. We demonstrate how Medusa handles time-varying load spikes an...
Magdalena Balazinska, Hari Balakrishnan, Michael S...
UML
2005
Springer
14 years 4 months ago
Simplifying Autonomic Enterprise Java Bean Applications Via Model-Driven Development: A Case Study
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
Jules White, Douglas C. Schmidt, Aniruddha S. Gokh...
HPCN
2000
Springer
14 years 2 months ago
A Java-Based Parallel Programming Support Environment
The Java programming language and environment is stimulating new research activities in many areas of computing, not the least of which is parallel computing. Parallel techniques ...
Kenneth A. Hawick, Heath A. James
ICCD
2001
IEEE
112views Hardware» more  ICCD 2001»
14 years 7 months ago
Run-Time Execution of Reconfigurable Hardware in a Java Environment
We present tools that support the runtime execution of applications that mix software running on networks of workstations and reconfigurable hardware. We use JHDL to describe the ...
Laurie A. Smith King, Heather Quinn, Miriam Leeser...