Sciweavers

526 search results - page 66 / 106
» Array language support for parallel sparse computation
Sort
View
MMMACNS
2001
Springer
15 years 2 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
IPPS
2000
IEEE
15 years 2 months ago
Predictability and Resource Management in Distributed Multimedia Presentations
Abstract. The continuous media applications have an implied temporal dimension, i.e. they are presented at a particular rate for a particular length of time and if the required rat...
Costas Mourlas
CONCUR
2006
Springer
15 years 1 months ago
Dynamic Access Control in a Concurrent Object Calculus
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...
Avik Chaudhuri
EDOC
2002
IEEE
15 years 2 months ago
Automated Management of Inter-Organisational Applications
Inter-organisational applications require improved support from middleware services. This paper analyses the management requirements of multidomain applications, covering both tec...
Lea Kutvonen
OOPSLA
2005
Springer
15 years 3 months ago
X10: an object-oriented approach to non-uniform cluster computing
It is now well established that the device scaling predicted by Moore’s Law is no longer a viable option for increasing the clock frequency of future uniprocessor systems at the...
Philippe Charles, Christian Grothoff, Vijay A. Sar...