Search Sciweavers | Sciweavers

4880 search results - page 52 / 976

» Manuals as Structured Programs

click to vote

GECCO
2009
Springer

114views Optimization» more GECCO 2009»

Graph structured program evolution with automatically defined nodes

15 years 7 months ago

Download www.nlab.sogo1.ynu.ac.jp

Shinichi Shirakawa, Tomoharu Nagao

claim paper

Read More »

click to vote

FORTE
2007

58views Formal Methods» more FORTE 2007»

State Isomorphism in Model Programs with Abstract Data Structures

15 years 4 months ago

Download research.microsoft.com

Margus Veanes, Juhan P. Ernits, Colin Campbell

claim paper

Read More »

101

click to vote

FMOODS
2008

114views Formal Methods» more FMOODS 2008»

Sessions and Pipelines for Structured Service Programming

15 years 4 months ago

Download www.di.unipi.it

Michele Boreale, Roberto Bruni, Rocco De Nicola, M...

claim paper

Read More »

click to vote

VISAPP
2008

179views Computer Vision» more VISAPP 2008»

Simple but Effective Tree Structures for Dynamic Programming-Based Stereo Matching

15 years 4 months ago

Download www.ims.tuwien.ac.at

Michael Bleyer, Margrit Gelautz

claim paper

Read More »

112

click to vote

IFIP12
2004

91views Information Technology» more IFIP12 2004»

Diagnosing Java Programs with Static Abstractions of Data Structures

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers