„Reactive Programming“

Suchergebnisse

102 Treffer

• Reactive synthesis with maximum realizability of linear temporal logic specifications
  Dimitrova, Rayna ; Ghasemi, Mahsa ; Topcu, Ufuk
• RePro-Active: a reactive–proactive scheduling method based on simulation in cloud computing
  Alaei, Noroddin ; Safi-Esfahani, Faramarz
• SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems
  Shalyto, A. A. ; Tukkel', N. I.
• The Synchronous Approach to Designing Reactive Systems
  Poigné, Axel ; Morley, Matthew ; Maffeïs, Olivier ; Holenderski, Leszek ; Budde, Reinhard
• Systematic incremental validation of reactive systems via sound scenario generalization
  Hall, Robert J.
• Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems
  Jeannet, B.
• Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency
  Aguado, Joaquín ; Mendler, Michael ; Hanxleden, Reinhard ˜vonœ ; Fuhrmann, Insa 2016 Otto-Friedrich-Universität Bamberg
• iX Developer – Java 2017 – Was Java-Entwickler wissen müssen!
  2017 Heise Medien
• Synchronous Programming of Reactive Systems
  1993 Springer US
• Linking reactive software to the X-Window System
  Schulte, Wolfram ; Vullinghs, Ton 2012 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Reactive tabu adaptive memory programming search for the vehicle routing problem with backhauls
  Wassan, N.
• HIV-1 selectively exploits cross-reactive CTL “help” to promote dysfunctional programming of pro-inflammatory dendritic cells
  Mailliard, RB ; Smith, KN ; Fecek, RJ ; Zaccard, CR ; Watkins, SC ; Rappocciolo, G. ; Mullins, JI ; Rinaldo, CR
• Strongly typed and efficient functional reactive programming
  Jeltsch, Wolfgang
• Incremental development of a co-simulation setup for testing a generation unit controller for reactive power provision
  Velasquez, Jorge ; Piech, Klaus ; Lehnhoff, Sebastian ; Fischer, Lars ; Garske, Steffen
• Programming languages and systems – 9th Asian symposium ; proceedings
  Yang, Hongseok 2011 Springer
• Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework
  Varró, Dániel ; Bergmann, Gábor ; Hegedüs, Ábel ; Horváth, Ákos ; Ráth, István ; Ujhelyi, Zoltán
• A symbolic manipulator for automated verification of reactive systems with heterogeneous data types
  Yavuz-Kahveci, Tuba ; Bultan, Tevfik
• Reactive synthesis without regret
  Hunter, Paul ; Pérez, Guillermo A. ; Raskin, Jean-François
• TGV: theory, principles and algorithms – A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems
  Jard, Claude ; Jéron, Thierry
• Reactive Context-Aware Programming
  Mostinckx, Stijn ; Carreton, Andoni Lombide ; De Meuter, Wolfgang 2008 Technische Universität Berlin