1073 search results - page 204 / 215 » Reasoning about Continuous Processes |
197
Voted
VLDB
2007
ACM
16 years 2 months 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...
129
Voted
PODS
2002
ACM
16 years 2 months ago
2002
ACM
In multidimensional data models intended for online analytic processing (OLAP), data are viewed as points in a multidimensional space. Each dimension has structure, described by a...
116
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
153
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
111
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...