 | 2009 |
| 11 |  | Edgar G. Daylight,
Sandeep K. Shukla:
On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study.
FM 2009: 273-288 |
| 10 |  | Edgar G. Daylight,
Wouter M. Koolen,
Paul M. B. Vitányi:
Time-bounded incompressibility of compressible strings and sequences.
Inf. Process. Lett. 109(18): 1055-1059 (2009) |
| 2008 |
| 9 |  | Edgar G. Daylight,
Wouter M. Koolen,
Paul M. B. Vitányi:
On Time-Bounded Incompressibility of Compressible Strings
CoRR abs/0809.2965: (2008) |
| 8 |  | Edgar G. Daylight,
Arnout Vandecappelle,
Francky Catthoor:
The formalism underlying EASYMAP.
Sci. Comput. Program. 72(3): 71-135 (2008) |
| 2007 |
| 7 |  | Edgar G. Daylight,
Sandeep K. Shukla:
Local Causal Reasoning of a Safety-Critical Subway System.
MEMOCODE 2007: 83-84 |
| 6 |  | Marijn Temmerman,
Edgar G. Daylight,
Francky Catthoor,
Serge Demeyer,
Tom Dhaene:
Optimizing data structures at the modeling level in embedded multimedia.
Journal of Systems Architecture 53(8): 539-549 (2007) |
| 2005 |
| 5 |  | Marijn Temmerman,
Edgar G. Daylight,
Francky Catthoor,
Serge Demeyer,
Tom Dhaene:
Moving Up to the Modeling Level for the Transformation of Data Structures in Embedded Multimedia Applications.
SAMOS 2005: 445-454 |
| 2004 |
| 4 |  | Edgar G. Daylight,
Bart Demoen,
Francky Catthoor:
Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach.
Electr. Notes Theor. Comput. Sci. 108: 99-112 (2004) |
| 3 |  | Edgar G. Daylight,
David Atienza,
Arnout Vandecappelle,
Francky Catthoor,
José M. Mendías:
Memory-access-aware data structure transformations for embedded software with dynamic data accesses.
IEEE Trans. VLSI Syst. 12(3): 269-280 (2004) |
| 2002 |
| 2 |  | Edgar G. Daylight,
Sven Wuytack,
Chantal Ykman-Couvreur,
Francky Catthoor:
Analyzing energy friendly steady state phases of dynamic application execution in terms of sparse data structures.
ISLPED 2002: 76-79 |
| 1 |  | Edgar G. Daylight,
T. Fermentel,
Chantal Ykman-Couvreur,
Francky Catthoor:
Incorporating energy efficient data structures into modular software implementations for internet-based embedded systems.
Workshop on Software and Performance 2002: 134-141 |