|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 37 occurrences of 23 keywords
|
|
|
|
|
Results
Found 47 publication records. Showing 47 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli |
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Kirsch, Eloi Pereira, Raja Sengupta, Hao Chen, Robert Hansen, Jiangchuan Huang, Florian Landolt, Michael Lippautz, Andreas Rottmann, Ryan Swick, Rainer Trummer, D. Vizzini |
Cyber-physical cloud computing: The binding and migration problem. |
DATE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Christoph M. Kirsch, Ana Sokolova |
The Logical Execution Time Paradigm. |
Advances in Real-Time Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis |
Time-predictable and composable architectures for dependable embedded systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Kirsch, Luís Lopes, Eduardo R. B. Marques, Ana Sokolova |
Runtime Programming through Model-Preserving, Scalable Runtime Patches. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Aigner, Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova, Stephanie Stroka, Andreas Unterweger |
Short-term memory for self-collecting mutators. |
ISMM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Payer, Harald Röck, Christoph M. Kirsch, Ana Sokolova |
Scalability versus semantics of concurrent FIFO queues. |
PODC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Kirsch, Gernot Heiser (eds.) |
European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, Salzburg, Austria, April 10-13, 2011 |
EuroSys |
2011 |
DBLP BibTeX RDF |
|
| 1 | Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova |
Power-aware temporal isolation with variable-bandwidth servers. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Kirsch, Luís Lopes, Eduardo R. B. Marques, Ana Sokolova |
Runtime Programming through Model-Preserving, Scalable Runtime Patches. |
FACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Silviu S. Craciunas, Christoph M. Kirsch, Ana Sokolova |
Response Time versus Utilization in Scheduler Overhead Accounting. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2010 |
DBLP DOI BibTeX RDF |
Scheduling, Real time systems |
| 1 | Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer |
Low-latency time-portable real-time programming with Exotasks. |
ACM Trans. Embedded Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
time portability, virtual machine, Real-time scheduling, UAVs |
| 1 | Christoph M. Kirsch, Reinhard Wilhelm |
EMSOFT 2007 guest editors' introduction. |
Design Autom. for Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Harald Röck, Ana Sokolova |
Programmable temporal isolation through variable-bandwidth servers. |
SIES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova |
Distributed, Modular HTL. |
IEEE Real-Time Systems Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Röck, Joshua S. Auerbach, Christoph M. Kirsch, David F. Bacon |
Avoiding unbounded priority inversion in barrier protocols using gang priority management. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Love, Jerry Jariyasunant, Eloi Pereira, Marco Zennaro, J. Karl Hedrick, Christoph M. Kirsch, Raja Sengupta |
CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Kirsch, Mahmut T. Kandemir (eds.) |
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009 |
LCTES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Silviu S. Craciunas, Christoph M. Kirsch, Harald Röck |
I/O resource management through system call scheduling. |
Operating Systems Review |
2008 |
DBLP DOI BibTeX RDF |
Linux |
| 1 | Silviu S. Craciunas, Christoph M. Kirsch, Hannes Payer, Ana Sokolova, Horst Stadler, Robert Staudinger |
A Compacting Real-Time Memory Management System. |
USENIX Annual Technical Conference |
2008 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli |
Logical Reliability of Interacting Real-Time Tasks. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Christoph M. Kirsch |
The embedded machine: Predictable, portable real-time code. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Real time, virtual machine |
| 1 | Christoph M. Kirsch, Reinhard Wilhelm (eds.) |
Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria |
EMSOFT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christoph M. Kirsch, Reinhard Wilhelm |
Grand challenges in embedded software. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
scheduling, performance, design, verification, analysis, embedded software, challenges |
| 1 | Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer |
Java takes flight: time-portable real-time programming with exotasks. |
LCTES |
2007 |
DBLP DOI BibTeX RDF |
time-portability, virtual machine, real-time scheduling, UAVs |
| 1 | Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan |
A hierarchical coordination language for interacting real-time tasks. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
real time, automotive systems |
| 1 | David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev |
High-level real-time programming in Java. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
scheduling, visualization, WCET, tasks, allocation |
| 1 | Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger |
A programmable microkernel for real-time systems. |
VEE |
2005 |
DBLP DOI BibTeX RDF |
real time, virtual machine, operating system |
| 1 | Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic |
Composable code generation for distributed giotto. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
distributed compilation, real time |
| 1 | Thomas A. Henzinger, Christoph M. Kirsch |
A typed assembly language for real-time programs. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
real time, virtual machine, typed assembly language |
| 1 | Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido |
Event-Driven Programming with Logical Execution Times. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Meyer |
Soft typing for clausal inference systems. |
|
2004 |
RDF |
|
| 1 | Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch |
Giotto: a time-triggered language for embedded programming. |
Proceedings of the IEEE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic |
Schedule-Carrying Code. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Christoph M. Kirsch |
The Embedded Machine: Predictable, Portable Real-Time Code. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
real time, virtual machine |
| 1 | Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree |
A Giotto-Based Helicopter Control System. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph M. Kirsch |
Principles of Real-Time Programming. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic |
Time-Safety Checking for Embedded Programs. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch |
Giotto: A Time-Triggered Language for Embedded Programming. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Christoph M. Kirsch (eds.) |
Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings |
EMSOFT |
2001 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang |
JMOCHA: A Model Checking Tool that Exploits Design Structure. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch |
Embedded Control Systems Development with Giotto. |
LCTES/OM |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Ganzinger, Christoph Meyer, Margus Veanes |
The Two-Variable Guarded Fragment with Transitive Relations. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
Two-Variable First-Order Logics, Modal Logics, Transitivity, Guarded Fragment |
| 1 | Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt |
A Resolution-Based Decision Procedure for Extensions of K4. |
Advances in Modal Logic |
1998 |
DBLP BibTeX RDF |
|
| 1 | Florent Jacquemard, Christoph Meyer, Christoph Weidenbach |
Unification in Extension of Shallow Equational Theories. |
RTA |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Ganzinger, Christoph Meyer, Christoph Weidenbach |
Soft Typing for Ordered Resolution. |
CADE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Graf, Christoph Meyer |
Advanced Indexing Operations on Substitution Trees. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #47 of 47 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")