24554 search results - page 251 / 4911 » Dependable distributed systems |
203
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Multidimensional Analysis and On-Line Analytical Processing (OLAP) uses summary information that requires aggregate operations along one or more dimensions of numerical data value...
177
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
175
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...