While recent technological advances have motivated large-scale deployment of RFID systems, a number of critical design issues remain unresolved. In this pa... B Carbunar,M.K. Ramanathan,M Koyuturk,... - IEEE 被引量: 197发表: 2005年 Elimination of redundant array subscript range checks This ...
At the same time we use these examples to stress importance of the recursion elimination studies not only for better education but for better and more efficient program specification, verification, optimization and compiler design.doi:10.1007/978-3-030-57663-9_16DanilaDanko...
The design modification process is verified with design-rule checker (DRC) and process simulation to confirm hot spot elimination without side effect. In ... S Kobayashi,AKK Wong,VK Singh,... - 《Proc Spie》 被引量: 13发表: 2007年 ...
sites in a uniform way, regardless of recursive cycles or callee size. An added benefit of PBE is that the design of global anal- ysis routines is simplified, since such routines do not have to navigate around procedure calls and platform-specific calling ...
Interprocedural dataflow analysis in an executable optimizer. In Proceedings of the ACM SIGPLAN’ 97 Conference on Programming Language Design and Implementation, pages 122–133, Las Vegas, Nevada, June 15–18 1997. R. Gupta, D. A. Berson, and J. Z. Fang. Path profile guided partial ...
A global variable in C/C++ is one that is declared outside a function, and whose scope extends the lifetime of the entire program. Global variables cause problems for program dependability, maintainability, extensibility, verification, and thread-safety.
This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in the Open Research Compiler framework. Existing PDE algorithms are not applicable on predicated code due to the existence of if-...
This trend has been fostering the design of WSNs allowing several concurrent users to deploy applications with dissimilar requirements. In this paper, we extend the advantages of a holistic programming scheme by designing a novel compiler-assisted scheduling approach (called REIS) able to identify and...
This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in the Open Research Compiler framework. Existing PDE algorithms are not applicable on predicated code due to the existence of if-...
The Gaussian Elimination algorithm is in fact an algorithm family — common implementations contain at least six (mostly independent) "design choices". A generic implementation can easily be parametrized by all these design choices, but this usually leads to slow and bloated code. Using MetaOCaml'...