Sciweavers

4722 search results - page 112 / 945

» Representation-independent program analysis

99

BIOINFORMATICS
2004

73views more BIOINFORMATICS 2004»

2LD, GENECOUNTING and HAP: computer programs for linkage disequilibrium analysis

15 years 4 months ago

2LD, GENECOUNTING and HAP: computer programs for linkage disequilibrium analysis

Download www.mrc-epid.cam.ac.uk

Jing Hua Zhao

claim paper

Read More »

112

Voted

CORR
2000
Springer

63views Education» more CORR 2000»

Termination analysis of logic programs using acceptability with general term orders

15 years 4 months ago

Termination analysis of logic programs using acceptability with general term orders

Download www.cs.kuleuven.ac.be

Alexander Serebrenik, Danny De Schreye

claim paper

Read More »

90

Voted

JISE
2000

68views more JISE 2000»

Flow Analysis of Class Relationships for Object-Oriented Programs

15 years 4 months ago

Flow Analysis of Class Relationships for Object-Oriented Programs

Download www.iis.sinica.edu.tw

Jiun-Liang Chen, Feng-Jian Wang

claim paper

Read More »

108

Voted

PPL
2002

106views more PPL 2002»

Automated Cost Analysis of a Parallel Maximum Segment Sum Program Derivation

15 years 4 months ago

Automated Cost Analysis of a Parallel Maximum Segment Sum Program Derivation

Download homepages.inf.ed.ac.uk

Yasushi Hayashi, Murray Cole

claim paper

Read More »

99

TOSEM
2002

60views more TOSEM 2002»

Equivalence analysis and its application in improving the efficiency of program slicing

15 years 4 months ago

Equivalence analysis and its application in improving the efficiency of program slicing

Download www-users.cs.umn.edu

Donglin Liang, Mary Jean Harrold

claim paper

Read More »

« Prev « First page 112 / 945 Last » Next »