1724 search results - page 315 / 345 » Concurrency in the Data Warehouse |
131
Voted
TSE
2010
15 years 8 days ago
2010
—In the past, researchers have developed specialized programs to aid programmers in detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data rac...
140
Voted
ANCS
2010
ACM
14 years 12 months ago
2010
ACM
TCP/IP, the most commonly used network protocol, consumes a significant portion of time in Internet servers. While a wide spectrum of studies has been done to reduce its processin...
126
click to vote
ICTAC
2010
Springer
14 years 12 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
165
Voted
EUROSYS
2010
ACM
15 years 8 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...
121
click to vote
DAC
2004
ACM
16 years 2 months ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...