312 search results - page 14 / 63 » Protocols for Non-Deterministic Communication over Synchrono... |
RTCSA
1999
IEEE
15 years 1 months ago
1999
IEEE
Abstract. We present an approach to static priority preemptive process scheduling for the synthesis of hard realtime distributed embedded systems where communication plays an impor...
109
click to vote
IPPS
1999
IEEE
15 years 1 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
84
Voted
INFOCOM
2000
IEEE
15 years 2 months ago
2000
IEEE
—An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented. A Markovian approach is developed that allows us...
JCS
2011
14 years 4 months ago
2011
One of the main challenges in pervasive computing is how we can establish secure communication over an untrusted high-bandwidth network without any initial knowledge or a Public K...
71
Voted
EUROPAR
2001
Springer
15 years 2 months ago
2001
Springer
As the technology for high-speed networks has evolved over the last decade, the interconnection of commodity computers (e.g., PCs and workstations) at gigabit rates has become a re...