Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450332576

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Clover

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15 ◽

10.1145/2670529.2754959 ◽

2015 ◽

Cited By ~ 15

Author(s):

Qingrui Liu ◽

Changhee Jung ◽

Dongyoon Lee ◽

Devesh Tiwari

Download Full-text

Cross-Kernel Control-Flow--Graph Analysis for Event-Driven Real-Time Systems

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15 ◽

10.1145/2670529.2754963 ◽

2015 ◽

Cited By ~ 11

Author(s):

Christian Dietrich ◽

Martin Hoffmann ◽

Daniel Lohmann

Keyword(s):

Real Time ◽

Control Flow ◽

Graph Analysis ◽

Control Flow Graph ◽

Real Time Systems ◽

Flow Graph ◽

Event Driven ◽

Time Systems

Download Full-text

Improving Data Access Efficiency by Using Context-Aware Loads and Stores

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15 ◽

10.1145/2670529.2754960 ◽

2015 ◽

Cited By ~ 2

Author(s):

Alen Bardizbanyan ◽

Magnus Själander ◽

David Whalley ◽

Per Larsson-Edefors

Keyword(s):

Data Access ◽

Context Aware ◽

Access Efficiency

Download Full-text

WCET-Aware Dynamic D-cache Locking for A Single Task

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15 ◽

10.1145/2670529.2754965 ◽

2015 ◽

Cited By ~ 6

Author(s):

Wenguang Zheng ◽

Hui Wu

Keyword(s):

Single Task ◽

Cache Locking

Download Full-text

Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15 ◽

10.1145/2670529.2754967 ◽

2015 ◽

Cited By ~ 3

Author(s):

Zhenkai Zhang ◽

Xenofon Koutsoukos

Keyword(s):

Abstract Interpretation

Download Full-text

A Practical Getaway

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15 ◽

10.1145/2670529.2754961 ◽

2015 ◽

Cited By ~ 2

Author(s):

Isabella Stilkerich ◽

Clemens Lang ◽

Christoph Erhardt ◽

Michael Stilkerich

Download Full-text

Enabling Efficient Alias Speculation

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15 ◽

10.1145/2670529.2754964 ◽

2015 ◽

Cited By ~ 1

Author(s):

Soumyadeep Ghosh ◽

Yongjun Park ◽

Arun Raman

Download Full-text

Secure and Durable (SEDURA)

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15 ◽

10.1145/2670529.2754969 ◽

2015 ◽

Cited By ~ 5

Author(s):

Chen Liu ◽

Chengmo Yang

Download Full-text

Semantics Driven Hardware Design, Implementation, and Verification with ReWire

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15 ◽

10.1145/2670529.2754970 ◽

2015 ◽

Cited By ~ 8

Author(s):

Adam Procter ◽

William L. Harrison ◽

Ian Graves ◽

Michela Becchi ◽

Gerard Allwein

Keyword(s):

Hardware Design

Download Full-text

Optimizing Transfers of Control in the Static Pipeline Architecture

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15 ◽

10.1145/2670529.2754952 ◽

2015 ◽

Cited By ~ 1

Author(s):

Ryan Baird ◽

Peter Gavin ◽

Magnus Själander ◽

David Whalley ◽

Gang-Ryung Uh

Keyword(s):

Pipeline Architecture

Download Full-text

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Clover

Cross-Kernel Control-Flow--Graph Analysis for Event-Driven Real-Time Systems

Improving Data Access Efficiency by Using Context-Aware Loads and Stores

WCET-Aware Dynamic D-cache Locking for A Single Task

Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis

A Practical Getaway

Enabling Efficient Alias Speculation

Secure and Durable (SEDURA)

Semantics Driven Hardware Design, Implementation, and Verification with ReWire

Optimizing Transfers of Control in the Static Pipeline Architecture

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM - LCTES'15
Latest Publications