Search Sciweavers | Sciweavers

15777 search results - page 132 / 3156

» The Reformulation-Optimization Software Engine

137

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

15 years 12 months ago

Download www.cs.ust.hk

Günter M. Ziegler

claim paper

Read More »

170

Voted

ADAEUROPE
2001
Springer

85views Software Engineering» more ADAEUROPE 2001»

Logic versus Magic in Critical Systems

15 years 12 months ago

Download www.sparkada.com

Peter Amey

claim paper

Read More »

148

click to vote

ADAEUROPE
2001
Springer

76views Software Engineering» more ADAEUROPE 2001»

Object-Oriented Stable Storage Based on Mirroring

15 years 12 months ago

Download infoscience.epfl.ch

Xavier Caron, Jörg Kienzle, Alfred Strohmeier

claim paper

Read More »

158

click to vote

ADAEUROPE
2001
Springer

93views Software Engineering» more ADAEUROPE 2001»

Ship System 2000, a Stable Architecture under Continuous Evolution

15 years 12 months ago

Download www.sigada.org

Björn Källberg, Rei Stråhle

claim paper

Read More »

139

Voted

CSEE
2001
Springer

95views Software Engineering» more CSEE 2001»

Systems Failures: An Approach to Building a Coping Strategy

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers