Sciweavers

3457 search results - page 152 / 692
» A Symbol Is Not a Symbol
Sort
View
TACAS
2004
Springer
114views Algorithms» more  TACAS 2004»
15 years 11 months ago
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv
DATE
2003
IEEE
91views Hardware» more  DATE 2003»
15 years 11 months ago
Fast and Accurate Multiprocessor Architecture Exploration with Symbolic Programs
In system-level platform-based embedded systems design, the mapping model is a crucial link between the application model and the architecture model. All three models must match w...
Vladimir D. Zivkovic, Erwin A. de Kock, Pieter van...
ICDAR
2003
IEEE
15 years 11 months ago
Symbolic Pruning in a Structural Approach to Engineering Drawing Analysis
Interpretation of paper drawings has received a good deal of attention over the last decade. Progress has also been made in related areas such as direct interpretation of human dr...
Tom Henderson, Lavanya Swaminatha