Search Sciweavers | Sciweavers

15783 search results - page 22 / 3157

» Evidence-Based Software Engineering

click to vote

APIN
2011

209views Software Engineering» more APIN 2011»

Schedule coordination through egalitarian recurrent multi-unit combinatorial auctions

13 years 4 months ago

Download golfet.udg.edu

Javier Murillo, Víctor Muñoz, D&iacu...

claim paper

Read More »

click to vote

APPML
2011

192views Software Engineering» more APPML 2011»

Improved intermediate asymptotics for the heat equation

13 years 4 months ago

Download www.ceremade.dauphine.fr

Jean-Philippe Bartier, Adrien Blanchet, Jean Dolbe...

claim paper

Read More »

click to vote

ARCS
2011
Springer

193views Software Engineering» more ARCS 2011»

Frameworks for Multi-core Architectures: A Comprehensive Evaluation Using 2D/3D Image Registration

13 years 4 months ago

Download www12.informatik.uni-erlangen.de

Richard Membarth, Frank Hannig, Jürgen Teich,...

claim paper

Read More »

click to vote

AMAST
2010
Springer

202views Software Engineering» more AMAST 2010»

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

13 years 4 months ago

Download mpc2010.fsg.ulaval.ca

Ekaterina Komendantskaya, Guy McCusker, John Power

claim paper

Read More »

click to vote

AMAST
2010
Springer

223views Software Engineering» more AMAST 2010»

Program Calculation in Coq

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers