Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Graue Reihe

  • Veröffentlichungen 2017
    • Zurzeit sind hier keine Informationen vorhanden.
  • Veröffentlichungen 2016
    • 853
      DISTRIBUTED RIMEP2: A COMPARATIVE STUDY BETWEEN A HIERARCHICAL MODEL AND THE ISLANDS MODEL IN THE CONTEXT OF REVERSIBLE CIRCUITS DESIGN
    • 852
      Proceedings of the 16th International Workshop on Non-Monotonic Reasoning
    • 851
      Realization of p-valued Toffoli/Deutsch quantum gates under multi-controls, and mixed polarity
  • Veröffentlichungen 2015
    • 847
      A Companion to Mathematics for Computer Science:Sets, Categories, Topologies, Measures
    • 846
      PASS: Priority Assignment of Real-Time Tasks with Dynamic Suspending Behavior under Fixed-Priority Scheduling
  • Veröffentlichungen 2014
    • 845
      Capacity Augmentation Bounds for Parallel DAG Tasks under G-EDF and G-RM
    • 844
      Passing error handling information from a compiler to runtime components
  • Veröffentlichungen 2013
    • Zurzeit sind hier keine Informationen vorhanden.
  • Veröffentlichungen 2012
    • 842
      Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis (Extended Version)
    • 841
      Intersection Type Matching and Bounded Combinatory Logic (Extended Version)
    • 840
      Bounded Combinatory Logic (Extended Version)
  • Veröffentlichungen 2011
    • 839
      Vision of a Virtual Infrastructure for Storing and Processing Scientific Data
    • 838
      UMLsec4UML2 – Adopting UMLsec to Support UML2
    • 837
      Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds (Extended Version)
  • Veröffentlichungen 2010
    • Gr. 835
      On the Axiomatics of (Rational) Preference Structures (Draft)
    • Gr. 834
      Finite Combinatory Logic with Intersection Types
    • Gr. 833
      A Framework for the Generation of Distance Field Based Curves on Triangular Mesh Surfaces for NC Manufacturing
    • Gr. 829
      Reducing the Energy Consumption of Embedded Systems by Integrating General Purpose GPUs
  • Veröffentlichungen 2009
    • Gr. 828
      Genetische Merkmalsselektion für die Gamma-Hadron-Separation im MAGIC-Experiment
    • Gr. 827
      Equivalence Transformations for Acyclic Phase Type Distributions
    • Gr. 826
      Recommender Systems & the Social Web
    • Gr. 825
      The 7th Intl. Workshop on Intelligent Techniques for Web Personalization & Recommender Systems (ITWP'09)
    • Gr. 824
      Doubly Stochastic and Circulant Structured Markovia Arrival Processes
    • Gr. 822
      Know-How for Motivated BDI Agents (Extended Version)
  • Veröffentlichungen 2008
    • Gr. 821
      Model Checking via Delayed Duplicate Detection on the GPU
    • Gr. 820
      Flash-Efficient LTL Model Checking with MInimal Counterexamples
  • Veröffentlichungen 2007
    • Gr. 817
      Entwicklung und Implementierung eines verteilten File-Assigners und File-Servers für das verteilte Realzeit Betriebssystem MELODY unter Linux
    • Gr. 816
      Pushing the Limits for Planning Pattern Databases
    • Gr. 815
      Optimal Infinite-State Planning with Presburger Automata
    • Gr. 814
      Symbolic Shortest Path Planning
    • Gr. 813
      External Memory Value Iteration
    • Gr. 812
      Evolutionary design of digital circuits using Improved Multi Expression Programming
    • Gr. 810
      DEZENT: Autonomous Real-Time Management of Unpredictable Power Needs and Supply
  • Veröffentlichungen 2006
    • Gr. 808
      Surface-adaptive and Collision-avoiding Path Planning for Five-axis Milling
    • Gr. 807
      Automatic Tracking of Interactive Virtual Players by Cameras Using a Voronoi Freespace Representation
    • Gr. 806
      Notes on Stochastic Relations
  • Liste komplett-internet