Search Sciweavers | Sciweavers

15777 search results - page 356 / 3156

» The Reformulation-Optimization Software Engine

106

click to vote

APPML
2011

192views Software Engineering» more APPML 2011»

Improved intermediate asymptotics for the heat equation

14 years 11 months ago

Download www.ceremade.dauphine.fr

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

claim paper

Read More »

299

Voted

ARCS
2011
Springer

193views Software Engineering» more ARCS 2011»

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

14 years 11 months ago

Download www12.informatik.uni-erlangen.de

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

claim paper

Read More »

124

click to vote

AMAST
2010
Springer

202views Software Engineering» more AMAST 2010»

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

14 years 11 months ago

Download mpc2010.fsg.ulaval.ca

Ekaterina Komendantskaya, Guy McCusker, John Power

claim paper

Read More »

124

click to vote

AMAST
2010
Springer

223views Software Engineering» more AMAST 2010»

Program Calculation in Coq

14 years 11 months ago

Download www.univ-orleans.fr

Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Fr&...

claim paper

Read More »

120

click to vote

APSEC
2010
IEEE

192views Software Engineering» more APSEC 2010»

Rule-Based Composition Behaviors in Dynamic Plug-In Systems

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers