Sciweavers

Share
1133 search results - page 1 / 227
» Fast Abstracts
Sort
View
CAV
2006
Springer
141views Hardware» more  CAV 2006»
8 years 11 months ago
SMT Techniques for Fast Predicate Abstraction
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...
WAW
2004
Springer
124views Algorithms» more  WAW 2004»
9 years 21 days ago
Fast PageRank Computation Via a Sparse Linear System (Extended Abstract)
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...
TECS
2008
119views more  TECS 2008»
8 years 7 months ago
Fast exploration of bus-based communication architectures at the CCATB abstraction
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
books