„Nondeterminism“

Suchergebnisse

1.000+ Treffer

• A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case
  Schmidt-Schauß, Manfred ; Machkasova, Elena 2008 Univ.-Bibliothek Frankfurt am Main
• Adequacy of compositional translations for observational semantics
  Schmidt-Schauß, Manfred ; Niehren, Joachim ; Schwinghammer, Jan ; Sabel, David 2008 Univ.-Bibliothek Frankfurt am Main
• Designing Compact ILPs via Fast Witness Verification
  Włodarczyk, Michał 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Nondeterminism in algebraic specifications and algebraic programs
  Hußmann, Heinrich 1993 Ludwig-Maximilians-Universität München
• On the role of nondeterminism and refinement in model-driven top-down development of software systems
  Schmidt, Heiko 2009 Universitätsbibliothek Kiel
• Explorability in Pushdown Automata
  Bedi, Ayaan ; Lehtinen, Karoliina 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Nondeterminism and language design in deep inference
  Kahramanoğulları, Ozan
• Developments in Language Theory – 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings
  Yen, Hsu-Chun ; Ibarra, Oscar H. 2012 Springer Berlin Heidelberg
• Descriptional Complexity of Formal Systems – 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
  Kutrib, Martin ; Moreira, Nelma ; Reis, Rogério 2012 Springer Berlin Heidelberg
• Softwaretesten unter Berücksichtigung von nichtdeterministischen Verhalten
  Strehlau, Eduard ; Buth, Bettina ; Kossakowski, Klaus-Peter 2025 Hochschule für Angewandte Wissenschaften Hamburg
• Stochastic automata: stability, nondeterminism, and prediction
  Doberkat, Ernst-Erich 1981 Fernuniv., Gesamthochsch.
• Resolving Nondeterminism by Chance
  Paul, Soumyajit ; Purser, David ; Schewe, Sven ; Tang, Qiyi ; Totzke, Patrick ; Yen, Di-De 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Resolving Nondeterminism with Randomness
  Henzinger, Thomas A. ; Prakash, Aditya ; Thejaswini, K. S. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• String Diagrams for Graded Monoidal Theories, with an Application to Imprecise Probability
  Sarkis, Ralph ; Zanasi, Fabio 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From Nondeterministic to Multi-Head Deterministic Finite-State Transducers (Track B: Automata, Logic, Semantics, and Theory of Programming)
  Raszyk, Martin ; Basin, David A. ; Traytel, Dmitriy 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Bounded Nondeterminism of Logic Programs
  Pedreschi, Dino ; Ruggieri, Salvatore
• Does Subset Sum Admit Short Proofs?
  Włodarczyk, Michał 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Stretching Demi-Bits and Nondeterministic-Secure Pseudorandomness
  Tzameret, Iddo ; Zhang, Lu-Ming 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Resilience and Antifragility of Autonomous Systems (Dagstuhl Seminar 24182)
  Burton, Simon ; Calinescu, Radu ; Mirandola, Raffaela
• A Category for Unifying Gaussian Probability and Nondeterminism
  Stein, Dario ; Samuelson, Richard 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik