dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Edgar G. Daylight Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdgar G. Daylight: Dijkstra's Rallying Cry for Generalization: The Advent of the Recursive Procedure, Late 1950s-Early 1960s. Comput. J. 54(11): 1756-1772 (2011)
2009
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdgar G. Daylight, Sandeep K. Shukla, Davide Sergio: Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic EXPRESS 2009: 26-40
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdgar G. Daylight, Sandeep K. Shukla: On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study. FM 2009: 273-288
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdgar 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdgar G. Daylight, Wouter M. Koolen, Paul M. B. Vitányi: On Time-Bounded Incompressibility of Compressible Strings CoRR abs/0809.2965: (2008)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdgar G. Daylight, Arnout Vandecappelle, Francky Catthoor: The formalism underlying EASYMAP. Sci. Comput. Program. 72(3): 71-135 (2008)
2007
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdgar G. Daylight, Sandeep K. Shukla: Local Causal Reasoning of a Safety-Critical Subway System. MEMOCODE 2007: 83-84
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarijn 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdgar 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)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdgar 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdgar 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdgar 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

Coauthor Index

1David Atienza (David Atienza Alonso) [3]
2Francky Catthoor [1] [2] [3] [4] [5] [6] [8]
3Serge Demeyer [5] [6]
4Bart Demoen [4]
5Tom Dhaene (Tom D'haene) [5] [6]
6T. Fermentel [1]
7Wouter M. Koolen [9] [10]
8Jose Manuel Mendias (José M. Mendías) [3]
9Davide Sergio [12]
10Sandeep K. Shukla (Sandeep Kumar Shukla) [7] [11] [12]
11Marijn Temmerman [5] [6]
12Arnout Vandecappelle [3] [8]
13Paul M. B. Vitányi [9] [10]
14Sven Wuytack [2]
15Chantal Ykman-Couvreur [1] [2]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page