5334 search results - page 912 / 1067 » Communicating quantum processes |
181
click to vote
IRREGULAR
1997
Springer
15 years 8 months ago
1997
Springer
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...
164
click to vote
MM
1996
ACM
15 years 8 months ago
1996
ACM
We present a regional news on demand television service over the Internet developed for the Norwegian Broadcasting Corporation (NRK), using a distributed video server and a WWW-in...
137
click to vote
PVM
1997
Springer
15 years 8 months ago
1997
Springer
Photo-realistic computergraphics is an area of research which tries to develop algorithms and methods to render images of arti cial models or worlds as realistically as possible, b...
166
click to vote
LICS
1993
IEEE
15 years 8 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
125
click to vote
IPPS
1994
IEEE
15 years 8 months ago
1994
IEEE
Present-day parallel computers often face the problems of large software Overheadsfor process switching and interprocessor communication. These problems are addressed by the Multi...