Search Sciweavers | Sciweavers

31387 search results - page 256 / 6278

» Abstracts

152

click to vote

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

15 years 8 months ago

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

172

click to vote

ER
2008
Springer

107views Database» more ER 2008»

Abstract State Services

15 years 8 months ago

Download www.informatik.uni-kiel.de

act State Services Hui Ma1 Klaus-Dieter Schewe2 Bernhard Thalheim Qing Wang4 Bericht Nr. 0804 Mai 2008 CHRISTIAN-ALBRECHTS-UNIVERSIT

Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qi...

claim paper

Read More »

142

click to vote

ESOP
2008
Springer

95views Programming Languages» more ESOP 2008»

Certificate Translation in Abstract Interpretation

15 years 8 months ago

Download software.imdea.org

Gilles Barthe, César Kunz

claim paper

Read More »

143

click to vote

ESOP
2008
Springer

96views Programming Languages» more ESOP 2008»

Non-disjunctive Numerical Domain for Array Predicate Abstraction

15 years 8 months ago

Download penjili.org

Xavier Allamigeon

claim paper

Read More »

142

click to vote

ESOP
2008
Springer

100views Programming Languages» more ESOP 2008»

Full Abstraction for Linda

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers