CW653
Robbie Vincke, Nico De Witte, and Jeroen Boydens
Feasibility exploration of partial Reconfigurable FPGA for REAL products
December 2013
abstract.html / report.pdf (758K) / email to: J. Boydens

CW652
Stefan Walraven, Dimitri Van Landuyt, Fatih Gey, Wouter Joosen
Service line engineering in practice: Developing an integrated document processing SaaS application
November 2013; Revised February 2014
abstract.html / report.pdf (1.2M) / email to: S. Walraven

CW651
Marco Patrignani and Dave Clarke
Fully abstract trace semantics for low-level isolation mechanisms — Extended version
November 2013
abstract.html / report.pdf (428K) / email to: M. Patrignani

CW650
Albrecht Zimmermann and Jesse Davis
MLSA13 - Proceedings of ``Machine Learning and Data Mining for Sports Analytics'', workshop @ ECML/PKDD 2013
November 2013
abstract.html / report.pdf (3.6M) / email to: A. Zimmermann

CW649
Thomas Winant, Dominique Devriese, Frank Piessens, and Tom Schrijvers
Partial type signatures for Haskell: Extended version with proofs of the theorems
November 2013
abstract.html / report.pdf (425K) / email to: T. Winant

CW648
Albrecht Zimmermann
Feature construction based on class outliers
November 2013
abstract.html / report.pdf (1.0M) / email to: A. Zimmermann

CW647
Albrecht Zimmermann
Distance-based adaptive k-neighborhood selection
November 2013
abstract.html / report.pdf (952K) / email to: A. Zimmermann

CW646
Marco Patrignani, Dave Clarke, and Frank Piessens
Secure compilation of Object-Oriented components to protected module architectures - Extended version
September 2013
abstract.html / report.pdf (840K) / email to: M. Patrignani

CW645
Bart Demoen
Lifting redundancy from Latin squares to pandiagonal Latin squares
August 2013
abstract.html / report.pdf (313K) / email to: B. Demoen

CW644
Broes De Cat, Bart Bogaerts, Jo Devriendt and Marc Denecker
Model expansion in the presence of function symbols using constraint programming
July 2013
abstract.html / report.pdf (410K) / email to: B. De Cat

CW643
Milica Milutinovic and Bart De Decker
Comprehensibe eHealth system design for privacy protection
July 2013
abstract.html / report.pdf (4.2M) / email to: M. Milutinovic

CW642
Nico De Witte, Robbie Vincke, Sille Van Landschoot, Jeroen Boydens
Evaluation of a dual-core SMP and AMP architecture based on an embedded case study
July 2013
abstract.html / report.pdf (1.7M) / email to: J. Boydens

CW641
Henning Christiansen and Jon Sneyers
Proceedings of the 10th International Workshop on Constraint Handling Rules (CHR 2013)
June 2013
abstract.html / report.pdf (1.0M) / email to: J. Sneyers

CW640
Pieter Van Hertum, Joost Vennekens, Bart Bogaerts, Jo Devriendt, and Marc Denecker
The effects of buying a new car: an extension of the IDP Knowledge Based System
June 2013
abstract.html / report.pdf (409K) / email to: P. Van Hertum

CW639
Dimitar Shterionov, Theofrastos Mantadelis, Gerda Janssens
Pattern-based compaction for ProbLog inference
July 2013
abstract.html / report.pdf (1.6M) / email to: G. Janssens

CW638
Gijs Vanspauwen and Bart Jacobs
VeriFast: Sound symbolic linking in the presence of preprocessing
June 2013
abstract.html / report.pdf (445K) / email to: G. Vanspauwen

CW637
José Proença and Dave Clarke
Solving data-sensitive coordination constraints
February 2013
abstract.html / report.pdf (2.4M) / email to: J. Proença

CW636
Bart Demoen and Maria Garcia de la Banda
Inequalities in 2x2-Sudoku and beyond
February 2013
abstract.html / report.pdf (631K) / email to: B. Demoen

CW635
Bart Demoen, Maria Garcia de la Banda
Latin Squares and redundant inequalities
February 2013
abstract.html / report.pdf (383K) / email to: B. Demoen

CW634
Willem Van Onsem, Bart Demoen
Analyse en vergelijking van zestien implementaties uit de CHeSC 2011 competitie
January 2013
abstract.html / report.pdf (360K) / email to: B. Demoen

CW633
Bart Demoen, Phuong-Lan Nguyen
The classification of graphs with a redundant inequality
January 2013
abstract.html / report.pdf (446K) / email to: B. Demoen

CW632
Kevin Fockaert, Laurent Janssens, Bart Demoen
On (an error in) the Simultaneous Hall Condition
January 2013
abstract.html / report.pdf (340K) / email to: B. Demoen

CW631
Tom Schrijvers, Bart Demoen, Benoit Desouter
Delimited continuations in Prolog: Semantics, use and implementation in the WAM
January 2013
abstract.html / report.pdf (296K) / email to: B. Demoen

CW630
Marco Patrignani, Dave Clarke, and Frank Piessens
Secure compilation of oject-oriented components to untyped machine code
January 2013
abstract.html / report.pdf (762K) / email to: M. Patrignani