Search Sciweavers | Sciweavers

15777 search results - page 372 / 3156

» Engineering in Software

137

click to vote

AMAST
2006
Springer

115views Software Engineering» more AMAST 2006»

Opaque Predicates Detection by Abstract Interpretation

15 years 10 months ago

Download profs.sci.univr.it

Mila Dalla Preda, Matias Madou, Koen De Bosschere,...

claim paper

Read More »

119

click to vote

EMSOFT
2006
Springer

73views Software Engineering» more EMSOFT 2006»

Energy-efficient dynamic memory allocators at the middleware level of embedded systems

15 years 10 months ago

Download www.artist-embedded.org

Stylianos Mamagkakis, David Atienza, Christophe Po...

claim paper

Read More »

149

click to vote

IWSM
2000
Springer

79views Software Engineering» more IWSM 2000»

A Generic Model for Assessing Process Quality

15 years 10 months ago

Download eprints.ecs.soton.ac.uk

Manoranjan Satpathy, Rachel Harrison, Colin F. Sno...

claim paper

Read More »

136

click to vote

TACS
1991
Springer

99views Software Engineering» more TACS 1991»

An Abstract Interpretation for ML Equality Kinds

15 years 10 months ago

Download www.ircs.upenn.edu

Carl A. Gunter, Elsa L. Gunter, David B. MacQueen

claim paper

Read More »

133

click to vote

ISSTA
2010
ACM

168views Software Engineering» more ISSTA 2010»

Generating test cases for specification mining

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers