Search Sciweavers | Sciweavers

15777 search results - page 85 / 3156

» The Reformulation-Optimization Software Engine

click to vote

FASE
2007
Springer

82views Software Engineering» more FASE 2007»

Practical Reasoning About Invocations and Implementations of Pure Methods

14 years 2 months ago

Download research.microsoft.com

Ádám Darvas, K. Rustan M. Leino

claim paper

Read More »

click to vote

GTTSE
2007
Springer

199views Software Engineering» more GTTSE 2007»

How to Write Fast Numerical Code: A Small Introduction

14 years 2 months ago

Download spiral.ece.cmu.edu

Srinivas Chellappa, Franz Franchetti, Markus P&uum...

claim paper

Read More »

click to vote

GTTSE
2007
Springer

117views Software Engineering» more GTTSE 2007»

An Introduction to Context-Oriented Programming with ContextS

14 years 2 months ago

Download www.hpi.uni-potsdam.de

Robert Hirschfeld, Pascal Costanza, Michael Haupt

claim paper

Read More »

click to vote

ICESS
2007
Springer

123views Software Engineering» more ICESS 2007»

A C-Language Binding for PSL

14 years 2 months ago

Download research.microsoft.com

Ping Hang Cheung, Alessandro Forin

claim paper

Read More »

click to vote

ICESS
2007
Springer

120views Software Engineering» more ICESS 2007»

Device-Aware Cache Replacement Algorithm for Heterogeneous Mobile Storage Devices

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers