| |
Banerjee, Kunal
|
LCTES '16: "Translation Validation of ..."
Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences
Kunal Banerjee, Chittaranjan Mandal, and Dipankar Sarkar
(IIT Kharagpur, India)
@InProceedings{LCTES16p37,
author = {Kunal Banerjee and Chittaranjan Mandal and Dipankar Sarkar},
title = {Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2016},
}
|
| |
Becker, Martin |
LCTES '16: "TIC: A Scalable Model Checking ..."
TIC: A Scalable Model Checking Based Approach to WCET Estimation
Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, and R Venkatesh
(Tata Consultancy Services, India; TU Munich, Germany)
@InProceedings{LCTES16p85,
author = {Ravindra Metta and Martin Becker and Prasad Bokil and Samarjit Chakraborty and R Venkatesh},
title = {TIC: A Scalable Model Checking Based Approach to WCET Estimation},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {85-84},
doi = {},
year = {2016},
}
|
| |
Bodik, Rastislav |
LCTES '16: "Compiling a Gesture Recognition ..."
Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture
Phitchaya Mangpo Phothilimthana, Michael Schuldt, and Rastislav Bodik
(University of California at Berkeley, USA; University of Washington, USA)
@InProceedings{LCTES16p121,
author = {Phitchaya Mangpo Phothilimthana and Michael Schuldt and Rastislav Bodik},
title = {Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {121-120},
doi = {},
year = {2016},
}
|
| |
Bokil, Prasad |
LCTES '16: "TIC: A Scalable Model Checking ..."
TIC: A Scalable Model Checking Based Approach to WCET Estimation
Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, and R Venkatesh
(Tata Consultancy Services, India; TU Munich, Germany)
@InProceedings{LCTES16p85,
author = {Ravindra Metta and Martin Becker and Prasad Bokil and Samarjit Chakraborty and R Venkatesh},
title = {TIC: A Scalable Model Checking Based Approach to WCET Estimation},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {85-84},
doi = {},
year = {2016},
}
|
| |
Bönninghoff, Björn |
LCTES '16: "Compensate or Ignore? Meeting ..."
Compensate or Ignore? Meeting Control Robustness Requirements through Adaptive Soft-Error Handling
Kuan-Hsun Chen, Björn Bönninghoff, Jian-Jia Chen, and Peter Marwedel
(TU Dortmund, Germany)
@InProceedings{LCTES16p97,
author = {Kuan-Hsun Chen and Björn Bönninghoff and Jian-Jia Chen and Peter Marwedel},
title = {Compensate or Ignore? Meeting Control Robustness Requirements through Adaptive Soft-Error Handling},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {97-96},
doi = {},
year = {2016},
}
|
| |
Cardoso, João M. P.
|
LCTES '16: "A Graph-Based Iterative Compiler ..."
A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach
Ricardo Nobre, Luiz G. A. Martins, and João M. P. Cardoso
(University of Porto, Portugal; INESC TEC, Portugal; Federal University of Uberlândia, Brazil)
@InProceedings{LCTES16p25,
author = {Ricardo Nobre and Luiz G. A. Martins and João M. P. Cardoso},
title = {A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2016},
}
|
| |
Chakraborty, Prasenjit |
LCTES '16: "Opportunity for Compute Partitioning ..."
Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems
Prasenjit Chakraborty, Gautam Doshi, Shashank Shekhar, and Vikrant Kumar
(Intel, India)
@InProceedings{LCTES16p109,
author = {Prasenjit Chakraborty and Gautam Doshi and Shashank Shekhar and Vikrant Kumar},
title = {Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {109-108},
doi = {},
year = {2016},
}
|
| |
Chakraborty, Samarjit |
LCTES '16: "TIC: A Scalable Model Checking ..."
TIC: A Scalable Model Checking Based Approach to WCET Estimation
Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, and R Venkatesh
(Tata Consultancy Services, India; TU Munich, Germany)
@InProceedings{LCTES16p85,
author = {Ravindra Metta and Martin Becker and Prasad Bokil and Samarjit Chakraborty and R Venkatesh},
title = {TIC: A Scalable Model Checking Based Approach to WCET Estimation},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {85-84},
doi = {},
year = {2016},
}
|
| |
Chen, Jian-Jia |
LCTES '16: "Compensate or Ignore? Meeting ..."
Compensate or Ignore? Meeting Control Robustness Requirements through Adaptive Soft-Error Handling
Kuan-Hsun Chen, Björn Bönninghoff, Jian-Jia Chen, and Peter Marwedel
(TU Dortmund, Germany)
@InProceedings{LCTES16p97,
author = {Kuan-Hsun Chen and Björn Bönninghoff and Jian-Jia Chen and Peter Marwedel},
title = {Compensate or Ignore? Meeting Control Robustness Requirements through Adaptive Soft-Error Handling},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {97-96},
doi = {},
year = {2016},
}
|
| |
Chen, Kuan-Hsun |
LCTES '16: "Compensate or Ignore? Meeting ..."
Compensate or Ignore? Meeting Control Robustness Requirements through Adaptive Soft-Error Handling
Kuan-Hsun Chen, Björn Bönninghoff, Jian-Jia Chen, and Peter Marwedel
(TU Dortmund, Germany)
@InProceedings{LCTES16p97,
author = {Kuan-Hsun Chen and Björn Bönninghoff and Jian-Jia Chen and Peter Marwedel},
title = {Compensate or Ignore? Meeting Control Robustness Requirements through Adaptive Soft-Error Handling},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {97-96},
doi = {},
year = {2016},
}
|
| |
Chu, Duc-Hiep |
LCTES '16: "Symbolic Execution for Memory ..."
Symbolic Execution for Memory Consumption Analysis
Duc-Hiep Chu, Joxan Jaffar, and Rasool Maghareh
(National University of Singapore, Singapore)
@InProceedings{LCTES16p73,
author = {Duc-Hiep Chu and Joxan Jaffar and Rasool Maghareh},
title = {Symbolic Execution for Memory Consumption Analysis},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {73-72},
doi = {},
year = {2016},
}
|
| |
Domagała, Łukasz
|
LCTES '16: "Generalized Cache Tiling for ..."
Generalized Cache Tiling for Dataflow Programs
Łukasz Domagała, Duco van Amstel, and Fabrice Rastello
(Inria, France)
@InProceedings{LCTES16p61,
author = {Łukasz Domagała and Duco van Amstel and Fabrice Rastello},
title = {Generalized Cache Tiling for Dataflow Programs},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {61-60},
doi = {},
year = {2016},
}
|
| |
Doshi, Gautam |
LCTES '16: "Opportunity for Compute Partitioning ..."
Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems
Prasenjit Chakraborty, Gautam Doshi, Shashank Shekhar, and Vikrant Kumar
(Intel, India)
@InProceedings{LCTES16p109,
author = {Prasenjit Chakraborty and Gautam Doshi and Shashank Shekhar and Vikrant Kumar},
title = {Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {109-108},
doi = {},
year = {2016},
}
|
| |
Dubach, Christophe |
LCTES '16: "A Machine Learning Approach ..."
A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors
Paul-Jules Micolet, Aaron Smith, and Christophe Dubach
(University of Edinburgh, UK; Microsoft Research, USA)
@InProceedings{LCTES16p133,
author = {Paul-Jules Micolet and Aaron Smith and Christophe Dubach},
title = {A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {133-132},
doi = {},
year = {2016},
}
|
| |
Fan, XIaokang
|
LCTES '16: "Loop-Oriented Array- and Field-Sensitive ..."
Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization
Yulei Sui, XIaokang Fan, Hao Zhou, and Jingling Xue
(UNSW, Australia)
@InProceedings{LCTES16p49,
author = {Yulei Sui and XIaokang Fan and Hao Zhou and Jingling Xue},
title = {Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {49-48},
doi = {},
year = {2016},
}
|
| |
Franke, Björn |
LCTES '16: "Efficient Asynchronous Interrupt ..."
Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator
Tom Spink, Harry Wagstaff, and Björn Franke
(University of Edinburgh, UK)
@InProceedings{LCTES16p1,
author = {Tom Spink and Harry Wagstaff and Björn Franke},
title = {Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2016},
}
|
| |
Jaffar, Joxan
|
LCTES '16: "Symbolic Execution for Memory ..."
Symbolic Execution for Memory Consumption Analysis
Duc-Hiep Chu, Joxan Jaffar, and Rasool Maghareh
(National University of Singapore, Singapore)
@InProceedings{LCTES16p73,
author = {Duc-Hiep Chu and Joxan Jaffar and Rasool Maghareh},
title = {Symbolic Execution for Memory Consumption Analysis},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {73-72},
doi = {},
year = {2016},
}
|
| |
Jantz, Michael R. |
LCTES '16: "Code Cache Management in Managed ..."
Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems
Forrest J. Robinson, Michael R. Jantz, and Prasad A. Kulkarni
(University of Kansas, USA; University of Tennessee, USA)
@InProceedings{LCTES16p13,
author = {Forrest J. Robinson and Michael R. Jantz and Prasad A. Kulkarni},
title = {Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2016},
}
|
| |
Kulkarni, Prasad A.
|
LCTES '16: "Code Cache Management in Managed ..."
Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems
Forrest J. Robinson, Michael R. Jantz, and Prasad A. Kulkarni
(University of Kansas, USA; University of Tennessee, USA)
@InProceedings{LCTES16p13,
author = {Forrest J. Robinson and Michael R. Jantz and Prasad A. Kulkarni},
title = {Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2016},
}
|
| |
Kumar, Vikrant |
LCTES '16: "Opportunity for Compute Partitioning ..."
Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems
Prasenjit Chakraborty, Gautam Doshi, Shashank Shekhar, and Vikrant Kumar
(Intel, India)
@InProceedings{LCTES16p109,
author = {Prasenjit Chakraborty and Gautam Doshi and Shashank Shekhar and Vikrant Kumar},
title = {Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {109-108},
doi = {},
year = {2016},
}
|
| |
Maghareh, Rasool
|
LCTES '16: "Symbolic Execution for Memory ..."
Symbolic Execution for Memory Consumption Analysis
Duc-Hiep Chu, Joxan Jaffar, and Rasool Maghareh
(National University of Singapore, Singapore)
@InProceedings{LCTES16p73,
author = {Duc-Hiep Chu and Joxan Jaffar and Rasool Maghareh},
title = {Symbolic Execution for Memory Consumption Analysis},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {73-72},
doi = {},
year = {2016},
}
|
| |
Mandal, Chittaranjan |
LCTES '16: "Translation Validation of ..."
Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences
Kunal Banerjee, Chittaranjan Mandal, and Dipankar Sarkar
(IIT Kharagpur, India)
@InProceedings{LCTES16p37,
author = {Kunal Banerjee and Chittaranjan Mandal and Dipankar Sarkar},
title = {Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2016},
}
|
| |
Martins, Luiz G. A. |
LCTES '16: "A Graph-Based Iterative Compiler ..."
A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach
Ricardo Nobre, Luiz G. A. Martins, and João M. P. Cardoso
(University of Porto, Portugal; INESC TEC, Portugal; Federal University of Uberlândia, Brazil)
@InProceedings{LCTES16p25,
author = {Ricardo Nobre and Luiz G. A. Martins and João M. P. Cardoso},
title = {A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2016},
}
|
| |
Marwedel, Peter |
LCTES '16: "Compensate or Ignore? Meeting ..."
Compensate or Ignore? Meeting Control Robustness Requirements through Adaptive Soft-Error Handling
Kuan-Hsun Chen, Björn Bönninghoff, Jian-Jia Chen, and Peter Marwedel
(TU Dortmund, Germany)
@InProceedings{LCTES16p97,
author = {Kuan-Hsun Chen and Björn Bönninghoff and Jian-Jia Chen and Peter Marwedel},
title = {Compensate or Ignore? Meeting Control Robustness Requirements through Adaptive Soft-Error Handling},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {97-96},
doi = {},
year = {2016},
}
|
| |
Metta, Ravindra |
LCTES '16: "TIC: A Scalable Model Checking ..."
TIC: A Scalable Model Checking Based Approach to WCET Estimation
Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, and R Venkatesh
(Tata Consultancy Services, India; TU Munich, Germany)
@InProceedings{LCTES16p85,
author = {Ravindra Metta and Martin Becker and Prasad Bokil and Samarjit Chakraborty and R Venkatesh},
title = {TIC: A Scalable Model Checking Based Approach to WCET Estimation},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {85-84},
doi = {},
year = {2016},
}
|
| |
Micolet, Paul-Jules |
LCTES '16: "A Machine Learning Approach ..."
A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors
Paul-Jules Micolet, Aaron Smith, and Christophe Dubach
(University of Edinburgh, UK; Microsoft Research, USA)
@InProceedings{LCTES16p133,
author = {Paul-Jules Micolet and Aaron Smith and Christophe Dubach},
title = {A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {133-132},
doi = {},
year = {2016},
}
|
| |
Nobre, Ricardo
|
LCTES '16: "A Graph-Based Iterative Compiler ..."
A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach
Ricardo Nobre, Luiz G. A. Martins, and João M. P. Cardoso
(University of Porto, Portugal; INESC TEC, Portugal; Federal University of Uberlândia, Brazil)
@InProceedings{LCTES16p25,
author = {Ricardo Nobre and Luiz G. A. Martins and João M. P. Cardoso},
title = {A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2016},
}
|
| |
Phothilimthana, Phitchaya Mangpo
|
LCTES '16: "Compiling a Gesture Recognition ..."
Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture
Phitchaya Mangpo Phothilimthana, Michael Schuldt, and Rastislav Bodik
(University of California at Berkeley, USA; University of Washington, USA)
@InProceedings{LCTES16p121,
author = {Phitchaya Mangpo Phothilimthana and Michael Schuldt and Rastislav Bodik},
title = {Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {121-120},
doi = {},
year = {2016},
}
|
| |
Rastello, Fabrice
|
LCTES '16: "Generalized Cache Tiling for ..."
Generalized Cache Tiling for Dataflow Programs
Łukasz Domagała, Duco van Amstel, and Fabrice Rastello
(Inria, France)
@InProceedings{LCTES16p61,
author = {Łukasz Domagała and Duco van Amstel and Fabrice Rastello},
title = {Generalized Cache Tiling for Dataflow Programs},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {61-60},
doi = {},
year = {2016},
}
|
| |
Robinson, Forrest J. |
LCTES '16: "Code Cache Management in Managed ..."
Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems
Forrest J. Robinson, Michael R. Jantz, and Prasad A. Kulkarni
(University of Kansas, USA; University of Tennessee, USA)
@InProceedings{LCTES16p13,
author = {Forrest J. Robinson and Michael R. Jantz and Prasad A. Kulkarni},
title = {Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2016},
}
|
| |
Sarkar, Dipankar
|
LCTES '16: "Translation Validation of ..."
Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences
Kunal Banerjee, Chittaranjan Mandal, and Dipankar Sarkar
(IIT Kharagpur, India)
@InProceedings{LCTES16p37,
author = {Kunal Banerjee and Chittaranjan Mandal and Dipankar Sarkar},
title = {Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2016},
}
|
| |
Schuldt, Michael |
LCTES '16: "Compiling a Gesture Recognition ..."
Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture
Phitchaya Mangpo Phothilimthana, Michael Schuldt, and Rastislav Bodik
(University of California at Berkeley, USA; University of Washington, USA)
@InProceedings{LCTES16p121,
author = {Phitchaya Mangpo Phothilimthana and Michael Schuldt and Rastislav Bodik},
title = {Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {121-120},
doi = {},
year = {2016},
}
|
| |
Shekhar, Shashank |
LCTES '16: "Opportunity for Compute Partitioning ..."
Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems
Prasenjit Chakraborty, Gautam Doshi, Shashank Shekhar, and Vikrant Kumar
(Intel, India)
@InProceedings{LCTES16p109,
author = {Prasenjit Chakraborty and Gautam Doshi and Shashank Shekhar and Vikrant Kumar},
title = {Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {109-108},
doi = {},
year = {2016},
}
|
| |
Smith, Aaron |
LCTES '16: "A Machine Learning Approach ..."
A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors
Paul-Jules Micolet, Aaron Smith, and Christophe Dubach
(University of Edinburgh, UK; Microsoft Research, USA)
@InProceedings{LCTES16p133,
author = {Paul-Jules Micolet and Aaron Smith and Christophe Dubach},
title = {A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {133-132},
doi = {},
year = {2016},
}
|
| |
Spink, Tom |
LCTES '16: "Efficient Asynchronous Interrupt ..."
Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator
Tom Spink, Harry Wagstaff, and Björn Franke
(University of Edinburgh, UK)
@InProceedings{LCTES16p1,
author = {Tom Spink and Harry Wagstaff and Björn Franke},
title = {Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2016},
}
|
| |
Sui, Yulei |
LCTES '16: "Loop-Oriented Array- and Field-Sensitive ..."
Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization
Yulei Sui, XIaokang Fan, Hao Zhou, and Jingling Xue
(UNSW, Australia)
@InProceedings{LCTES16p49,
author = {Yulei Sui and XIaokang Fan and Hao Zhou and Jingling Xue},
title = {Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {49-48},
doi = {},
year = {2016},
}
|
| |
Van Amstel, Duco
|
LCTES '16: "Generalized Cache Tiling for ..."
Generalized Cache Tiling for Dataflow Programs
Łukasz Domagała, Duco van Amstel, and Fabrice Rastello
(Inria, France)
@InProceedings{LCTES16p61,
author = {Łukasz Domagała and Duco van Amstel and Fabrice Rastello},
title = {Generalized Cache Tiling for Dataflow Programs},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {61-60},
doi = {},
year = {2016},
}
|
| |
Venkatesh, R |
LCTES '16: "TIC: A Scalable Model Checking ..."
TIC: A Scalable Model Checking Based Approach to WCET Estimation
Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, and R Venkatesh
(Tata Consultancy Services, India; TU Munich, Germany)
@InProceedings{LCTES16p85,
author = {Ravindra Metta and Martin Becker and Prasad Bokil and Samarjit Chakraborty and R Venkatesh},
title = {TIC: A Scalable Model Checking Based Approach to WCET Estimation},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {85-84},
doi = {},
year = {2016},
}
|
| |
Wagstaff, Harry
|
LCTES '16: "Efficient Asynchronous Interrupt ..."
Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator
Tom Spink, Harry Wagstaff, and Björn Franke
(University of Edinburgh, UK)
@InProceedings{LCTES16p1,
author = {Tom Spink and Harry Wagstaff and Björn Franke},
title = {Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2016},
}
|
| |
Xue, Jingling
|
LCTES '16: "Loop-Oriented Array- and Field-Sensitive ..."
Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization
Yulei Sui, XIaokang Fan, Hao Zhou, and Jingling Xue
(UNSW, Australia)
@InProceedings{LCTES16p49,
author = {Yulei Sui and XIaokang Fan and Hao Zhou and Jingling Xue},
title = {Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {49-48},
doi = {},
year = {2016},
}
|
| |
Zhou, Hao
|
LCTES '16: "Loop-Oriented Array- and Field-Sensitive ..."
Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization
Yulei Sui, XIaokang Fan, Hao Zhou, and Jingling Xue
(UNSW, Australia)
@InProceedings{LCTES16p49,
author = {Yulei Sui and XIaokang Fan and Hao Zhou and Jingling Xue},
title = {Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization},
booktitle = {Proc.\ LCTES},
publisher = {ACM},
pages = {49-48},
doi = {},
year = {2016},
}
|