2673 search results - page 362 / 535 » Guided Static Analysis |
123
click to vote
APL
1998
ACM
15 years 9 months ago
1998
ACM
This article describes how array predicates were used to reduce the computational complexity of four APL primitive functions when one of their arguments is a permutation vector. T...
129
click to vote
IPPS
1996
IEEE
15 years 9 months ago
1996
IEEE
A model for virtual memory in a distributed memory parallel computer is proposed. It uses a novel parallel computing operating system framework and leads to the definition of two ...
126
click to vote
IWPC
1996
IEEE
15 years 9 months ago
1996
IEEE
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, proce...
139
click to vote
FPGA
1997
ACM
15 years 9 months ago
1997
ACM
Circuit specialization techniques such as constant propagation are commonly used to reduce both the hardware resources and cycle time of digital circuits. When recon gurable FPGAs...
132
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...