Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 2015
Alle Filter entfernen
Zeige Ergebnisse 171 bis 180 von 540

  1. Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler

    Lazy-CSeq-SP: Boosting Sequentialization-based Verification of Multi-Threaded C Programs via Symbolic Pruning of Redundant Schedules

    In: Proceedings of ATVA 2015. International Symposium on Automated Technology for Verification and Analysis (ATVA-2015), October 12-15, Shanghai, …

  2. Oliver Keszöcze; Robert Wille; Krishnendu Chakrabarty; Rolf Drechsler

    A Generic and Exact Routing Methodology for Digital Microfluidic Biochips

    In: Proceedings of the 34th International Conference on Computer-Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design …

  3. Gabriele Bleser; Dima Damen; Ardhendu Behera; Gustaf Hendeby; Katharina Mura; Markus Miezal; Andrew Gee; Nils Petersen; Gustavo Maçães; Hugo Domingues; Dominic Gorecky; Luis Almeida; Walterio Mayol-Cuevas; Andrew Calway; Anthony G. Cohn; David C. Hogg; Didier Stricker

    Cognitive Learning, Monitoring and Assistance of Industrial Workflows Using Egocentric Sensor Networks

    In: Gianluca Bontempi (Hrsg.). PLoS ONE, Vol. 10, No. 6, Pages 1-41, PLOS, 6/2015.

  4. Fabrizio Nunnari; Alexis Heloir

    Evaluation of a Facial Animation Authoring Pipeline Seamlessly Supporting Performance Capture and Manual Key-pose Editing

    In: EAI Endorsed Transactions on Creative Technologies, Vol. 15, No. 3, Pages 1-13, ICST, 6/2015.

  5. Cholpon Degenbaeva; Matthias Klusch

    Critical Node Detection Problem Solving on GPU and in the Cloud

    In: Proc. of 17th IEEE International Conference on High Performance Computing and Communications. IEEE International Conference on High Performance …

  6. Hans-Ulrich Krieger; Stefan Schulz

    A Modal Representation of Graded Medical Statements

    In: Proceedings of the 20th Conference on Formal Grammar. Conference on Formal Grammar (FG-2015), August 8-9, Barcelona, Spain, Proceedings werden …

  7. Joerg Evermann; Tom Thaler; Peter Fettke

    Clustering Traces using Sequence Alignment

    In: Proceedings of the 11th International Workshop on Business Process Intelligence,. International Workshop on Business Process Intelligence …

  8. Robert Wille; Oliver Keszöcze; Tobias Boehnisch; Alexander Kroker; Rolf Drechsler

    Scalable One-Pass Synthesis for Digital Microfluidic Biochips

    In: IEEE Design & Test of Computers, 2015.

  9. Nils Przigoda; Robert Wille; Rolf Drechsler

    Leveraging the Analysis for Invariant Independence in Formal System Models

    In: 18th Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-18), August 26-28, Funchal (Madeira), …

  10. Nabila Abdessaied; Mathias Soeken; Gerhard W. Dueck; Rolf Drechsler

    Reversible Circuit Rewriting with Simulated Annealing

    In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) . IFIP/IEEE International Conference on Very Large Scale Integration …

Jahr