„partial order reduction“

Suchergebnisse

1.000+ Treffer

• Partial Order Reduction for Reachability Games
  Bønneland, Frederik Meyer ; Jensen, Peter Gjøl ; Larsen, Kim Guldstrand ; Muñiz, Marco ; Srba, Jiří 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
  de Boer, Frank S. ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Tapia Tarifa, Silvia Lizeth ; Tveito, Lars 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Executing State-Based Specifications and Partial Order Reduction for High-Level Formalisms
  Körner, Philipp ; Leuschel, Michael ; Idani, Akram 2023 Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf
• Efficient time integration methods for linear parabolic partial differential equations with applications
  Bähr, Martin ; Breuß, Michael ; Meister, Andreas ; Oevermann, Michael 2022 BTU Cottbus - Senftenberg
• Partial-order reduction for general state exploring algorithms
  Bošnački, Dragan ; Leue, Stefan ; Lluch-Lafuente, Alberto 2010 Bibliothek der Universität Konstanz
• Partial-order reduction for general state exploring algorithms
  Bošnački, Dragan ; Leue, Stefan ; Lluch Lafuente, Alberto 2013 Bibliothek der Universität Konstanz
• Static Partial Order Reduction for Probabilistic Concurrent Systems
  Fernández-Díaz, Álvaro ; Baier, Christel ; Benac-Earle, Clara ; Fredlund, Lars-Åke 2013 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• The Beta-Binomial SGoF method for multiple dependent tests
  de Uña-Alvarez, Jacobo
• Partial Order Reduction in Directed Model Checking
  Lluch-Lafuente, Alberto ; Edelkamp, Stefan ; Leue, Stefan 2008 Bibliothek der Universität Konstanz
• Analysis of partial order reduction techniques for automated planning
  Al-Khazraji, Yusra ; Nebel, Bernhard 2018 Universität
• Reduced Basis Methods for Model Reduction and Sensitivity Analysis of Complex Partial Differential Equations with Applications to Lithium-Ion Batteries
  Wesche, Johanna Andrea Karolin 2016 Bibliothek der Universität Konstanz
• Model order reduction techniques for the optimal control of parabolic partial differential equations with control and state constraints
  Gubisch, Martin 2016 Bibliothek der Universität Konstanz
• Retraction Note to: Model Order Reduction Method Based on Machine Learning for Parameterized Time-Dependent Partial Differential Equations
  Cheng, Fangxiong ; Hui, Xu ; Feng, Xinlong
• Model Reduction of Parametrized Systems
  Benner, Peter ; Ohlberger, Mario ; Patera, Anthony ; Rozza, Gianluigi ; Urban, Karsten 2017 Springer International Publishing
• Stochastic Galerkin Reduced Basis Methods for Parametrized Linear Convection−Diffusion−Reaction Equations
  Ullmann, Sebastian ; Müller, Christopher ; Lang, Jens 2023 Universitäts- und Landesbibliothek
• Optimal Concolic Dynamic Partial Order Reduction
  Khoshechin Jorshari, Mohammad Hossein ; Kokologiannakis, Michalis ; Majumdar, Rupak ; Nagendra, Srinidhi 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Partial-Order Reduction Is Hard
  Herbreteau, Frédéric ; Larroze-Jardiné, Sarah ; Walukiewicz, Igor 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Compositional Correctness and Completeness for Symbolic Partial Order Reduction
  Kløvstad, Åsmund Aqissiaq Arild ; Kamburjan, Eduard ; Johnsen, Einar Broch 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics
  Herbreteau, Frédéric ; Srivathsan, B. ; Walukiewicz, Igor 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Partial Order Reduction for Security Protocols
  Baelde, David ; Delaune, Stéphanie ; Hirschi, Lucca 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik