Search Sciweavers | Sciweavers

14

CAV
2006
Springer

141views Hardware» more CAV 2006»

SMT Techniques for Fast Predicate Abstraction

13 years 8 months ago

niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...

Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oli...

claim paper

Read More »

10

click to vote

WAW
2004
Springer

124views Algorithms» more WAW 2004»

Fast PageRank Computation Via a Sparse Linear System (Extended Abstract)

13 years 9 months ago

Download www.di.unipi.it

ystem (Extended Abstract) Gianna M. Del Corso1 Antonio Gull´ı1,2 Francesco Romani1 1 Dipartimento di Informatica, University of Pisa, Italy 2 IIT-CNR, Pisa

Gianna M. Del Corso, Antonio Gulli, Francesco Roma...

claim paper

Read More »

9

click to vote

TECS
2008

119views more TECS 2008»

Fast exploration of bus-based communication architectures at the CCATB abstraction

13 years 4 months ago

Download www.engr.colostate.edu

straction SUDEEP PASRICHA and NIKIL DUTT University of California, Irvine and MOHAMED BEN-ROMDHANE Newport Media Inc. Currently, system-on-chip (SoC) designs are becoming increasin...

Sudeep Pasricha, Nikil Dutt, Mohamed Ben-Romdhane

claim paper

Read More »

13

click to vote

CGO
2009
IEEE

117views Software Engineering» more CGO 2009»

A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

13 years 11 months ago

Download ls12-www.cs.tu-dortmund.de

Daniel Cordes, Heiko Falk, Peter Marwedel

claim paper