858 search results - page 123 / 172 » One Is Enough! |
ESOP
2001
Springer
14 years 1 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
INFOCOM
2000
IEEE
14 years 1 months ago
2000
IEEE
—When congestion builds up in a packet network, two general approaches are possible to cope with the shortage of buffer space. One approach is to drop incoming packets for which ...
VR
2000
IEEE
14 years 1 months ago
2000
IEEE
Usability has become one of the key ingredients in making virtual reality (VR) systems work, and a big part of a usable VR system is in the design of effective interface/interacti...
ICNP
1999
IEEE
14 years 1 months ago
1999
IEEE
A number of QoS routing algorithms have been proposed to address the dual objective of selecting feasible paths through the network with enough resources to satisfy a connections&...
IEEEPACT
1998
IEEE
14 years 1 months ago
1998
IEEE
Compile-time scheduling is one approach to extract parallelism which has proved effective when the execution behavior is predictable. Unfortunately, the performance of most priori...