553 search results - page 43 / 111 » Verified, Executable Parsing |
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
ISPA
2004
Springer
14 years 2 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
ISPAN
1999
IEEE
14 years 1 months ago
1999
IEEE
For an effective Internet-based distributed parallel computing platform, Java-Internet Computing Environment (JICE) is designed and implemented with multithreading and remote meth...
ADBIS
2007
Springer
14 years 23 days ago
2007
Springer
Existing work repeatedly addresses that the ubiquitous positioning devices will start to generate an unprecedented stream of time-stamped positions leading to storage and computati...
CSL
2004
Springer
14 years 14 days ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...