404 search results - page 41 / 81 » LogP: Towards a Realistic Model of Parallel Computation |
FIDJI
2003
Springer
14 years 2 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
The incorporation of last-generation sensors to airborne and satellite platforms is currently producing a nearly continual stream of high-dimensional data, and this explosion in t...
CASSIS
2004
Springer
14 years 23 days ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
WSCG
2003
13 years 10 months ago
2003
As the capabilities of video standards and receiver hardware are increasing towards integrated 3d animations, generating realistic content is now becoming a limiting factor. In th...
IPPS
2010
IEEE
13 years 7 months ago
2010
IEEE
This paper investigates scheduling loosely coupled task-bundles in highly heterogeneous distributed systems. Two allocation quality metrics are used in pay-per-service distributed ...