2935 search results - page 558 / 587 » An Integrated Approach to High Integrity Software Verificati... |
229
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
SQL tuning--the attempt to improve a poorly-performing execution plan produced by the database query optimizer-is a critical aspect of database performance tuning. Ironically, as ...
233
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Existing work in the skyline literature focuses on optimizing the processing cost. This paper aims at minimization of the communication overhead in client-server architectures, wh...
158
click to vote
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
122
click to vote
ICCAD
2006
IEEE
16 years 29 days ago
2006
IEEE
High power consumption will shorten battery life for handheld devices and cause thermal and reliability problems. One way to lower the dynamic power consumption is to reduce the s...
141
click to vote
ICS
2009
Tsinghua U.
15 years 11 months ago
2009
Tsinghua U.
To sustain emerging data-intensive scientific applications, High Performance Computing (HPC) centers invest a notable fraction of their operating budget on a specialized fast sto...