Sciweavers

30240 search results - page 667 / 6048
» Robust System Design
Sort
View
IPPS
1999
IEEE
15 years 11 months ago
Design and Implementation of a Scalable Parallel System for Multidimensional Analysis and OLAP
Multidimensional Analysis and On-Line Analytical Processing (OLAP) uses summary information that requires aggregate operations along one or more dimensions of numerical data value...
Sanjay Goil, Alok N. Choudhary
166
Voted
FM
1999
Springer
122views Formal Methods» more  FM 1999»
15 years 11 months ago
Towards a Compositional Approach to the Design and Verification of Distributed Systems
Michel Charpentier, K. Mani Chandy