14761 search results - page 2915 / 2953 » Optimization in Data Mining |
SIGSOFT
1995
ACM
15 years 1 months ago
1995
ACM
—We conducted a long-term experiment to compare the costs and benefits of several different software inspection methods. These methods were applied by professional developers to ...
VLDB
1987
ACM
15 years 1 months ago
1987
ACM
: A buffer is a main-memory area used to reduce accessto disks. The buffer holds pages from secondary storage files. A processrequesting a page causesa fault if the pageis not in t...
FAST
2010
15 years 9 days ago
2010
Journaling is a widely used technique to increase file system robustness against metadata and/or data corruptions. While the overhead of journaling can be masked by the page cache...
USENIX
2008
15 years 8 days ago
2008
A virtual cluster is a promising technology for reducing management costs and improving capacity utilization in datacenters and computer centers. However, recent cluster virtualiz...
APN
2008
Springer
14 years 12 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...