Search Results - KIRSCH, Christoph M

Refine Results
  1. 1
    ASE: A Value Set Decision Procedure for Symbolic Execution

    ASE: A Value Set Decision Procedure for Symbolic Execution by Abyaneh, Alireza S., Kirsch, Christoph M.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Giotto: a time-triggered language for embedded programming

    Giotto: a time-triggered language for embedded programming by Henzinger, T.A., Horowitz, B., Kirsch, C.M.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Cloud Computing in Space

    Cloud Computing in Space by Huang, Jiangchuan, Kirsch, Christoph M, Sengupta, Raja

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    What we eval in the shadows: a large-scale study of eval in R programs

    What we eval in the shadows: a large-scale study of eval in R programs by Goel, Aviral, Donat-Bouillud, Pierre, Křikava, Filip, Kirsch, Christoph M., Vitek, Jan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    The Embedded Machine : Predictable, Portable Real-Time Code

    The Embedded Machine : Predictable, Portable Real-Time Code by HENZINGER, Thomas A, KIRSCH, Christoph M

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Temporal isolation in real-time systems: the VBS approach

    Temporal isolation in real-time systems: the VBS approach by Craciunas, Silviu S., Kirsch, Christoph M., Payer, Hannes, Röck, Harald, Sokolova, Ana

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Response Time versus Utilization in Scheduler Overhead Accounting

    Response Time versus Utilization in Scheduler Overhead Accounting by Craciunas, Silviu S, Kirsch, Christoph M, Sokolova, Ana

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Low-latency time-portable real-time programming with Exotasks

    Low-latency time-portable real-time programming with Exotasks by Auerbach, Joshua, Bacon, David F., Iercan, Daniel, Kirsch, Christoph M., Rajan, V. T., Röck, Harald, Trummer, Rainer

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Incorrect systems: it's not the problem, it's the solution

    Incorrect systems: it's not the problem, it's the solution by Kirsch, Christoph M., Payer, Hannes

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    I/O resource management through system call scheduling

    I/O resource management through system call scheduling by Craciunas, Silviu S., Kirsch, Christoph M., Röck, Harald

    Get full text
    Items that this one cites
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code

    Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code by Ghosal, Arkadeb, Iercan, Daniel, Kirsch, Christoph M., Henzinger, Thomas A., Sangiovanni-Vincentelli, Alberto

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 12
    I/O Resource Management through System Call Scheduling: Research and Developments in the Linux Kernel

    I/O Resource Management through System Call Scheduling: Research and Developments in the Linux Kernel by CRACIUNAS, Silviu S, KIRSCH, Christoph M, ROCK, Harald

    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    From control models to real-time code using Giotto

    From control models to real-time code using Giotto by Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A., Pree, W.

    Published in IEEE control systems
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    Quantum Advantage for All

    Quantum Advantage for All by Kirsch, Christoph M, Stefanie Muroya Lei

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Runtime Programming through Model-Preserving, Scalable Runtime Patches

    Runtime Programming through Model-Preserving, Scalable Runtime Patches by Kirsch, Christoph M., Lopes, Luis, Marques, Eduardo R. B., Sokolova, Ana

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    Java takes flight : Time-portable real-time programming with exotasks

    Java takes flight : Time-portable real-time programming with exotasks by AUERBACH, Joshua, BACON, David F, IERCAN, Daniel T, KIRSCH, Christoph M, RAJAN, V. T, ROCK, Harald, TRUMMER, Rainer

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs

    Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs by Donat-bouillud, Pierre, Kirsch, Christoph M.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    Logical Reliability of Interacting Real-Time Tasks

    Logical Reliability of Interacting Real-Time Tasks by Chatterjee, K., Ghosal, A., Henzinger, T.A., Iercan, D., Kirsch, C.M., Pinello, C., Sangiovanni-Vincentelli, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    Short-term Memory for Self-collecting Mutators

    Short-term Memory for Self-collecting Mutators by AIGNER, Martin, HAAS, Andreas, KIRSCH, Christoph M

    Published in ACM SIGPLAN notices
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    JEDI: These aren't the JSON documents you're looking for... (Extended Version)

    JEDI: These aren't the JSON documents you're looking for... (Extended Version) by Hütter, Thomas, Augsten, Nikolaus, Kirsch, Christoph M, Carey, Michael J, Chen, Li

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: