5334 search results - page 653 / 1067 » Communicating quantum processes |
159
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
180
click to vote
ISOLA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
146
click to vote
MATA
2004
Springer
16 years 7 days ago
2004
Springer
This project focuses on the implementation of a framework for mobile agents support within a grid environment project, namely InteGrade. Our goal is to present a framework where ti...
172
click to vote
PVM
2004
Springer
16 years 7 days ago
2004
Springer
On recent PC graphics cards, fully programmable parallel geometry and pixel units are available providing powerful instruction sets to perform arithmetic and logical operations. In...
175
click to vote
SAMOS
2004
Springer
16 years 7 days ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...