7576 search results - page 302 / 1516 » UNIX as an Application Program |
163
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
161
click to vote
ECOOP
2007
Springer
16 years 26 days ago
2007
Springer
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 ...
190
click to vote
ICAS
2006
IEEE
16 years 22 days ago
2006
IEEE
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 ...
130
click to vote
ISSRE
2005
IEEE
16 years 8 days ago
2005
IEEE
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...
185
click to vote
SBACPAD
2005
IEEE
16 years 8 days ago
2005
IEEE
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...