3239 search results - page 616 / 648 » A Logical Process Calculus |
103
click to vote
OSDI
2004
ACM
16 years 23 days ago
2004
ACM
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...
182
click to vote
VLDB
2007
ACM
16 years 21 days ago
2007
ACM
Workload management for business intelligence (BI) queries poses different challenges than those addressed in the online transaction processing (OLTP) context. The fundamental pro...
183
Voted
SIGMOD
2009
ACM
16 years 21 days 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 ...
159
click to vote
SIGMOD
2008
ACM
16 years 19 days ago
2008
ACM
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
170
Voted
SIGMOD
2006
ACM
16 years 19 days ago
2006
ACM
Real-world data -- especially when generated by distributed measurement infrastructures such as sensor networks -- tends to be incomplete, imprecise, and erroneous, making it impo...