63 search results - page 9 / 13 » Verifying a Compiler for Java Threads |
106
click to vote
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
85
Voted
EPIA
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
WEBNET
1997
14 years 10 months ago
1997
: We are building an infrastructure for the platform-independent distribution and execution of high-performance mobile code as a future Internet technology to complement and perhap...
110
click to vote
HIPEAC
2011
Springer
13 years 9 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...
112
click to vote
CGO
2011
IEEE
14 years 1 months ago
2011
IEEE
— The emergence and wide adoption of web applications have moved the client-side component, often written in JavaScript, to the forefront of computing on the web. Web application...