2106 search results - page 233 / 422 » Specifying C concepts |
172
click to vote
PROMS
2001
Springer
15 years 8 months ago
2001
Springer
Despite its obvious suitability for distributed multimedia applications, multicasting has not yet found widespread application. Having analyzed shortcomings of today's approac...
138
Voted
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we propose to use a simple packet servicing algorithm suitable for servicing bursty real-time multimedia traffic streams in packet-switched networks. These real-tim...
104
Voted
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this d...
139
Voted
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
141
Voted
SIGCOMM
2000
ACM
15 years 8 months ago
2000
ACM
Current routing protocols are monolithic, specifying the algorithm used to construct forwarding tables, the metric used by the algorithm (generally some form of hop-count), and th...