Search Sciweavers | Sciweavers

1911 search results - page 30 / 383

» Program analysis for code duplication in logic programs

click to vote

SAS
1997
Springer

103views Formal Methods» more SAS 1997»

An Algebraic Approach to Sharing Analysis of Logic Programs

14 years 18 days ago

Download www.clip.dia.fi.upm.es

Michael Codish, Vitaly Lagoon, Francisco Bueno

claim paper

Read More »

click to vote

GPEM
2002

145views more GPEM 2002»

An Analysis of the Causes of Code Growth in Genetic Programming

13 years 8 months ago

Download dynamics.org

Abstract. This research examines the cause of code growth (bloat) in genetic programming (GP). Currently there are three hypothesized causes of code growth in GP: protection, drift...

Terence Soule, Robert B. Heckendorn

claim paper

Read More »

click to vote

SCAM
2008
IEEE

215views Software Engineering» more SCAM 2008»

Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking

14 years 2 months ago

Download www.dcs.kcl.ac.uk

Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...

Lei Wang, Qiang Zhang, PengChao Zhao

claim paper

Read More »

click to vote

IPPS
1999
IEEE

131views Distributed And Parallel Com...» more IPPS 1999»

Compiler Analysis to Support Compiled Communication for HPF-Like Programs

14 years 22 days ago

Download www.cs.fsu.edu

By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...

Xin Yuan, Rajiv Gupta, Rami G. Melhem

claim paper

Read More »

click to vote

IPPS
1998
IEEE

82views Distributed And Parallel Com...» more IPPS 1998»

A Quantitative Code Analysis of Scientific Systolic Programs: DSP vs. Matrix Algorithms

14 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers