2266 search results - page 320 / 454 » Generalizing parametric timing analysis |
STOC
2004
ACM
16 years 1 months ago
2004
ACM
We investigate the design of algorithms resilient to memory faults, i.e., algorithms that, despite the corruption of some memory values during their execution, are able to produce...
172
Voted
SIGMOD
2007
ACM
16 years 25 days ago
2007
ACM
This paper describes query processing in the DBO database system. Like other database systems designed for ad-hoc, analytic processing, DBO is able to compute the exact answer to ...
185
Voted
SIGMOD
2005
ACM
16 years 25 days ago
2005
ACM
Nearly all components that comprise modern information technology, such as Computer Aided Software Engineering (CASE) tools, Enterprise Application Integration (EAI) environments,...
97
Voted
MOBIHOC
2003
ACM
16 years 8 days ago
2003
ACM
It is often useful to know the geographic positions of nodes in a communications network, but adding GPS receivers or other sophisticated sensors to every node can be expensive. W...
WSDM
2010
ACM
15 years 10 months ago
2010
ACM
Many web documents are dynamic, with content changing in varying amounts at varying frequencies. However, current document search algorithms have a static view of the document con...