226 search results - page 13 / 46 » Compiler Analysis to Support Compiled Communication for HPF-... |
109
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
Current taint tracking systems suffer from high overhead and a lack of generality. In this paper, we solve both of these issues with an extensible system that is an order of magni...
137
Voted
ISSTA
1993
ACM
15 years 6 months ago
1993
ACM
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software. Unfortunately, current automated mutation analysis syste...
114
Voted
HIPS
1998
IEEE
15 years 7 months ago
1998
IEEE
The NPAC kernel runtime, developed in the PCRC Parallel Compiler Runtime Consortium project, is a runtime library with special support for the High Performance Fortran data model....
118
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
148
Voted
CASES
2005
ACM
15 years 4 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...