„Programs“

Suchergebnisse

10.000+ Treffer

• Government spending and the Income-Expenditure model – The multiplier, spending composition, and job guarantee programs
  Palley, Thomas 2018 Hans-Böckler-Stiftung
• Dynamic curricular concepts for research orientated programs in optics and photonics
  Curticapean, Dan ; Vauderwange, Oliver ; Zenner, Erik ; Haiss, Ulrich ; Gregory, G. Groot ; Poulin-Girard, Anne-Sophie 2022 Hochschule Offenburg
• RMARaceBench – A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs
  Schwitanski, Simon ; Jenke, Joachim ; Klotz, Sven ; Müller, Matthias S. 2023 Universitätsbibliothek der RWTH Aachen
• Traits: Correctness-by-Construction for Free
  Runge, Tobias ; Potanin, Alex ; Thüm, Thomas ; Schaefer, Ina 2022 Universität Ulm
• Complexity in IS programs: a Delphi study
  Piccinini, Everlin ; Gregory, Robert ; Muntermann, Jan ; Avital, Michel ; Leimeister, Jan Marco ; Schultze, Ulrike 2014 Universität Augsburg
• DECO: A Dataset of Annotated Spreadsheets for Layout and Table Recognition
  Lehner, Wolfgang ; Koci, Elvis ; Thiele, Maik ; Rehak, Josephine ; Romero, Oscar 2023 Technische Universität Dresden
• Development of video cases regarding technology use for professional development programs
  Ebers, Patrick 2020 Universität Duisburg-Essen
• On-the-Fly Data Race Detection for MPI RMA Programs with MUST
  Schwitanski, Simon ; Jenke, Joachim ; Tomski, Felix ; Terboven, Christian ; Müller, Matthias S. 2022 Universitätsbibliothek der RWTH Aachen
• Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca
  Dehnavi, Saeid ; Sedaghatbaf, Ali ; Salmani Barzoki, Bahare ; Sirjani, Marjan ; Kargahi, Mehdi ; Khamespanah, Ehsan 2019 Universitätsbibliothek der RWTH Aachen
• AProVE: Non-Termination Witnesses for C Programs
  Hensel, Jera ; Mensendiek, Constantin ; Giesl, Jürgen 2022 Universitätsbibliothek der RWTH Aachen
• Evaluating cycling programs for 10- to 14-year-old children
  Gögel, Christina ; Richter, Susann ; Strauzenberg, Nora 2023 Technische Universität Dresden
• Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
  Chen, Mingshuai ; Katoen, Joost-Pieter ; Klinkenberg, Lutz ; Winkler, Tobias 2022 Universitätsbibliothek der RWTH Aachen
• An On-the-Fly Method to Exchange Vector Clocks in Distributed-Memory Programs
  Schwitanski, Simon ; Tomski, Felix ; Jenke, Joachim ; Terboven, Christian ; Müller, Matthias S. 2022 Universitätsbibliothek der RWTH Aachen
• Requirements and Prototypical Implementation of a Study Planning Assistant in CS Programs
  Hirmer, Tobias ; Etschmann, Jana ; Henrich, Andreas 2022 Otto-Friedrich-Universität Bamberg
• How to increase the understanding of differentials by using the Casio-calculator model 9860 G I/II to solve differential equations
  Bjørneng, Bjørn 2012 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
  Lommen, Nils ; Meyer, Fabian Niklas ; Giesl, Jürgen 2022 Universitätsbibliothek der RWTH Aachen
• Warping Cache Simulation of Polyhedral Programs
  Morelli, Canberk ; Reineke, Jan 2022 Saarländische Universitäts- und Landesbibliothek
• Model Checking Temporal Properties of Recursive Probabilistic Programs
  Winkler, Tobias ; Gehnen, Christina ; Katoen, Joost-Pieter 2022 Universitätsbibliothek der RWTH Aachen
• A logical reconstruction of fuzzy inference in databases and logic programs
  Wagner, Gerd 2018 Universitätsbibliothek Leipzig
• Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
  Schemmel, Daniel ; Büning, Julian ; Rodríguez, César ; Laprell, David ; Wehrle, Klaus 2020 Universitätsbibliothek der RWTH Aachen