210 search results - page 35 / 42 » Hob: A Tool for Verifying Data Structure Consistency |
EDBT
2006
ACM
14 years 7 months ago
2006
ACM
We present a novel framework for comprehensive exploration of OLAP data by means of user-defined dynamic hierarchical visualizations. The multidimensional data model behind the OLA...
BMCBI
2010
13 years 7 months ago
2010
Background: With the growing amount of biomedical data available in public databases it has become increasingly important to annotate data in a consistent way in order to allow ea...
PLPV
2009
ACM
14 years 4 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
ASPLOS
2011
ACM
12 years 11 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
INFOVIS
2003
IEEE
14 years 28 days ago
2003
IEEE
Satisfaction surveys are an important measurement tool in fields such as market research or human resources management. Serious studies consist of numerous questions and contain a...