182 search results - page 21 / 37 » Static Program Analysis for Java Card Applets |
96
Voted
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
121
click to vote
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...
100
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Modern enterprise systems support Role-Based Access Control (RBAC). Although RBAC allows restricting access to privileged operations, a deployer may actually intend to restrict ac...
134
Voted
PPPJ
2009
ACM
15 years 9 months ago
2009
ACM
Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw ...
162
click to vote
HIPEAC
2011
Springer
14 years 1 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...