Search Sciweavers | Sciweavers

31387 search results - page 213 / 6278

» Abstracting abstract machines

142

click to vote

TACAS
2004
Springer

114views Algorithms» more TACAS 2004»

Symbolically Computing Most-Precise Abstract Operations for Shape Analysis

15 years 12 months ago

Download www.cs.wisc.edu

Greta Yorsh, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

107

click to vote

TSD
2004
Springer

134views Signal Processing» more TSD 2004»

Clustering Abstracts Instead of Full Texts

15 years 12 months ago

Download www.gelbukh.com

Pavel Makagonov, Mikhail Alexandrov, Alexander F. ...

claim paper

Read More »

135

click to vote

TSD
2004
Springer

139views Signal Processing» more TSD 2004»

Balancing Manual and Automatic Indexing for Retrieval of Paper Abstracts

15 years 12 months ago

Download www.gelbukh.com

Kwangcheol Shin, Sang-Yong Han, Alexander F. Gelbu...

claim paper

Read More »

133

click to vote

VMCAI
2004
Springer

95views Software Engineering» more VMCAI 2004»

Security Types Preserving Compilation: (Extended Abstract)

15 years 12 months ago

Download www-sop.inria.fr

Gilles Barthe, Amitabh Basu, Tamara Rezk

claim paper

Read More »

130

click to vote

WABI
2004
Springer

85views Bioinformatics» more WABI 2004»

Algorithms for Finding Maximal-Scoring Segment Sets (Extended Abstract)

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers