Sciweavers

146 search results - page 2 / 30
» A Concurrent Programming Environment with Support for Distri...
Sort
View
ENTCS
2002
97views more  ENTCS 2002»
13 years 5 months ago
Plan in Maude: Specifying an Active Network Programming Language
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
Mark-Oliver Stehr, Carolyn L. Talcott
GI
2009
Springer
13 years 10 months ago
A Game-Theoretic Model for Distributed Programming by Contract
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
Anders Starcke Henriksen, Tom Hvitved, Andrzej Fil...
HPCN
1998
Springer
13 years 9 months ago
The GRED Graphical Editor for the GRADE Parallel Program Development Environment
In this paper, we describe a graphical editor GRED as part of the integrated programming environment GRADE that is intended to support designing, debugging and performance tuning o...
Péter Kacsuk, Gábor Dózsa, Ti...
SIGCSE
2002
ACM
153views Education» more  SIGCSE 2002»
13 years 5 months ago
A communication library to support concurrent programming courses
A number of communication libraries have been written to support concurrent programming. For a variety of reasons, these libraries generally are not well-suited for use in undergr...
Steve Carr, Changpeng Fang, Tim Jozwowski, Jean Ma...
IPPS
1999
IEEE
13 years 10 months ago
Developing Parallel Applications Using the JAVAPORTS Environment
The JavaPorts system is an environment that facilitates the rapid development of modular, reusable, Java-based parallel and distributed applications for networked machines with het...
Demetris G. Galatopoullos, Elias S. Manolakos