Search Sciweavers | Sciweavers

4722 search results - page 106 / 945

» Representation-independent program analysis

131

click to vote

HOTOS
2007
IEEE

122views Operating System» more HOTOS 2007»

Beyond Bug-Finding: Sound Program Analysis for Linux

15 years 7 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 »

101

click to vote

CGO
2004
IEEE

101views Software Engineering» more CGO 2004»

LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation

15 years 6 months ago

Download llvm.org

Chris Lattner, Vikram S. Adve

claim paper

Read More »

click to vote

GECCO
2006
Springer

109views Optimization» more GECCO 2006»

Robustness analysis of genetic programming controllers for unmanned aerial vehicles

15 years 6 months ago

Download www.cs.bham.ac.uk

Gregory J. Barlow, Choong K. Oh

claim paper

Read More »

117

click to vote

APAQS
2001
IEEE

219views Software Engineering» more APAQS 2001»

Exception Analysis for Multithreaded Java Programs

15 years 6 months ago

Download ropas.snu.ac.kr

S. Ryu, K. Yi

claim paper

Read More »

103

click to vote

APSEC
2001
IEEE

103views Software Engineering» more APSEC 2001»

Cost Analysis of Games, Using Program Logic

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers