Search Sciweavers | Sciweavers

4722 search results - page 106 / 945

» Representation-independent program analysis

192

click to vote

HOTOS
2007
IEEE

122views Operating System» more HOTOS 2007»

Beyond Bug-Finding: Sound Program Analysis for Linux

15 years 10 months ago

Download www.usenix.org

It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...

Zachary R. Anderson, Eric A. Brewer, Jeremy Condit...

claim paper

Read More »

142

click to vote

CGO
2004
IEEE

101views Software Engineering» more CGO 2004»

LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation

15 years 10 months ago

Download llvm.org

Chris Lattner, Vikram S. Adve

claim paper

Read More »

138

Voted

GECCO
2006
Springer

109views Optimization» more GECCO 2006»

Robustness analysis of genetic programming controllers for unmanned aerial vehicles

15 years 10 months ago

Download www.cs.bham.ac.uk

Gregory J. Barlow, Choong K. Oh

claim paper

Read More »

171

click to vote

APAQS
2001
IEEE

219views Software Engineering» more APAQS 2001»

Exception Analysis for Multithreaded Java Programs

15 years 10 months ago

Download ropas.snu.ac.kr

S. Ryu, K. Yi

claim paper

Read More »

151

click to vote

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers