SAS
2015
Springer
8 years 8 months ago
2015
Springer
We propose a static type system for a significant subset of JavaScript, dubbed SJS, with the goal of ensuring that objects have a statically known layout at the allocation time, w...
SAS
2015
Springer
8 years 8 months ago
2015
Springer
Shape analysis aims to infer precise structural properties of imperative memory states and has been applied heavily to verify safety properties on imperative code over pointer-base...
SAS
2015
Springer
8 years 8 months ago
2015
Springer
Abstract. When two methods are invoked on the same object, the dispatch behaviours of these method calls will be correlated. If two correlated method calls are polymorphic (i.e., t...
SAS
2015
Springer
8 years 8 months ago
2015
Springer
Abstract. We report that the homomorphic encryption scheme can unleash the possibility of static analysis of encrypted programs. Static analysis in cipher-world is desirable in the...
SAS
2015
Springer
8 years 8 months ago
2015
Springer
We present a novel static analysis to infer the parallel cost of distributed systems. Parallel cost differs from the standard notion of serial cost by exploiting the truly concurr...
SAS
2015
Springer
8 years 8 months ago
2015
Springer
Early work in implicit information flow detection applied only to flat, procedureless languages with structured control-flow (e.g., if statements, while loops). These techniques...
SAMOS
2015
Springer
8 years 8 months ago
2015
Springer
—Today’s multi-processor system-on-chip (MPSoC) systems increasingly have to deal with dynamically changing application workload scenarios. To cope with such dynamic applicatio...
SAMOS
2015
Springer
8 years 8 months ago
2015
Springer
—Task migration has been applied as an efficient mechanism to handle faulty processing elements (PEs) in Multiprocessor Systems-on-Chip (MPSoCs). However, current task migration...
SAMOS
2015
Springer
8 years 8 months ago
2015
Springer
—After their success in the high performance and desktop market, Graphic Processing Units (GPUs), that can be used for general purpose computing are introduced for embedded syste...
SAMOS
2015
Springer
8 years 8 months ago
2015
Springer
Abstract—The ever-increasing complexity of advanced highresolution image processing applications requires innovative solutions to ensure addressing this issue efficiently and co...