Search Sciweavers | Sciweavers

15784 search results - page 524 / 3157

» Mega Software Engineering

135

click to vote

VMCAI
2010
Springer

143views Software Engineering» more VMCAI 2010»

An Abstract Domain to Discover Interval Linear Equalities

16 years 4 months ago

Download www.di.ens.fr

Liqian Chen, Antoine Miné, Ji Wang, Patrick...

claim paper

Read More »

175

click to vote

ESSOS
2010
Springer

160views Software Engineering» more ESSOS 2010»

Model-Driven Security Policy Deployment: Property Oriented Approach

16 years 3 months ago

Download deic.uab.es

Stere Preda, Nora Cuppens-Boulahia, Fréd&ea...

claim paper

Read More »

134

click to vote

ISPASS
2010
IEEE

174views Software Engineering» more ISPASS 2010»

Incorporating Instruction-Based Sampling into AMD CodeAnalyst

16 years 1 months ago

Download developer.amd.com

Paul J. Drongowski, Lei Yu, Frank Swehosky, Surave...

claim paper

Read More »

151

click to vote

APSEC
2009
IEEE

126views Software Engineering» more APSEC 2009»

Test Coverage Metric for Two-Staged Language with Abstract Interpretation

16 years 1 months ago

Download rosaec.snu.ac.kr

Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik,...

claim paper

Read More »

127

click to vote

CGO
2009
IEEE

116views Software Engineering» more CGO 2009»

Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers