Search Sciweavers | Sciweavers

6248 search results - page 64 / 1250

» Programming in a data factory

113

click to vote

FORTE
2007

58views Formal Methods» more FORTE 2007»

State Isomorphism in Model Programs with Abstract Data Structures

15 years 7 months ago

Download research.microsoft.com

Margus Veanes, Juhan P. Ernits, Colin Campbell

claim paper

Read More »

141

click to vote

IFIP12
2004

91views Information Technology» more IFIP12 2004»

Diagnosing Java Programs with Static Abstractions of Data Structures

15 years 7 months ago

Download www.ist.tugraz.at

Rong Chen, Daniel Köb, Franz Wotawa

claim paper

Read More »

132

click to vote

LWA
2004

84views Software Engineering» more LWA 2004»

Fast Data Mining For Programming Support

15 years 7 months ago

Download pages.cpsc.ucalgary.ca

Thomas Zimmermann

claim paper

Read More »

144

click to vote

IFIPPACT
1994

134views Distributed And Parallel Com...» more IFIPPACT 1994»

Automatic Data Layout Using 0-1 Integer Programming

15 years 7 months ago

Download www.me.utexas.edu

Robert E. Bixby, Ken Kennedy, Ulrich Kremer

claim paper

Read More »

click to vote

ENTCS
2006

89views more ENTCS 2006»

A Grainless Semantics for Parallel Programs with Shared Mutable Data

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers