„Pip Informatik“

Suchergebnisse

1.000+ Treffer

• A repository for the sustainable management of research data
  Dima, Emanuel ; Henrich, Verena ; Hinrichs, Erhard ; Hinrichs, Marie ; Hoppermann, Christina ; Trippel, Thorsten ; Zastrow, Thomas ; Zinn, Claus ; Calzolari, Nicoletta ; Choukri, Khalid ; Declerck, Thierry ; Doğan, Mehmet Uğur ; Maegaard, Bente ; Mariani, Joseph ; Moreno, Asuncion ; Odijk, Jan ; Piperidis, Stelios 2012 Leibniz-Institut für Deutsche Sprache (IDS)
• Modelling the dynamic evolution of system workload during pipelined query execution
  Spiliopoulou, Myra ; Freytag, Johann Christoph 1995 Professoren des Inst. für Informatik
• A voxel-based visualization pipeline for high-resolution geometry
  Chajdas, Matthäus Georg ; Westermann, Rüdiger ; Stamminger, Marc 2015 Universitätsbibliothek der TU München
• Methodik für die Verlustleistungsabschätzung von Prozessoren mit Pipeline-Strukturen
  Fischer, Robert ; Buchenrieder, Klaus ; Dreo, Gabi 2010 Universitätsbibliothek der Universität der Bundeswehr
• Complexity and correctness of a super-pipelined processor
  Preiß, Jochen
• Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems
  Robinson, Amos ; Potanin, Alex 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Die nächste Stufe der Evolution – Wenn Mensch und Maschine eins werden | Wie Futurist, Tech-Visionär und Google-Chef-Ingenieur Ray Kurzweil die Zukunft der Künstlichen Intelligenz sieht
  Kurzweil, Ray ; Schmid, Sigrid ; Langer, Moritz ; Hagestedt, Jens 2026 Piper
• Lessons learned: on the challenges of migrating a research data repository from a research institution to a university library
  Trippel, Thorsten ; Zinn, Claus ; Calzolari, Nicoletta ; Choukri, Khalid ; Cieri, Christopher ; Declerck, Thierry ; Goggi, Sara ; Hasida, Koiti ; Isahara, Hitoshi ; Maegaard, Bente ; Mariani, Joseph ; Mazo, Hélène ; Moreno, Asuncion ; Odijk, Jan ; Piperidis, Stelios ; Tokunaga, Takenobu 2018 Leibniz-Institut für Deutsche Sprache (IDS)
• Editorial: Mensch-Computer- Interaktion und Social Computing in sicherheitskritischen Systemen
  Reuter, Christian ; Mentler, Tilo ; Geisler, Stefan ; Herczeg, Michael ; Ludwig, Thomas ; Pipek, Volkmar ; Nestler, Simon ; Sautter, Johannes 2021 Universitäts- und Landesbibliothek
• PIPQ: Strict Insert-Optimized Concurrent Priority Queue
  Grimes, Olivia ; Hassan, Ahmed ; Fatourou, Panagiota ; Palmieri, Roberto 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Analyse, Systematik und Synthese ausgewählter Operationen und Wirkprinzipe für das Düngen, Säen, Legen und Pflanzen
  Pippig, Günter Forschungszentrum für Mechanisierung u. Energieanwendung in d. Landwirtschaft Schlieben, Bereich Informatik u. Rechentechnik
• Improving the SMT Proof Reconstruction Pipeline in Isabelle/HOL
  Lachnitt, Hanna Elif ; Fleury, Mathias ; Barbosa, Haniel ; Jakpor, Jibiana ; Andreotti, Bruno ; Reynolds, Andrew ; Schurr, Hans-Jörg ; Barrett, Clark ; Tinelli, Cesare 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Prozessorentwurf – Von der Planung bis zum Prototyp
  Wecker, Dieter 2015 De Gruyter
• Revisiting Timing Anomalies in Predictable In-Order Pipelines
  Rouizi, Lilia ; Asavoae, Mihail ; Binder, Benjamin ; Rieg, Lionel ; Brandner, Florian 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fitting Tree Metrics and Ultrametrics in Data Streams
  Carmel, Amir ; Das, Debarati ; Kipouridis, Evangelos ; Pipis, Evangelos 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards an Optimization Pipeline for the Design of Train Control Systems with Hybrid Train Detection (Short Paper)
  Engels, Stefan ; Wille, Robert 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
  Praveen, M. ; Ramesh, Raghavendra ; Doidge, Isaac 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Graph Connectivity with Noisy Queries
  Fotakis, Dimitris ; Gergatsouli, Evangelia ; Pipis, Charilaos ; Stouras, Miltiadis ; Tzamos, Christos 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model Checking of Stream Processing Pipelines
  Bédard, Alexis ; Hallé, Sylvain 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Pipeline Interventions
  Arunachaleswaran, Eshwar Ram ; Kannan, Sampath ; Roth, Aaron ; Ziani, Juba 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik