3500 search results - page 439 / 700 » Implementing Java on Clusters |
114
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...
97
Voted
WWW
2010
ACM
15 years 9 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
110
Voted
VEE
2010
ACM
15 years 9 months ago
2010
ACM
Managed Runtime Environments (MREs), such as the JVM and the CLI, form an attractive environment for program execution, by providing portability and safety, via the use of a bytec...
102
Voted
ACSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
—The amount of dynamic content on the web has been steadily increasing. Scripting languages such as JavaScript and browser extensions such as Adobe’s Flash have been instrument...
122
Voted
ICDCS
2009
IEEE
15 years 9 months ago
2009
IEEE
Although distributed object systems, for example RMI and CORBA, enable object-oriented programs to be easily distributed across a network, achieving acceptable performance usually...