|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Uwe Glässer, Piper J. Jackson, Ali Khalili Araghi, Hans Wehn, Hamed Yaghoubi Shahir |
A Collaborative Decision Support Model for Marine Safety and Security Operations.  |
DIPES/BICC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf (eds.) |
Distributed, Parallel and Biologically Inspired Systems - 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Safouan Taha, Ansgar Radermacher, Sébastien Gérard |
An Entirely Model-Based Framework for Hardware Design and Simulation. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marilyn Wolf, Bernd Kleinjohann, Lisa Kleinjohann |
Preface. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller 0003, Yuan Zhi |
Task Migration for Fault-Tolerant FlexRay Networks. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Xie 0006, Wolfgang Müller 0003, Florian Letombe |
Efficient Mutation-Analysis Coverage for Constrained Random Verification. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Becker 0001, Henning Zabel, Wolfgang Müller 0003 |
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bojan Jakimovski, Michael Kotke, Martin Hörenz, Erik Maehle |
SelSta - A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot Walking. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjing Zhao, Jiangjun Tang, Sameer Alam, Axel Bender, Hussein A. Abbass |
Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Jorge Machado 0001, João M. Fernandes, João Paulo Barros, Luís Gomes 0001 |
Scenario-Based Modeling in Industrial Information Systems. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto |
Model Checking of Concurrent Algorithms: From Java to C. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Baudisch, Jens Brandt 0001, Klaus Schneider 0001 |
Dependency-Driven Distribution of Synchronous Programs. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth |
Model Checking the Ant Colony Optimisation. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nugroho Fredivianus, Urban Richter, Hartmut Schmeck |
Collaborating and Learning Predators on a Pursuit Scenario. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Abderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard |
Extending the Standard Execution Model of UML for Real-Time Systems. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudius Stern, Philipp Adelt, Matthias Schmitz, Lisa Kleinjohann, Bernd Kleinjohann |
An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Kollmann, Victor Pollex, Frank Slomka |
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter A. Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis |
Preface. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Müller 0003, Alexander Bol, Alexander Krupp, Ola Lundkvist |
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Abd-Alsabour |
Feature Selection for Classification Using an Ant System Approach. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Ernst |
Safety, Efficiency and Autonomy - Mastering Conflicting Trends in Embedded Systems Design. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Nogueira, Luís Miguel Pinho, Jorge Coelho 0001 |
Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roshan G. Ragel, Jude Angelo Ambrose, Jorgen Peddersen, Sri Parameswaran |
RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded Processors. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Fauberteau, Serge Midonnet, Laurent George 0001 |
Robust Partitioned Scheduling for Real-Time Multiprocessor Systems. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás G. Moreira, Marco A. Wehrmeister, Carlos Eduardo Pereira, Jean-François Pétin, Eric Levrat |
Generating VHDL Source Code from UML Models of Embedded Systems. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Lilius, Andreas Dahlin, Lionel Morel |
Rialto 2.0: A Language for Heterogeneous Computations. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp A. Hartmann, Kim Grüttner, Achim Rettberg, Ina Podolski |
Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sufyan Samara, Yuhong Zhao 0001, Franz J. Rammig |
Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bernauer, Johannes Zeppenfeld, Oliver Bringmann 0001, Andreas Herkersdorf, Wolfgang Rosenstiel |
Combining Software and Hardware LCS for Lightweight On-Chip Learning. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Fisch, Ferdinand Kastl, Bernhard Sick |
Novelty-Aware Attack Recognition - Intrusion Detection with Organic Computing Techniques. |
DIPES/BICC |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license