1135 search results - page 96 / 227 » On Performance of Delegation in Java |
174
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Cloud computing, as an emerging computing paradigm, enables users to remotely store their data into a cloud so as to enjoy scalable services on-demand. Especially for small and me...
117
click to vote
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
138
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
The Message Passing Interface (MPI) is a popular communication library that supports the SIMD model of parallel computing. Process networks (PN), where processes communicate throu...
113
click to vote
ENTCS
2007
15 years 4 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
143
click to vote
ASPLOS
1996
ACM
15 years 8 months ago
1996
ACM
Interpreted languages have become increasingly popular due to demands for rapid program development, ease of use, portability, and safety. Beyond the general impression that they ...