„Pip Informatik“
Suchergebnisse
1.000+ Treffer
-
A repository for the sustainable management of research data
-
Modelling the dynamic evolution of system workload during pipelined query execution
-
A voxel-based visualization pipeline for high-resolution geometry
-
Methodik für die Verlustleistungsabschätzung von Prozessoren mit Pipeline-Strukturen
-
Complexity and correctness of a super-pipelined processor
-
Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems
-
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
-
Lessons learned: on the challenges of migrating a research data repository from a research institution to a university library
-
Editorial: Mensch-Computer- Interaktion und Social Computing in sicherheitskritischen Systemen
-
PIPQ: Strict Insert-Optimized Concurrent Priority Queue
-
Analyse, Systematik und Synthese ausgewählter Operationen und Wirkprinzipe für das Düngen, Säen, Legen und Pflanzen
-
Improving the SMT Proof Reconstruction Pipeline in Isabelle/HOL
-
Prozessorentwurf – Von der Planung bis zum Prototyp
-
Revisiting Timing Anomalies in Predictable In-Order Pipelines
-
Fitting Tree Metrics and Ultrametrics in Data Streams
-
Towards an Optimization Pipeline for the Design of Train Control Systems with Hybrid Train Detection (Short Paper)
-
Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
-
Graph Connectivity with Noisy Queries
-
Model Checking of Stream Processing Pipelines
-
Pipeline Interventions