ACM SIGPLAN/SIGBED Intl. Conf. on Langs., Compilers, & Tools for Emb. Sys., LCTES 2017


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

Towards memory-efficient processing-in-memory architecture for convolutional neural networks

Yi Wang, Mingxu Zhang, Jing Yang

Towards memory-efficient processing-in-memory architecture for convolutional neural networks

Details
Discussion Comments: 0
Verification: Authors have not verified information

Dynamic translation of structured Loads/Stores and register mapping for architectures with SIMD extensions

Sheng-Yu Fu, Ding-Yong Hong, Yu-Ping Liu, Jan-Jan Wu, Wei-Chung Hsu

Dynamic translation of structured Loads/Stores and register mapping for architectures with SIMD extensions

Details
Discussion Comments: 0
Verification: Authors have not verified information

Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems

Min Zhang, Yunhui Ying

Towards SMT-based LTL model checking of clock constraint specification language for real-time and embedded systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

AOT vs. JIT: impact of profile data on code quality

April W. Wade, Prasad A. Kulkarni, Michael R. Jantz

AOT vs. JIT: impact of profile data on code quality

Details
Discussion Comments: 0
Verification: Authors have not verified information

Adaptive optimization for OpenCL programs on embedded heterogeneous systems

Ben Taylor, Vicent Sanz Marco, Zheng Wang

Adaptive optimization for OpenCL programs on embedded heterogeneous systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

OSEK-V: application-specific RTOS instantiation in hardware

Christian Dietrich, Daniel Lohmann

OSEK-V: application-specific RTOS instantiation in hardware

Details
Discussion Comments: 0
Verification: Authors have not verified information

A lightweight progress maximization scheduler for non-volatile processor under unstable energy harvesting

Chen Pan, Mimi Xie, Yongpan Liu, Yanzhi Wang, Chun Jason Xue, Yuangang Wang, Yiran Chen, Jingtong Hu

A lightweight progress maximization scheduler for non-volatile processor under unstable energy harvesting

Details
Discussion Comments: 0
Verification: Authors have not verified information

Optimal functional unit assignment and voltage selection for pipelined MPSoC with guaranteed probability on time performance

Weiwen Jiang, Edwin Hsing-Mean Sha, Qingfeng Zhuge, Hailiang Dong, Xianzhang Chen

Optimal functional unit assignment and voltage selection for pipelined MPSoC with guaranteed probability on time performance

Details
Discussion Comments: 0
Verification: Authors have not verified information

Integrated IoT programming with selective abstraction

Gyeongmin Lee, Seonyeong Heo, Bongjun Kim, Jong Kim, Hanjun Kim

Integrated IoT programming with selective abstraction

Details
Discussion Comments: 0
Verification: Authors have not verified information

Unified nvTCAM and sTCAM architecture for improving packet matching performance

Xianzhong Ding, Zhiyong Zhang, Zhiping Jia, Lei Ju, Mengying Zhao, Huawei Huang

Unified nvTCAM and sTCAM architecture for improving packet matching performance

Details
Discussion Comments: 0
Verification: Authors have not verified information

Auto-vectorization for image processing DSLs

Oliver Reiche, Christof Kobylko, Frank Hannig, J├╝rgen Teich

Auto-vectorization for image processing DSLs

Details
Discussion Comments: 0
Verification: Authors have not verified information

Integrating task scheduling and cache locking for multicore real-time embedded systems

Wenguang Zheng, Hui Wu, Chuanyao Nie

Integrating task scheduling and cache locking for multicore real-time embedded systems

Details
Discussion Comments: 0
Verification: Authors have not verified information