Search Sciweavers | Sciweavers

15777 search results - page 107 / 3156

» The Reformulation-Optimization Software Engine

click to vote

VMCAI
2005
Springer

112views Software Engineering» more VMCAI 2005»

The Verifying Compiler, a Grand Challenge for Computing Research

15 years 7 months ago

Download asimod.in.tum.de

C. A. R. Hoare

claim paper

Read More »

103

click to vote

VMCAI
2005
Springer

80views Software Engineering» more VMCAI 2005»

Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming

15 years 7 months ago

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

112

click to vote

VMCAI
2005
Springer

108views Software Engineering» more VMCAI 2005»

Automata as Abstractions

15 years 7 months ago

Download www.dsi.unive.it

Dennis Dams, Kedar S. Namjoshi

claim paper

Read More »

click to vote

VSTTE
2005
Springer

85views Software Engineering» more VSTTE 2005»

Where Is the Value in a Program Verifier?

15 years 7 months ago

Download vstte.ethz.ch

Colin O'Halloran

claim paper

Read More »

click to vote

VSTTE
2005
Springer

108views Software Engineering» more VSTTE 2005»

Modular Reasoning in Object-Oriented Programming

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers