5334 search results - page 44 / 1067 » Communicating quantum processes |
127
click to vote
ICWS
2008
IEEE
15 years 3 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
108
click to vote
EUROPAR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Typical sensor nodes are composed of cheap hardware because they have to be affordable in great numbers. This means that memory and communication bandwidth are small, CPU...
114
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
: This work tries to reuse programmable communication resources like a Network-on-Chip (NoC) in the acceleration of image applications. We show a mathematical model for the computa...
ACSD
2006
IEEE
15 years 8 months ago
2006
IEEE
an Algebra of Abstractions for Communicating Processes M. Koutny, Giuseppe Pappalardo and M. Pietkiewicz-Koutny. TECHNICAL REPORT SERIES No. CS-TR-949 Febuary, 2006 NEWCASTLE UN IV...
115
click to vote
WOTUG
2008
15 years 3 months ago
2008
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...