684 search results - page 13 / 137 » Compiler Tools in APL |
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a technique to visualize the communication pattern of a parallel application at different points during its execution. Unlike many existing tools that show the...
FAC
2006
13 years 9 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
WSC
1998
13 years 11 months ago
1998
In this paper, an efficient simulation environment that utilizes compiler techniques to speed up simulation is presented. The method is based on the utilization of flexible, proce...
FPL
2007
Springer
14 years 4 months ago
2007
Springer
The aim of the hArtes project is to facilitate and automate the rapid design and development of heterogeneous embedded systems, targeting a combination of a general purpose embedd...
APSEC
2001
IEEE
14 years 1 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...