Search - LOGIC-IN - TU Dortmund

Search
Personsearch

Filter search results

Results per page:

589 results

1
2
3
4
5
Next
Last Page

1. DAES
2. Lehre
3. Teaching Software
4. Ravi
5. Documentation
6. Pipline
Content of the instruction and data Memory Unit

, $5, $1 7 28 00000000001001110011000000100100 and $6, $1, $7 8 32 10101100111001010000000000000001 sw $5, 1($7) 9 36 00000000001010110101000000100110 xor $10, $1, $11 10 40 00010000001001010000000000001000 beq $1, $5, label1 11 44 00100000010010000000000000000001 [...] label1: sub $2, $4, $1 14 56 00010000001001010000000000001000 beq $1, $5, label3 15 60 00000000001001110011000000100100 …
1. DAES
2. Lehre
3. Embedded System Text Book
Slides

Simulators Lectures Preface: Embedded and Cyber-Physical Systems (definitions), motivation Preface 01.1 es-marw-1.1.pptm es-marw-1.1.pdf 1 Introduction: application areas, examples, educational concept 1.1, preface 01.2 1 Introduction: Common characteristics 1.2 01.3 es-marw-1.2.pptm es-marw-1.2.pdf 1 [...] Software: Embedded operating systems, real-time operating systems 4.1.1, 4.1.2 13.1 es-marw-4.1-rtos.ppt es-marw-4.1-rtos.pdf 13 System Software: Virtual machines - - - …
1. DAES
2. Lehre
3. Teaching Software
4. Ravi
Download and installation

and is known to run on the following systems and Java virtual machines: Windows XP and above: JVM 1.3.1 and above Solaris '8,'7, '2.5.1: JDK 1.4.0 JDK 1.3.1_01 or later, JDK 1.2.2 JDK 1.1.8 Linux: JVM 1.3.1 and above The submenu and the hyperlinks give further information RaVi (Hades) cannot run with the following systems and browsers: Java installations with 1.1.4 or 1.0.x or earlier Solaris '8 Java installations with 1.3.0 Netscape Navigator 1.x, 2.x, 3.x …
1. Computer Science
2. Department
3. Committees and contact persons
4. Department council (FR)
Resolutions of Department Council relevant to the study

Council Resolutions of the Department Council relevant to the study program. FRB-Inf-2014-01.pdf PDF (1 MB) FRB-Inf-2014-02.pdf PDF (1 MB) FRB-Inf-2015-01.pdf PDF (1 MB) FRB-Inf-2015-02.pdf PDF (1 MB) FRB-Inf-2015-03.pdf PDF (2 MB) FRB-Inf-2016-01.pdf PDF (1 MB) FRB-Inf-2016-02.pdf PDF (3 MB) FRB-Inf-2016-03.pdf PDF (1 MB) FRB-Inf-2016-04.pdf PDF (1 MB) [...] FRB-Inf-2022-02.pdf PDF (1 MB) …
1. DAES
2. Lehre
3. Teaching Software
4. Ravi
5. Documentation
6. Microprog
Content of the Memory unit

". Line No. Mem. Adr. Bitstring Instruction 0 0 00000000111000010100000000100101 or $8, $7, $1 1 4 00000000001001000001000000100110 xor $2, $1, $4 2 8 00000001100101010011100000100111 nor $7, $12 [...] 24 00110000010001110000000000010101 andi $7, $2, 21 7 28 00111000001010000000000001000001 xori $8, $1, 65 8 32 00000000101010000001100000000111 label1: srav $3, $8, $5 9 36 00000000001000100010100000000100 [...] , $2, $1 12 48 00000001001000010011100000011010 label2: div $7, $9, $1 13 52 00000000001011110001000000100000 …
1. dbis
2. Publications
3. 2020
4. Like Water and Oil
VLDB 2020 Reviews

Parallelism Will Mix Well , submitted to VLDB 2020 (Demo Track). Overall Rating: Accept Reviewer #1 1. Overall Evaluation Accept 2. Reviewer Confidence Knowledgeable 3. Summary of the contribution (in [...] does not accurately represent its contents. 6. Detailed evaluation, labelled D1, D2, D3 etc. D1. While the lane refill technique is described very well and in great detailed, the [...] the query. I am not sure this will result in an interesting demo. 6. Detailed evaluation, labelled D1, D2, D3 etc. D1: The description of what will be demonstrated in Section 3 (up to Section 3.1) is …
1. Computer Science
2. Studies
3. During studies
4. Exams
Exam dates WS 25/26

and its applications 1 042301 90 HG II HS4, 7 Wed 11.02.2026 08:00 - 11:00 Mathematics for Computer Science 1 (MafI1) 040501 [...] Security: Questions and solutions 040303 90 SRG 1 H.001, SRG1 2.008, SRG1 1.004, 7 Fri 13.02.2026 08:00 - 10:00 Probability theory and mathematical [...] E28, 8 Thu 19.02.2026 08:00 - 10:00 Data Structures Algorithms and Programming 1 (DAP1) 040105 120 Audimax, SRG 1 H.001, HG II HS1, HG II HS3, HG II HS5, HG II HS7, Math E28, Math …
1. MS
Imprint

Imprint according to section 5 (1) of the German Telemedia Act (TMG) TU Dortmund University, in accordance with section 2 (1) sentence 1 in conjunction with section 1 (2) sentence 1 no. 5 of the Higher Education Act of the State of North [...] , Prof. Dr. Manfred Bayer. TU Dortmund University carries out its tasks pursuant to section 76 (1) sentence 1 HG NRW under the legal supervision of the Ministry of Culture and Science of North …
1. DAES
2. Lehre
3. Embedded System Text Book
Downloads

1-4020-7690-9; ISBN-13 978-1-4020-7690-9, Corrections (printable PDF, includes changes incorporated [...] Publisher Web Site ( https://www.springer.com/de/book/9783030609092 ), ISBN 978-3-030-60910-8 German 1st edition, 1st printing, Springer: Paperback, 2007, 265 pp., Publisher Web Site, ISBN-13 978-3-540-34048-5 1st edition, second printing,1st edition, 2nd printing, Springer: Paperback, 2007, 265 pp., Publisher …
1. MS
2. News: 8/2/2022
Schrankenberechnung für Concurrent MDPs

• Vorstellung der Modelle aus [1] und [2]. • Beschreibung deterministischer und zyklischer Politiken für CMDPs. • Berechnung von [...] stationäre Politiken mit Hilfe von ILPs und Schnittebenen (als Erweiterung des Ansatzes aus [1]). [1] P. Buchholz, D. Scheftelowitsch Computation of weighted sums of rewards for concurrent MDPs. Math. Meth. of OR 89(1): 1-42 (2019). [2] Lauren N. Steimle, David L. Kaufman, Brian T. Denton. Multi-model Markov Decision …

1
2
3
4
5
Next
Last Page