9110 search results - page 1656 / 1822 » Formally-Based Design Evaluation |
261
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
118
click to vote
RECOMB
2002
Springer
16 years 4 months ago
2002
Springer
There has been considerable recent interest in the use of haplotype structure to aid in the design and analysis of case-control association studies searching for genetic predictors...
224
click to vote
VLDB
2004
ACM
16 years 4 months ago
2004
ACM
In many applications involving continuous data streams, data arrival is bursty and data rate fluctuates over time. Systems that seek to give rapid or realtime query responses in su...
206
Voted
VLDB
2008
ACM
16 years 4 months ago
2008
ACM
Large highly distributed data sets are poorly supported by current query technologies. Applications such as endsystembased network management are characterized by data stored on l...
226
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 ...