3053 search results - page 36 / 611 » Performance of Generative Programming Based Protocol Impleme... |
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
FPL
2006
Springer
13 years 11 months ago
2006
Springer
Emerging embedded System-on-Chip (SoC) platforms are increasingly becoming multiprocessor architectures. The advances in the FPGA chip technology make the implementation of such a...
LOPSTR
2001
Springer
14 years 3 days ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
ICPP
1997
IEEE
13 years 11 months ago
1997
IEEE
In this paper we propose a novel software-only distributed sharedmemory system (SW-DSM), the Affinity Entry Consistency (AEC) protocol. The protocol is based on Entry Consistency ...
IWCMC
2010
ACM
13 years 5 months ago
2010
ACM
This work presents a cross-layer modification to the DSR protocol which discovers high throughput paths on multi-hop wireless mesh networks. The modified DSR incorporates a metric...