2251 search results - page 437 / 451 » Specification and Implementation Problems for C |
131
click to vote
SIGCOMM
2005
ACM
15 years 7 months ago
2005
ACM
Achieving efficient and fair bandwidth allocation while minimizing packet loss in high bandwidth-delay product networks has long been a daunting challenge. Existing endto-end cong...
124
click to vote
SIGUCCS
2005
ACM
15 years 7 months ago
2005
ACM
Educational Partnerships and Learning Technologies (EPLT) [1] at the University of Washington maintains and supports a fleet of approximately 1,000 general-access student computin...
113
click to vote
SAGA
2005
Springer
15 years 7 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
114
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
104
Voted
DOCENG
2004
ACM
15 years 7 months ago
2004
ACM
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...