4386 search results - page 802 / 878 » A Tamper-Resistant Programming Language System |
131
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
130
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
A discrete distribution D over Σ1 × · · · × Σn is called (non-uniform) k-wise independent if for any set of k indexes {i1, . . . , ik} and for any z1 ∈ Σi1 , . . . , zk ...
147
click to vote
IFIP
2001
Springer
15 years 5 months ago
2001
Springer
This paper presents processing and visualization techniques for Diffusion Tensor Magnetic Resonance Imaging (DT-MRI). In DT-MRI, each voxel is assigned a tensor that describes loc...
117
click to vote
SIGADA
1999
Springer
15 years 5 months ago
1999
Springer
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
154
click to vote
ICALP
1998
Springer
15 years 5 months ago
1998
Springer
Interval Routing Schemes (IRS for short) have been extensively investigated in the past years with special emphasis on shortest paths. Besides their theoretical interest, IRS have...