Sciweavers

93 search results - page 19 / 19
» SDL
Sort
View
INFOCOM
2007
IEEE
13 years 12 months ago
Constructions of Fault Tolerant Linear Compressors and Linear Decompressors
— The constructions of optical buffers is one of the most critically sought after optical technologies in all-optical packet-switched networks, and constructing optical buffers d...
Cheng-Shang Chang, Tsz-Hsuan Chao, Jay Cheng, Duan...
MSWIM
2006
ACM
13 years 11 months ago
Testing methodology for an ad hoc routing protocol
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...
Stéphane Maag, Fatiha Zaïdi
ICNP
1999
IEEE
13 years 10 months ago
Automated Protocol Implementations Based on Activity Threads
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
Peter Langendörfer, Hartmut König