304
Voted
PATMOS
2015
Springer
9 years 11 months ago
2015
Springer
—Modern embedded systems consist of heterogeneous computing resources with diverse energy and performance trade-offs. This is because the computing resources exercise the applica...
344
Voted
PATMOS
2015
Springer
9 years 11 months ago
2015
Springer
—In this paper, we present the design of a new Java based, cycle-accurate, heterogeneous architectural simulator, Tejas. Tejas is a trace driven simulator, which is platformindep...
318
Voted
PATMOS
2015
Springer
9 years 11 months ago
2015
Springer
Safety critical real time systems need to meet strict timing deadlines. We use a model checking based approach to calculate the WCET, where we apply optimizations to reduce the num...
112
Voted
APLAS
2015
ACM
9 years 11 months ago
2015
ACM
This paper describes a new bottom-up, subset-based, and context-sensitive pointer analysis for Java. The main novelty of our technique is the constraint-based handling of virtual m...
140
Voted
APLAS
2015
ACM
9 years 11 months ago
2015
ACM
Abstract. We study the efficient implementation of call-by-value using the structure of interactive computation models. This structure has been useful in applications to resource-...