Sciweavers

1193 search results - page 185 / 239
» Database Query Languages and Functional Logic Programming
Sort
View
OOPSLA
2007
Springer
15 years 3 months ago
Ilea: inter-language analysis across java and c
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
Gang Tan, Greg Morrisett
PODS
2002
ACM
138views Database» more  PODS 2002»
15 years 10 months ago
Fast Algorithms For Hierarchical Range Histogram Construction
Data Warehousing and OLAPapplications typically view data as having multiple logical dimensions e.g., product, location with natural hierarchies de ned on each dimension. OLAP que...
Sudipto Guha, Nick Koudas, Divesh Srivastava
AMTA
1998
Springer
15 years 1 months ago
EMIS: A Multilingual Information System
The objective of the emis project is the conception and realization of a multilingualinformation system on European media law with the following functionalities: search by words, ...
Bärbel Ripplinger
DAC
2003
ACM
15 years 10 months ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
PVLDB
2010
86views more  PVLDB 2010»
14 years 8 months ago
Thirteen New Players in the Team: A Ferry-based LINQ to SQL Provider
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
Tom Schreiber, Simone Bonetti, Torsten Grust, Manu...