624 search results - page 105 / 125 » The Jrpm System for Dynamically Parallelizing Java Programs |
IPPS
2000
IEEE
14 years 26 days ago
2000
IEEE
One of the challenges in large scale distributed computing is to utilize the thousands of idle personal computers. In this paper, we present a system that enables users to e ortles...
ICDCS
1996
IEEE
14 years 20 days ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
APLAS
2006
ACM
14 years 2 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
CGO
2010
IEEE
14 years 3 months ago
2010
IEEE
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...