9702 search results - page 136 / 1941 » Communicating Mobile Processes |
141
click to vote
IWNAS
2006
IEEE
15 years 10 months ago
2006
IEEE
RDMA reduces network latency by eliminating unnecessary copies from network interface cards to application buffers, but how to reduce memory registration cost is a challenge. Prev...
130
click to vote
FGR
1996
IEEE
15 years 8 months ago
1996
IEEE
In Computer Mediated Communication such as desktop video conferencing, static video cameras provide a restricted field of view of remote sites. The effective field of view can be ...
123
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...
136
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
A tool that automates the floating-point to fixed-point conversion (FFC) process for digital signal processing systems is described. The tool automatically optimizes fixed-point d...
144
click to vote
ICWS
2008
IEEE
15 years 5 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...