Sciweavers

9494 search results - page 331 / 1899
» Gaussian Process Networks
Sort
View
FSTTCS
2005
Springer
15 years 10 months ago
The MSO Theory of Connectedly Communicating Processes
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang
CONCUR
2000
Springer
15 years 8 months ago
Process Spaces
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
Radu Negulescu
CSCWD
2006
Springer
15 years 8 months ago
A Process Traceability Methodology to Support Conflict Management
The process of collaborative engineering design is relatively complex, and often results in various conflicts due to multi-actors interactions. Therefore, a critical element of co...
Mohamed-Zied Ouertani, Lilia Gzara Yesilbas, Gabri...
ASPDAC
2005
ACM
104views Hardware» more  ASPDAC 2005»
15 years 6 months ago
Skew scheduling and clock routing for improved tolerance to process variations
The synthesis of clock network in the presence of process variation is becoming a vital design issue towards the performance of digital circuits. In this paper, we propose a clock ...
Ganesh Venkataraman, Cliff C. N. Sze, Jiang Hu
SNPD
2003
15 years 5 months ago
Stream Processing on the Grid: an Array Stream Transforming Language
Specific requirements of stream processing on the Grid are discussed. We argue that when the stream processing paradigm is used for cluster computing, the processing components c...
Alexander V. Shafarenko