Sciweavers

3457 search results - page 152 / 692
» A Symbol Is Not a Symbol
Sort
View
143
Voted
TACAS
2004
Springer
130views Algorithms» more  TACAS 2004»
16 years 11 days ago
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases
Kairong Qian, Albert Nymeyer
TACAS
2004
Springer
114views Algorithms» more  TACAS 2004»
16 years 11 days 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»
16 years 9 days 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
16 years 9 days 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