Home > Publications > Reports > Informatics (CW) > 2002


CW353
P. Vanbroekhoven, G. Janssens, M. Bruynooghe, H. Corporaal, F. Catthoor
Advanced Signal Propagation
December 2002
abstract.html / report.pdf / email to: P. Vanbroekhoven

CW352
P. Rigole, Y. Berbers, T. Holvoet
Distributable lightweight components in a resource-aware ubiquitous computing environment
October 2002
abstract.html / report.pdf / email to: P. Rigole

CW351
B. Demoen, P.-L. Nguyen
What if [a] really equals .(a,[]) ?
October 2002
abstract.html / report.pdf / email to: B. Demoen

CW350
B. Demoen
Dynamic attributes, their hProlog implementation, and a first evaluation
October 2002
abstract.html / report.pdf / email to: B. Demoen

CW349
Y. Vandewoude, Y. Berbers
A meta-model driven methodology for state transfer in component-oriented systems
October 2002
abstract.html / report.pdf / email to: Y. Vandewoude

CW348
S. Verdoolaege, F. Catthoor, M. Bruynooghe, G. Janssens
Feasibility of incremental translation
October 2002
abstract.html / report.pdf / email to: S. Verdoolaege

CW347
S. Verbaeten, T. Cardoen
Techniques for Identifying Mislabeled Training Examples in ILP Classification Problems
September 2002
abstract.html / report.pdf / email to: S. Verbaeten

CW345
D. Urting, Y. Berbers
Runtime verification of timing constraints
July 2002
abstract.html / report.pdf / email to: D. Urting

CW344
B. Demoen
Proceedings of CICLOPS'2002, the Colloquium on Implementation of Constraint and LOgic Programming Systems
June 2002
abstract.html / report.pdf / email to: B. Demoen

CW343
K. Mertens, N. Smeets, M. van Dooren, J. Dockx, E. Steegmans
A New Semantics for JML Signals Clauses
June 2002
abstract.html / report.pdf / email to: K. Mertens

CW342
J. Dockx, M. van Dooren, E. Steegmans
Jutil.org
June 2002
abstract.html / report.pdf / email to: J. Dockx

CW341
J. Dockx
Accessibility and helper types
June 2002
abstract.html / report.pdf / email to: J. Dockx

CW340
J. Dockx, M. van Dooren, E. Steegmans
Dijkstra's dream: Internal iterators as software theorems
June 2002
abstract.html / report.pdf / email to: J. Dockx

CW339
J. Dockx, E. Steegmans
A new pedagogy for programming
June 2002
abstract.html / report.pdf / email to: J. Dockx

CW338
T. Schrijvers, B. Demoen
Combining an Improvement to PARMA Trailing with Analysis in HAL
April 2002
abstract.html / report.pdf / email to: T. Schrijvers

CW337
P. Bekaert, E. Steegmans
Using Non-Determinism for the Separate Specification of Structure and Behaviour
April 2002
abstract.html / report.pdf / email to: P. Bekaert

CW336
P. Peers, P. Dutré
Accurate image based re-lighting though optimization
April 2002
abstract.html / report.pdf / email to: P. Peers

CW335
V. Masselus, P. Dutré, F. Anrys
The Free-form Light Stage
April 2002
abstract.html / report.pdf / email to: V. Masselus

CW334
B. Demoen, Phuong-Lan Nguyen
Respecting the variable order in a copying garbage collector for the WAM
March 2002
abstract.html / report.pdf / email to: B. Demoen

CW333
S. Michiels, D. Walravens, N. Janssens, P. Verbaeten
DiPSUnit: an Extension of the JUnit Test Framework for DiPS
February 2002
abstract.html / report.pdf / email to: S. Michiels

CW332
S. Michiels, F. Matthijs, D. Walravens, P. verbaeten
DiPS: A Unifying Approach for developing System Software
February 2002
abstract.html / report.pdf / email to: S. Michiels

CW331
A. Serebrenik, D. De Schreye
On termination of programs with real numbers computations
February 2002
abstract.html / report.pdf / email to: A. Serebrenik

CW330
B. Demoen
A fresh look at garbage collection for Prolog
January 2002
abstract.html / report.pdf / email to: B. Demoen

CW329
B. Demoen, P.-L. Nguyen, R. Vandeginste
Copy_term/2 and garbage collection
January 2002
abstract.html / report.pdf / email to: B. Demoen

CW328
N. Janssens, S. Michiels and P. Verbaeten
DiPS/CuPS: a Framework for Runtime Customizable Protocol Stacks
January 2002
abstract.html / report.pdf / email to: N. Janssens