|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Martin Lukasiewycz, Michael Glaß, Felix Reimann, Jürgen Teich |
Opt4J: a modular framework for meta-heuristic optimization.  |
GECCO  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Wildermann, Felix Reimann, Jürgen Teich, Zoran Salcic |
Operational mode exploration for reconfigurable systems with multiple applications. |
FPT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Reimann, Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich |
Symbolic system synthesis in the presence of stringent real-time constraints. |
DAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Wildermann, Felix Reimann, Daniel Ziener, Jürgen Teich |
Symbolic design space exploration for multi-mode reconfigurable systems. |
CODES+ISSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Haubelt, Dirk Koch, Felix Reimann, Thilo Streichert, Jürgen Teich |
ReCoNets - Design Methodology for Embedded Systems Consisting of Small Networks of Reconfigurable Nodes and Connections. |
Dynamically Reconfigurable Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich |
Symbolic system level reliability analysis. |
ICCAD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Reimann, Michael Glaß, Christian Haubelt, Michael Eberl, Jürgen Teich |
Improving platform-based system synthesis by satisfiability modulo theories solving. |
CODES+ISSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich |
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich |
Symbolic Reliability Analysis and Optimization of ECU Networks. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Reimann, Michael Glabeta, Martin Lukasiewycz, Joachim Keinert, Christian Haubelt, Jürgen Teich |
Symbolic voter placement for dependability-aware system synthesis. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
mttuf, bdd, system synthesis, voter, mean time to failure, mttf |
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")