2656 search results - page 221 / 532 » Design and analysis of algorithms reconsidered |
169
click to vote
IWRIDL
2006
ACM
16 years 17 days ago
2006
ACM
Cross-language information retrieval (CLIR) facilitates the use of one language to access documents in other languages. Crosslanguage information extraction (CLIE) extracts releva...
165
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
192
Voted
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Dynamic Datastructure Excavation (DDE) is a new approach to extract datastructures from C binaries without any need for debugging symbols. Unlike most existing tools, DDE uses dyn...
144
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentia...
164
Voted
EURODAC
1990
IEEE
15 years 10 months ago
1990
IEEE
: In this paper logical cells and algorithms are presented supporting the design of pseudo-exhaustively testable circuits. The approach is based on real hardware segmentation, inst...