Sciweavers

15777 search results - page 66 / 3156

» Engineering in Software

102

TMRA
2005
Springer

64views Software Engineering» more TMRA 2005»

Topic Map Exchange in the Absence of Shared Vocabularies

15 years 8 months ago

Topic Map Exchange in the Absence of Shared Vocabularies

Download www.informatik.uni-leipzig.de

Lutz Maicher

claim paper

Read More »

98

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

15 years 8 months ago

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »

110

VMCAI
2005
Springer

80views Software Engineering» more VMCAI 2005»

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

15 years 8 months ago

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

Download www.di.ens.fr

Patrick Cousot

claim paper

Read More »

89

VSTTE
2005
Springer

109views Software Engineering» more VSTTE 2005»

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler

15 years 8 months ago

Dependent Types, Theorem Proving, and Applications for a Verifying Compiler

Download vstte.ethz.ch

Yves Bertot, Laurent Théry

claim paper

Read More »

75

VSTTE
2005
Springer

80views Software Engineering» more VSTTE 2005»

Verify Your Runs

15 years 8 months ago

Verify Your Runs

Download vstte.ethz.ch

Klaus Havelund, Allen Goldberg

claim paper

Read More »

« Prev « First page 66 / 3156 Last » Next »