3238 search results - page 488 / 648 » On the Computational Interpretation of Negation |
157
click to vote
ICDCS
2007
IEEE
16 years 22 days ago
2007
IEEE
In this paper, we propose and prove correct a distributed stabilizing implementation of an overlay, called DR-tree, optimized for efficient selective dissemination of information...
179
click to vote
ISCA
2007
IEEE
16 years 22 days ago
2007
IEEE
Virtual Private Machines (VPM) provide a framework for Quality of Service (QoS) in CMP-based computer systems. VPMs incorporate microarchitecture mechanisms that allow shares of h...
170
click to vote
GD
2007
Springer
16 years 18 days ago
2007
Springer
A geometric simultaneous embedding of two graphs G1 = (V1, E1) and G2 = (V2, E2) with a bijective mapping of their vertex sets γ : V1 → V2 is a pair of planar straightline drawi...
204
click to vote
ICS
2007
Tsinghua U.
16 years 17 days ago
2007
Tsinghua U.
Software or hardware data cache prefetching is an efficient way to hide cache miss latency. However effectiveness of the issued prefetches have to be monitored in order to maximi...
192
click to vote
ICDCS
2006
IEEE
16 years 14 days ago
2006
IEEE
— Active queue management (AQM) in routers has been proposed as a solution to some of the scalability issues associated with TCP’s pure end-to-end approach to congestion contro...