4460 search results - page 119 / 892 » Resources in process algebra |
154
click to vote
NCA
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents QuoCast, a resource-aware protocol for reliable stream diffusion in unreliable environments, where processes may crash and communication links may lose messa...
185
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
GPGPU is getting more and more important, but when using CUDA-enabled GPUs the special characteristics of NVIDIAs SIMT architecture have to be considered. Particularly, it is not ...
169
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
162
click to vote
CICLING
2005
Springer
15 years 8 months ago
2005
Springer
This paper discuses preliminary results on acoustic models creation through acoustic models already in existence for another language. In this work we show as case of study, the cr...
275
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper, we are concerned with the distributed monitoring of P2P systems. We introduce the P2P Monitor system and a new declarative language, namely P2PML, for specifying mo...