Search Sciweavers | Sciweavers

15777 search results - page 132 / 3156

» The Reformulation-Optimization Software Engine

click to vote

AC
2001
Springer

94views Software Engineering» more AC 2001»

Coloring Hamming Graphs, Optimal Binary Codes, and the 0/1-Borsuk Problem in Low Dimensions

14 years 18 days ago

Download www.cs.ust.hk

Günter M. Ziegler

claim paper

Read More »

click to vote

ADAEUROPE
2001
Springer

85views Software Engineering» more ADAEUROPE 2001»

Logic versus Magic in Critical Systems

14 years 18 days ago

Download www.sparkada.com

Peter Amey

claim paper

Read More »

click to vote

ADAEUROPE
2001
Springer

76views Software Engineering» more ADAEUROPE 2001»

Object-Oriented Stable Storage Based on Mirroring

14 years 18 days ago

Download infoscience.epfl.ch

Xavier Caron, Jörg Kienzle, Alfred Strohmeier

claim paper

Read More »

click to vote

ADAEUROPE
2001
Springer

93views Software Engineering» more ADAEUROPE 2001»

Ship System 2000, a Stable Architecture under Continuous Evolution

14 years 18 days ago

Download www.sigada.org

Björn Källberg, Rei Stråhle

claim paper

Read More »

click to vote

CSEE
2001
Springer

95views Software Engineering» more CSEE 2001»

Systems Failures: An Approach to Building a Coping Strategy

14 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers