5334 search results - page 343 / 1067 » Communicating quantum processes |
169
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
We are interested in de ning and querying views in a huge and highly heterogeneous XML repository Web scale . In this context, view de nitions are very large and there is no appa...
187
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Edge detection in computer vision and image processing is a process which detects one kind of signi cant features appearing as discontinuities in intensities. A parallel edge detec...
195
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
165
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
The ability to characterize visualizations would bring several benefits to the design process. It would help designers to assess their designs, reuse existing designs in new contex...
177
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...