Kaiserslautern

Results: 469



#Item
41

Prof. Dr.-Ing. Reiner Hartenstein, Informatik, TU Kaiserslautern Die IT-Herausforderung Die fortschreitende Digitalisierung der Welt durch intelligente und flexible Produktionsprozesse führt zur dramatischen Umstruktur

Add to Reading List

Source URL: xputer.de

- Date: 2015-09-28 13:51:54
    42

    A Novel Paradigm of Parallel Computation and its Use to Implement Simple High-Performance Hardware R. W. Hartenstein, A. G. Hirschbiel, K. Schmidt, M. Weber Universitaet Kaiserslautern, F.B. Informatik, Bau 12, Postfach

    Add to Reading List

    Source URL: www.fpl.uni-kl.de

    - Date: 2013-02-23 05:45:14
      43

      A Novel Paradigm of Parallel Computation and its Use to Implement Simple High-Performance Hardware R. W. Hartenstein, A. G. Hirschbiel, K. Schmidt, M. Weber Universitaet Kaiserslautern, F.B. Informatik, Bau 12, Postfach

      Add to Reading List

      Source URL: xputer.de

      - Date: 2013-05-02 13:11:52
        44

        Verification of Concurrent Programs under Relaxed Memory Models Roland Meyer Technische Universit¨ at Kaiserslautern

        Add to Reading List

        Source URL: www.ips.tu-braunschweig.de

        - Date: 2013-09-02 06:28:56
          45

          Dr.-Ing. Reiner Hartenstein Professor, TU Kaiserslautern Dr.-Ing. Reiner W. Hartenstein is professor of Computer Science and Engineering at Kaiserslautern University of Technology (TU Kaiserslautern), where his more rece

          Add to Reading List

          Source URL: helios.informatik.uni-kl.de

          - Date: 2005-12-04 02:26:23
            46

            Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing Reiner W. Hartenstein1, Ricardo P. Jacobi2 1 Fachbereich Informatik Kaiserslautern University of Technology

            Add to Reading List

            Source URL: www.mat.unb.br

            - Date: 2004-07-19 17:54:10
              47

              The Changing Role of Computer Architecture Education within CS Curricula (invited presentation) Reiner Hartenstein TU Kaiserslautern http://hartenstein.de

              Add to Reading List

              Source URL: xputers.informatik.uni-kl.de

              - Date: 2004-06-06 03:48:52
                48

                Reiner Hartenstein, TU Kaiserslautern, Germany http://hartenstein.de

                Add to Reading List

                Source URL: www.fpl.uni-kl.de

                - Date: 2015-10-31 07:06:30
                  49

                  Monoids as Storage Mechanisms Georg Zetzsche Vom Fachbereich Informatik der Technischen Universität Kaiserslautern zur Verleihung des akademischen Grades Doktor der Naturwissenschaften (Dr. rer. nat.) genehmigte Dissert

                  Add to Reading List

                  Source URL: concurrency.cs.uni-kl.de

                  - Date: 2016-07-11 11:00:48
                    50

                    A Software Language Approach to Derivative Contracts in Finance Dipl.-Inf. Jean-Marie Gaillourdet Software Technology Group, Department of Computer Science, University of Kaiserslautern, Germany Abstract— Financial der

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2011-01-17 05:02:14
                      UPDATE