4719 search results - page 548 / 944 » Newtonian program analysis |
195
Voted
LCPC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
192
Voted
IEEEPACT
2005
IEEE
16 years 14 days ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
191
Voted
CC
2005
Springer
16 years 12 days ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
207
click to vote
PPDP
2005
Springer
16 years 10 days ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
160
Voted
CIA
2000
Springer
15 years 11 months ago
2000
Springer
Recent years have seen dramatic and sustained growth in the amount of genomic data being generated, including in late 1999 the first complete sequence of a human chromosome. The c...