Search Sciweavers | Sciweavers

16725 search results - page 457 / 3345

» Engineering Software Correctness

345

Voted

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 »

157

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 »

160

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 »

140

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

Download ase.jku.at

Markus Jahn, Markus Löberbauer, Reinhard Wolf...

claim paper

Read More »

141

click to vote

CCE
2011

213views Software Engineering» more CCE 2011»

Optimal scheduling of continuous plants with energy constraints

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers