|
Translation validation of loop and arithmetic transformations in the presence of recurrences
Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar
|
Translation validation of loop and arithmetic transformations in the presence of recurrences
Details
|
|
Verification:
Authors have
not verified
information
|
|
Efficient asynchronous interrupt handling in a full-system instruction set simulator
Tom Spink, Harry Wagstaff, Björn Franke
|
Efficient asynchronous interrupt handling in a full-system instruction set simulator
Details
|
|
Verification:
Authors have
not verified
information
|
|
Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization
Yulei Sui, Xiaokang Fan, Hao Zhou, Jingling Xue
|
Loop-oriented array- and field-sensitive pointer analysis for automatic SIMD vectorization
Details
|
|
Verification:
Authors have
not verified
information
|
|
Generalized cache tiling for dataflow programs
Lukasz Domagala, Duco van Amstel, Fabrice Rastello
|
Generalized cache tiling for dataflow programs
Details
|
|
Verification:
Authors have
not verified
information
|
|
Compensate or ignore? meeting control robustness requirements through adaptive soft-error handling
Kuan-Hsun Chen, Björn Bönninghoff, Jian-Jia Chen, Peter Marwedel
|
Compensate or ignore? meeting control robustness requirements through adaptive soft-error handling
Details
|
|
Author Comments:
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Code cache management in managed language VMs to reduce memory consumption for embedded systems
Forrest J. Robinson, Michael R. Jantz, Prasad A. Kulkarni
|
Code cache management in managed language VMs to reduce memory consumption for embedded systems
Details
|
|
Verification:
Authors have
not verified
information
|
|
A graph-based iterative compiler pass selection and phase ordering approach
Ricardo Nobre, Luiz G. A. Martins, João M. P. Cardoso
|
A graph-based iterative compiler pass selection and phase ordering approach
Details
|
|
Verification:
Authors have
not verified
information
|
|
A machine learning approach to mapping streaming workloads to dynamic multicore processors
Paul-Jules Micolet, Aaron Smith, Christophe Dubach
|
A machine learning approach to mapping streaming workloads to dynamic multicore processors
Details
|
|
Verification:
Authors have
not verified
information
|
|
Opportunity for compute partitioning in pursuit of energy-efficient systems
Prasenjit Chakraborty, Gautam Doshi, Shashank Shekhar, Vikrant Kumar
|
Opportunity for compute partitioning in pursuit of energy-efficient systems
Details
|
|
Verification:
Authors have
not verified
information
|
|
TIC: a scalable model checking based approach to WCET estimation
Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh
|
TIC: a scalable model checking based approach to WCET estimation
Details
|
|
Verification:
Authors have
not verified
information
|
|
Symbolic execution for memory consumption analysis
Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh
|
Symbolic execution for memory consumption analysis
Details
|
|
Verification:
Authors have
not verified
information
|
|
Compiling a gesture recognition application for a low-power spatial architecture
Phitchaya Mangpo Phothilimthana, Michael Schuldt, Rastislav Bodík
|
Compiling a gesture recognition application for a low-power spatial architecture
Details
|
|
Verification:
Authors have
not verified
information
|