480 search results - page 38 / 96 » Understanding the Behavior of Java Programs |
202
click to vote
POPL
2001
ACM
16 years 26 days ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
104
Voted
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. OpenJIT is an open-ended, reflective JIT compiler framework for Java being researched and developed in a joint project by Tokyo Inst. Tech. and Fujitsu Ltd. Although in g...
124
click to vote
CORR
2010
Springer
15 years 19 days ago
2010
Springer
In many scientific domains, researchers are turning to large-scale behavioral simulations to better understand real-world phenomena. While there has been a great deal of work on s...
138
click to vote
ASPLOS
2000
ACM
15 years 4 months ago
2000
ACM
This paper presents the first analysis of operating system execution on a simultaneous multithreaded (SMT) processor. While SMT has been studied extensively over the past 6 years,...
103
click to vote
EUROPAR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...