691 search results - page 18 / 139 » Design and implementation of a dynamic protocol framework |
137
click to vote
SIGCOMM
1999
ACM
15 years 10 months ago
1999
ACM
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
135
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
165
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The current IETF standardization work has highlighted the feasibility of providing the users with a QoS network architecture in the framework of Integrated Services over Different...
141
click to vote
ICDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
In a system proposed by Plaxton, Rajaraman and Richa (PRR), the expected cost of accessing a replicated object was proved to be asymptotically optimal for a static set of nodes an...
177
click to vote
TON
2010
15 years 16 days ago
2010
Accurately selecting modulation rates for time-varying channel conditions is critical for avoiding performance degradations due to rate overselection when channel conditions degra...