Search Sciweavers | Sciweavers

15777 search results - page 356 / 3156

» The Reformulation-Optimization Software Engine

140

click to vote

APPML
2011

192views Software Engineering» more APPML 2011»

Improved intermediate asymptotics for the heat equation

15 years 1 months ago

Download www.ceremade.dauphine.fr

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

claim paper

Read More »

356

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

15 years 1 months ago

Download www12.informatik.uni-erlangen.de

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

claim paper

Read More »

165

click to vote

AMAST
2010
Springer

202views Software Engineering» more AMAST 2010»

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

15 years 1 months ago

Download mpc2010.fsg.ulaval.ca

Ekaterina Komendantskaya, Guy McCusker, John Power

claim paper

Read More »

176

click to vote

AMAST
2010
Springer

223views Software Engineering» more AMAST 2010»

Program Calculation in Coq

15 years 1 months ago

Download www.univ-orleans.fr

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

claim paper

Read More »

149

click to vote

APSEC
2010
IEEE

192views Software Engineering» more APSEC 2010»

Rule-Based Composition Behaviors in Dynamic Plug-In Systems

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers