3238 search results - page 491 / 648 » On the Computational Interpretation of Negation |
161
click to vote
PDP
2010
IEEE
15 years 10 months ago
2010
IEEE
In the last years high performance processor designs have evolved toward Chip-Multiprocessor (CMP) architectures that implement multiple processing cores on a single die. As the nu...
155
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
—Transmission power plays a crucial role in the design and performance of wireless networks. The issue is therefore complex since an increase in transmission power implies that a...
169
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
155
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract. An accurate analysis of a large dynamic system like our oceans requires spatially fine and temporally matched data collection methods. Current methods to estimate fish st...
170
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
This work studies the security of ten popular package managers. These package managers use different security mechanisms that provide varying levels of usability and resilience to...