3238 search results - page 300 / 648 » On the Computational Interpretation of Negation |
170
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
Gossip-based protocol has been widely adopted by many large-scale multicast applications. In this paper, we study the impact of node cheating on decentralized gossip-based protocol...
154
click to vote
NSDI
2007
15 years 9 months ago
2007
Determining the physical location of Internet hosts is a critical enabler for many new location-aware services. In this paper, we present Octant, a novel, comprehensive framework ...
155
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
Microprocessor trends are moving towards wider architectures and more aggressive speculation. With the increasing transistor budgets, energy consumption has become a critical desi...
179
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Grid-warping is a recent placement strategy based on a novel physical analogy: rather than move the gates to optimize their location, it elastically deforms a model of the 2-D chi...
166
click to vote
PADL
2010
Springer
15 years 8 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...