Sciweavers

1287 search results - page 131 / 258
» The Computation of Semantic Data Cube
Sort
View
CGI
1998
IEEE
14 years 2 months ago
An Architecture of a Universal DBMS for Graphics Applications
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
Andrey Collison, Hanspeter Bieri
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
14 years 2 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
DAC
1996
ACM
14 years 2 months ago
How to Write Awk and Perl Scripts to Enable Your EDA Tools to Work Together
1 Two tutorials are presented introducing the basic syntax and semantics of Awk and Perl. The languages are taught by example, and the same example EDA applications are developed i...
Robert C. Hutchins, Shankar Hemmady
CISIS
2007
IEEE
13 years 10 months ago
Gridifying IBM's Generic Log Adapter to Speed-Up the Processing of Log Data
Problem determination in today's computing environments consumes between 30 and 70% of an organization’s IT resources and represents from one third to one half of their tot...
Claudi Paniagua, Fatos Xhafa, Thanasis Daradoumis
POPL
2012
ACM
12 years 5 months ago
Probabilistic relational reasoning for differential privacy
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
Gilles Barthe, Boris Köpf, Federico Olmedo, S...