26957 search results - page 98 / 5392 » Information Systems Modernization |
ASPDAC
2005
ACM
14 years 2 months ago
2005
ACM
Abstract— Learning is an essential pruning technique in modern SAT solvers, but it exploits a relatively small amount of information that can be deduced from the conflicts. Rece...
ESCIENCE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper examines various aspects of "openness" in research, and seeks to gauge the degree to which escience is congruent with "open science." Norms and prac...
SIGOPS
2010
13 years 4 months ago
2010
Modern chip-level multiprocessors (CMPs) contain multiple processor cores sharing a common last-level cache, memory interconnects, and other hardware resources. Workloads running ...
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
High-performance data-intensive query processing tasks like OLAP, data mining or scientific data analysis can be severely I/O bound, even when high-end RAID storage systems are us...
ACMSE
2009
ACM
14 years 3 months ago
2009
ACM
Most modern microprocessor-based systems provide support for superpages both at the hardware and software level. Judicious use of superpages can significantly cut down the number...