9702 search results - page 1560 / 1941 » Communicating Mobile Processes |
147
Voted
MSE
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper we present an FPGA-based daughtercard designed for TI’s C6000 family of DSP Starter Kits (DSKs). The hardware, initially designed for a course project, provides a ...
160
click to vote
TPHOL
2005
IEEE
16 years 10 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
275
click to vote
APLAS
2005
ACM
16 years 9 days ago
2005
ACM
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...
140
click to vote
SAC
2005
ACM
16 years 9 days ago
2005
ACM
Finding the appropriate location of adaptation points for computation migration/checkpointing is critical since the distance between two consecutive adaptation points determines t...
235
click to vote
WWW
2005
ACM
16 years 9 days ago
2005
ACM
Most research works on web retrieval latency are object-level based, which we think is insufficient and sometimes inaccurate. In this paper, we propose a fine grained operation-le...