Search Sciweavers | Sciweavers

4725 search results - page 90 / 945

» Dependence-Based Program Analysis

Voted

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

Download www.di.ens.fr

Julien Bertrane

claim paper

Read More »

102

Voted

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

15 years 8 months ago

Download ropas.snu.ac.kr

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...

claim paper

Read More »

Voted

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

15 years 8 months ago

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

click to vote

CASES
2004
ACM

115views System Software» more CASES 2004»

Causality analysis of synchronous programs with delayed actions

15 years 8 months ago

Download rsg.informatik.uni-kl.de

Klaus Schneider, Jens Brandt, Tobias Schüle

claim paper

Read More »

click to vote

CAV
2004
Springer

108views Hardware» more CAV 2004»

Formal Analysis of Java Programs in JavaFAN

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers