Compressed bitmap indexes are used in systems such as Git or Oracle to accelerate
queries. They represent sets and often support operations such as unions, intersections …

Automated synthesis of systems that are correct by construction has been a long-standing
goal of computer science. Synthesis is a creative task and requires human intuition and skill …

As the scale and complexity of software increases, the number of tests needed for effective
validation becomes extremely large. Executing these large test suites is expensive, both in …

Proposes a system for the segmentation and recognition of totally unconstrained
handwritten numeral strings. The system is composed of several document analysis …

Integral image data structures are very useful in computer vision applications that involve
machine learning approaches based on ensembles of weak learners. The weak learners …

Component Object Model (COM) is a fundamental binary-interface technology developed by
Microsoft, designed to facilitate the creation and interaction of software components in a …

We investigate the impact of using different algorithmic techniques and data representations
in algorithms to calculate the transitive closure of a finite binary relation. These techniques …

In most languages, booleans are stored in a byte or a larger unit, this is a sensible choice as
the byte is the minimally addressable unit. However, there are only two possible values for a …

The requirements and responsibilities assumed by software have increasingly rendered it to
be large and complex. Testing to ensure that software meets all its requirements and is free …

The distributed duplicate removal problem is concerned with the detection and subsequent
elimination of all duplicate elements in a given multiset that is distributed over several …