„Informatik - Software“

Suchergebnisse

3.042 Treffer

• RT-DFI: Optimizing Data-Flow Integrity for Real-Time Systems
  Bellec, Nicolas ; Hiet, Guillaume ; Rokicki, Simon ; Tronel, Frederic ; Puaut, Isabelle 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Revisiting Parameter Synthesis for One-Counter Automata
  Pérez, Guillermo A. ; Raha, Ritam 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: Persistent Software Combining
  Fatourou, Panagiota ; Kallimanis, Nikolaos D. ; Kosmas, Eleftherios 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ENSnano: A 3D Modeling Software for DNA Nanostructures
  Levy, Nicolas ; Schabanel, Nicolas 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Best-Effort Lazy Evaluation for Python Software Built on APIs
  Zhang, Guoqiang ; Shen, Xipeng 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Do Bugs Propagate? An Empirical Analysis of Temporal Correlations Among Software Bugs
  Gu, Xiaodong ; Han, Yo-Sub ; Kim, Sunghun ; Zhang, Hongyu 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Differential Privacy for Coverage Analysis of Software Traces
  Hao, Yu ; Latif, Sufian ; Zhang, Hailong ; Bassily, Raef ; Rountev, Atanas 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• CodeDJ: Reproducible Queries over Large-Scale Software Repositories
  Maj, Petr ; Siek, Konrad ; Kovalenko, Alexander ; Vitek, Jan 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
  Bessai, Jan ; Heineman, George T. ; Düdder, Boris 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Generalizing CGAL Periodic Delaunay Triangulations
  Osang, Georg ; Rouxel-Labbé, Mael ; Teillaud, Monique 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper)
  MacIver, David R. ; Donaldson, Alastair F. 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automaten und Sprachen - theoretische Informatik für die Praxis – Mathematik, Anwendung, Intuition
  Müller, Andreas 2024 Springer Vieweg
• Rede Hannes Bardachs, Frequentis AG: 50 Jahre ICT an der TU Wien
  Bardach, Hannes
• Toward Linearizability Testing for Multi-Word Persistent Synchronization Primitives
  Cepeda, Diego ; Chowdhury, Sakib ; Li, Nan ; Lopez, Raphael ; Wang, Xinzhe ; Golab, Wojciech 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Minha: Large-Scale Distributed Systems Testing Made Practical
  Machado, Nuno ; Maia, Francisco ; Neves, Francisco ; Coelho, Fábio ; Pereira, José 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Byzantine-Tolerant Set-Constrained Delivery Broadcast
  Auvolat, Alex ; Raynal, Michel ; Taïani, François 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Overparameterization: A Connection Between Software 1.0 and Software 2.0
  Carbin, Michael 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Satisfiability of Nominal Subtyping with Variance
  Misonizhnik, Aleksandr ; Mordvinov, Dmitry 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Dichotomy Result for Cyclic-Order Traversing Games
  Chen, Yen-Ting ; Tsai, Meng-Tsung ; Tsai, Shi-Chun 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis
  Gu, Tianxiao ; Ma, Xiaoxing ; Xu, Chang ; Jiang, Yanyan ; Cao, Chun ; Lu, Jian 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik