Sciweavers

1291 search results - page 12 / 259
» Arithmetic program paths
Sort
View
ICALP
1989
Springer
13 years 11 months ago
Shortest Paths Without a Map
Christos H. Papadimitriou, Mihalis Yannakakis
ASAP
2005
IEEE
142views Hardware» more  ASAP 2005»
14 years 29 days ago
Decimal Floating-Point Square Root Using Newton-Raphson Iteration
With continued reductions in feature size, additional functionality may be added to future microprocessors to boost the performance of important application domains. Due to growth...
Liang-Kai Wang, Michael J. Schulte
POPL
2010
ACM
14 years 4 months ago
Program Analysis via Satisfiability Modulo Path Programs
William R. Harris, Sriram Sankaranarayanan, Franjo...
DAC
1997
ACM
13 years 11 months ago
Analysis and Evaluation of Address Arithmetic Capabilities in Custom DSP Architectures
—Many application-specific architectures provide indirect addressing modes with auto-increment/decrement arithmetic. Since these architectures generally do not feature an indexe...
Ashok Sudarsanam, Stan Y. Liao, Srinivas Devadas