Search the dblp DataBase

Publications of Author

1. 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. [Citation Graph (0, 0)][DBLP]
   ISLPED, 2002, pp:76-79 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   SAMOS, 2005, pp:445-454 [Conf]
   
3. Edgar G. Daylight, T. Fermentel, Chantal Ykman-Couvreur, Francky Catthoor
   Incorporating energy efficient data structures into modular software implementations for internet-based embedded systems. [Citation Graph (0, 0)][DBLP]
   Workshop on Software and Performance, 2002, pp:134-141 [Conf]
   
4. Edgar G. Daylight, Bart Demoen, Francky Catthoor
   Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:108, n:, pp:99-112 [Journal]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. VLSI Syst., 2004, v:12, n:3, pp:269-280 [Journal]
   
6. Edgar G. Daylight, Sandeep K. Shukla
   Local Causal Reasoning of a Safety-Critical Subway System. [Citation Graph (0, 0)][DBLP]
   MEMOCODE, 2007, pp:83-84 [Conf]
   
7. Marijn Temmerman, Edgar G. Daylight, Francky Catthoor, Serge Demeyer, Tom Dhaene
   Optimizing data structures at the modeling level in embedded multimedia. [Citation Graph (0, 0)][DBLP]
   Journal of Systems Architecture, 2007, v:53, n:8, pp:539-549 [Journal]
   
8. 
   On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study. [Citation Graph (, )][DBLP]
   
   
9. 
   On Time-Bounded Incompressibility of Compressible Strings [Citation Graph (, )][DBLP]
   
   
10. 
    Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic [Citation Graph (, )][DBLP]