Search Sciweavers | Sciweavers

6248 search results - page 61 / 1250

» Programming in a data factory

click to vote

EMSOFT
2004
Springer

70views Software Engineering» more EMSOFT 2004»

Reducing program image size by extracting frozen code and data

14 years 3 months ago

Download www.cc.gatech.edu

Daniel Citron, Gadi Haber, Roy Levin

claim paper

Read More »

click to vote

EUROGP
2003
Springer

117views Optimization» more EUROGP 2003»

Genetic Programming for Attribute Construction in Data Mining

14 years 3 months ago

Download www.cs.bham.ac.uk

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

claim paper

Read More »

click to vote

CSL
2001
Springer

135views Automated Reasoning» more CSL 2001»

Local Reasoning about Programs that Alter Data Structures

14 years 2 months ago

Download www.cse.ohio-state.edu

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

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

14 years 2 months ago

Download www.nbuv.gov.ua

Nikolaj S. Nikitchenko

claim paper

Read More »

click to vote

ADAEUROPE
2000
Springer

75views Software Engineering» more ADAEUROPE 2000»

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers