Search Sciweavers | Sciweavers

6248 search results - page 61 / 1250

» Programming in a data factory

121

click to vote

EMSOFT
2004
Springer

70views Software Engineering» more EMSOFT 2004»

Reducing program image size by extracting frozen code and data

15 years 11 months ago

Download www.cc.gatech.edu

Daniel Citron, Gadi Haber, Roy Levin

claim paper

Read More »

114

click to vote

EUROGP
2003
Springer

117views Optimization» more EUROGP 2003»

Genetic Programming for Attribute Construction in Data Mining

15 years 11 months ago

Download www.cs.bham.ac.uk

Fernando E. B. Otero, Monique M. S. Silva, Alex Al...

claim paper

Read More »

138

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

15 years 10 months ago

Download www.cse.ohio-state.edu

Peter W. O'Hearn, John C. Reynolds, Hongseok Yang

claim paper

Read More »

109

Voted

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

15 years 10 months ago

Download www.nbuv.gov.ua

Nikolaj S. Nikitchenko

claim paper

Read More »

141

click to vote

ADAEUROPE
2000
Springer

75views Software Engineering» more ADAEUROPE 2000»

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers