Sciweavers

7430 search results - page 312 / 1486
» Programming Applications in CIFF
Sort
View
ECOOP
2007
Springer
15 years 11 months ago
A Machine Model for Aspect-Oriented Programming
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...
Michael Haupt, Hans Schippers
149
Voted
ICAS
2006
IEEE
143views Robotics» more  ICAS 2006»
15 years 11 months ago
Towards Autonomic Distribution of Existing Object Oriented Programs
By harnessing computational power of distributed heterogeneous resources, it is possible to build a large scale integrated system so that a centralized program is partitioned and ...
Debzani Deb, M. Muztaba Fuad, Michael J. Oudshoorn
ISSRE
2005
IEEE
15 years 10 months ago
An Experimental Evaluation on Reliability Features of N-Version Programming
Although N-version programming has been employed in some mission-critical applications, the reliability and fault correlation issues remain a debatable topic in the research commu...
Xia Cai, Michael R. Lyu, Mladen A. Vouk
SBACPAD
2005
IEEE
177views Hardware» more  SBACPAD 2005»
15 years 10 months ago
Automatic Data-Flow Graph Generation of MPI Programs
The Data-Flow Graph (DFG) of a parallel application is frequently used to take scheduling decisions, based on the information that it models (dependencies among the tasks and volu...
Rafael Ennes Silva, Guilherme P. Pezzi, Nicolas Ma...
ESOP
2005
Springer
15 years 10 months ago
Determinacy Inference for Logic Programs
This paper presents a determinacy inference analysis for logic programs. The analysis infers determinacy conditions that, if satisfied by a call, ensures that it computes at most ...
Lunjin Lu, Andy King