613 search results - page 7 / 123 » An analysis framework for network-code programs |
101
Voted
SC
2000
ACM
15 years 1 months ago
2000
ACM
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...
IWOMP
2007
Springer
15 years 3 months ago
2007
Springer
The paper presents a compiler framework for analyzing and optimizing OpenMP programs. The framework includes Parallel Control Flow Graph and Parallel Data Flow equations based on t...
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
LOPSTR
2009
Springer
15 years 4 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
TON
2012
13 years 1 days ago
2012
—The deployment of cognitive radio networks enables efficient spectrum sharing and opportunistic spectrum access. It also presents new challenges to the classical problem of int...