|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 39 occurrences of 25 keywords
|
|
|
|
|
Results
Found 39 publication records. Showing 39 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xin Li, Reinhard von Hanxleden |
Multithreaded Reactive Programming - the Kiel Esterel Processor.  |
IEEE Trans. Computers  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Goerigk, Wilhelm Hasselbring, Gregor Hennings, Reiner Jung, Holger Neustock, Heiko Schaefer, Christian Schneider, Elferik Schultz, Thomas Stahl, Reinhard von Hanxleden, Steffen Weik, Stefan Zeug |
Entwurf einer domänenspezifischen Sprache für elektronische Stellwerke. |
Software Engineering |
2012 |
DBLP BibTeX RDF |
|
| 1 | Claus Traulsen, T. Amende, Reinhard von Hanxleden |
Compiling SyncCharts to Synchronous C. |
DATE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Claus Traulsen, Reinhard von Hanxleden |
Reactive parallel processing for synchronous dataflow. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
Scade, reactive processors, synchronous languages, parallel execution, synchronous dataflow, Lustre |
| 1 | Hauke Fuhrmann, Reinhard von Hanxleden |
Taming Graphical Modeling. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Motika, Hauke Fuhrmann, Reinhard von Hanxleden |
Semantics and Execution of Domain Specific Models. |
GI Jahrestagung |
2010 |
DBLP BibTeX RDF |
|
| 1 | Reinhard von Hanxleden |
SyncCharts in C: a proposal for light-weight, deterministic concurrency. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming |
| 1 | Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen |
Tight WCRT analysis of synchronous C programs. |
CASES |
2009 |
DBLP DOI BibTeX RDF |
precision timed machines, model checking, synchronous languages, static timing analysis |
| 1 | Michael Mendler, Reinhard von Hanxleden, Claus Traulsen |
WCRT algebra and interfaces for esterel-style synchronous processing. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Arne Schipper, Hauke Fuhrmann, Reinhard von Hanxleden |
Visual Comparison of Graphical Models. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miro Spönemann, Hauke Fuhrmann, Reinhard von Hanxleden, Petra Mutzel |
Port Constraints in Hierarchical Layout of Data Flow Diagrams. |
Graph Drawing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Boldt, Claus Traulsen, Reinhard von Hanxleden |
Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing. |
EURASIP J. Emb. Sys. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Boldt, Claus Traulsen, Reinhard von Hanxleden |
Worst Case Reaction Time Analysis of Concurrent Reactive Programs. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hauke Fuhrmann, Reinhard von Hanxleden |
On the Pragmatics of Model-Based Design. |
Monterey Workshop |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Lukoschus, Reinhard von Hanxleden |
Removing Cycles in Esterel Programs. |
EURASIP J. Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Täubrich, Reinhard von Hanxleden |
Formal Specification and Analysis of AFDX Redundancy Management Algorithms. |
SAFECOMP |
2007 |
DBLP DOI BibTeX RDF |
Redundancy Management, AFDX, Model Checking, Case Study, TLA |
| 1 | Steffen Prochnow, Reinhard von Hanxleden |
Statechart Development Beyond WYSIWYG. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Prochnow, Reinhard von Hanxleden |
The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study. |
GI Jahrestagung |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sascha Gädtke, Claus Traulsen, Reinhard von Hanxleden |
HW/SW co-design for Esterel processing. |
CODES+ISSS |
2007 |
DBLP DOI BibTeX RDF |
reactive processing, synchronous languages, Esterel, HW/SW co-design |
| 1 | Xin Li, Marian Boldt, Reinhard von Hanxleden |
Mapping esterel onto a multi-threaded embedded processor. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
low-power processing, concurrency, reactive systems, multi-threading, esterel |
| 1 | Xin Li, Reinhard von Hanxleden |
A concurrent reactive Esterel processor based on multi-threading. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
multithreading, processor architecture, synchronous languages, esterel |
| 1 | Steffen Prochnow, Reinhard von Hanxleden |
Comfortable modeling of complex reactive systems. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden |
Synthesizing safe state machines from Esterel. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
SyncCharts, safe state machines, textual/graphical languages, Statecharts, reactive systems, Esterel |
| 1 | Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner (eds.) |
Synchronous Programming - SYNCHRON'04, 28. November - 3. December 2004 |
SYNCHRON |
2005 |
DBLP BibTeX RDF |
|
| 1 | Xin Li, Jan Lukoschus, Marian Boldt, Michael Harder, Reinhard von Hanxleden |
An Esterel processor with full preemption support and its worst case reaction time analysis. |
CASES |
2005 |
DBLP DOI BibTeX RDF |
reaction time analysis, reactive processing, WCET, synchronous languages, Esterel |
| 1 | Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner |
04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04. |
SYNCHRON |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jan Lukoschus, Reinhard von Hanxleden |
Removing Cycles in Esterel Programs. |
SYNCHRON |
2004 |
DBLP BibTeX RDF |
|
| 1 | Xin Li, Reinhard von Hanxleden |
The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor. |
SYNCHRON |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stephen A. Edwards, Nicolas Halbwachs, Reinhard von Hanxleden, Thomas Stauner |
04491 Executive Summary - Synchronous Programming - SYNCHRON'04. |
SYNCHRON |
2004 |
DBLP BibTeX RDF |
|
| 1 | Reinhard von Hanxleden, Ken Kennedy |
A balanced code placement framework. |
ACM Trans. Program. Lang. Syst. |
2000 |
DBLP DOI BibTeX RDF |
Tarjan intervals, data-flow analysis, high performance Fortran, latency hiding, partial redundancy elimination, Fortran D |
| 1 | Terry W. Clark, Reinhard von Hanxleden, Ken Kennedy |
Experiences in Data-Parallel Programming. |
Scientific Programming |
1997 |
DBLP BibTeX RDF |
|
| 1 | Reinhard von Hanxleden, Ken Kennedy |
GIVE-N-TAKE - A Balanced Code Placement Framework. |
PLDI |
1994 |
DBLP DOI BibTeX RDF |
FORTRAN |
| 1 | Reinhard von Hanxleden, Ken Kennedy, Joel H. Saltz |
Value-Based Distributions in Fortran D. |
HPCN |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Raja Das, Joel H. Saltz, Reinhard von Hanxleden |
Slicing Analysis and Indirect Accesses to Distributed Arrays. |
LCPC |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard von Hanxleden, L. Ridgway Scott |
Correctness and determinism of Parallel Monte Carlo Processes. |
Parallel Computing |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard von Hanxleden, Ken Kennedy |
Relaxing SIMD Control Flow Constraints using Loop Transformations. |
PLDI |
1992 |
DBLP DOI BibTeX RDF |
FORTRAN |
| 1 | Reinhard von Hanxleden, Ken Kennedy, Charles Koelbel, Raja Das, Joel H. Saltz |
Compiler Analysis for Irregular Problems in Fortran D. |
LCPC |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard von Hanxleden, L. Ridgway Scott |
Load Balancing on Message Passing Architectures. |
J. Parallel Distrib. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard von Hanxleden, L. Ridgway Scott |
Parallelizing Dynamic Processes on Message Passing Architectures. |
PPSC |
1991 |
DBLP BibTeX RDF |
|
Displaying result #1 - #39 of 39 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")