Sciweavers

1304 search results - page 52 / 261
» Evaluating Hardware Compilation Techniques
Sort
View
ICCD
2004
IEEE
106views Hardware» more  ICCD 2004»
14 years 7 months ago
Energy Characterization of Hardware-Based Data Prefetching
This paper evaluates several hardware-based data prefetching techniques from an energy perspective, and explores their energy/performance tradeoffs. We present detailed simulation...
Yao Guo, Saurabh Chheda, Israel Koren, C. Mani Kri...
CODES
2006
IEEE
14 years 4 months ago
Hardware assisted pre-emptive control flow checking for embedded processors to improve reliability
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
Roshan G. Ragel, Sri Parameswaran
DATE
2009
IEEE
114views Hardware» more  DATE 2009»
14 years 4 months ago
Hardware aging-based software metering
Abstract—Reliable and verifiable hardware, software and content usage metering (HSCM) are of primary importance for wide segments of e-commerce including intellectual property a...
Foad Dabiri, Miodrag Potkonjak
CP
2008
Springer
13 years 12 months ago
An Application of Constraint Programming to Superblock Instruction Scheduling
Modern computer architectures have complex features that can only be fully taken advantage of if the compiler schedules the compiled code. A standard region of code for scheduling ...
Abid M. Malik, Michael Chase, Tyrel Russell, Peter...
CAV
2011
Springer
242views Hardware» more  CAV 2011»
13 years 1 months ago
Equality-Based Translation Validator for LLVM
We updated our Peggy tool, previously presented in [6], to perform translation validation for the LLVM compiler using a technique called Equality Saturation. We present the tool, a...
Michael Stepp, Ross Tate, Sorin Lerner