|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 5 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Edgar G. Daylight |
Dijkstra's Rallying Cry for Generalization: The Advent of the Recursive Procedure, Late 1950s-Early 1960s.  |
Comput. J.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edgar G. Daylight, Wouter M. Koolen, Paul M. B. Vitányi |
Time-bounded incompressibility of compressible strings and sequences. |
Inf. Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Edgar 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Edgar G. Daylight, Sandeep K. Shukla |
On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study. |
FM |
2009 |
DBLP DOI BibTeX RDF |
adaptability, non-functional requirements, formal specification languages, local reasoning |
| 1 | Edgar G. Daylight, Arnout Vandecappelle, Francky Catthoor |
The formalism underlying EASYMAP. |
Sci. Comput. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Edgar G. Daylight, Wouter M. Koolen, Paul M. B. Vitányi |
On Time-Bounded Incompressibility of Compressible Strings |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Edgar G. Daylight, Sandeep K. Shukla |
Local Causal Reasoning of a Safety-Critical Subway System. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Edgar G. Daylight, Bart Demoen, Francky Catthoor |
Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2004 |
DBLP BibTeX RDF |
|
| 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. |
ISLPED |
2002 |
DBLP DOI BibTeX RDF |
on-chip memory footprint, partitioned data structure, energy consumption |
| 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 |
DBLP DOI BibTeX RDF |
on-chip memory footprint, partitioned data structure, energy consumption |
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")