1351 search results - page 212 / 271 » Towards a Spreadsheet Engineering |
107
click to vote
KDD
2009
ACM
16 years 13 days ago
2009
ACM
Motivation: Data centers are a critical component of modern IT infrastructure but are also among the worst environmental offenders through their increasing energy usage and the re...
115
click to vote
WSDM
2010
ACM
15 years 9 months ago
2010
ACM
Although Web search engines are targeted towards helping people find new information, people regularly use them to re-find Web pages they have seen before. Researchers have noted ...
120
click to vote
ICS
2009
Tsinghua U.
15 years 6 months ago
2009
Tsinghua U.
Matching regular expressions (regexps) is a very common workload. For example, tokenization, which consists of recognizing words or keywords in a character stream, appears in ever...
ICSM
2007
IEEE
15 years 6 months ago
2007
IEEE
Bioinformaticists use the Basic Local Alignment Search Tool (BLAST) to characterize an unknown sequence by comparing it against a database of known sequences, thus detecting evolu...
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...