Sciweavers

18898 search results - page 175 / 3780

» The Making of a Software Engineer

115

TMRA
2005
Springer

64views Software Engineering» more TMRA 2005»

Topic Map Exchange in the Absence of Shared Vocabularies

15 years 10 months ago

Topic Map Exchange in the Absence of Shared Vocabularies

Download www.informatik.uni-leipzig.de

Lutz Maicher

claim paper

Read More »

116

VMCAI
2005
Springer

71views Software Engineering» more VMCAI 2005»

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

15 years 10 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 »

117

VMCAI
2005
Springer

112views Software Engineering» more VMCAI 2005»

The Verifying Compiler, a Grand Challenge for Computing Research

15 years 10 months ago

The Verifying Compiler, a Grand Challenge for Computing Research

Download asimod.in.tum.de

C. A. R. Hoare

claim paper

Read More »

127

Voted

VMCAI
2005
Springer

80views Software Engineering» more VMCAI 2005»

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

15 years 10 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 »

136

VMCAI
2005
Springer

108views Software Engineering» more VMCAI 2005»

Automata as Abstractions

15 years 10 months ago

Automata as Abstractions

Download www.dsi.unive.it

Dennis Dams, Kedar S. Namjoshi

claim paper

Read More »

« Prev « First page 175 / 3780 Last » Next »