اعانه 15 سپتمبر 2024 – 1 اکتبر2024 د پیسو د راټولولو په اړه
1
In-Memory Computing: Synthesis and Optimization

In-Memory Computing: Synthesis and Optimization

کال:
2019
ژبه:
english
فایل:
PDF, 2.05 MB
0 / 0
english, 2019
2
Debugging at the Electronic System Level

Debugging at the Electronic System Level

کال:
2010
ژبه:
english
فایل:
PDF, 2.72 MB
0 / 0
english, 2010
3
Computer: Wie funktionieren Smartphone, Tablet & Co.?

Computer: Wie funktionieren Smartphone, Tablet & Co.?

کال:
2017
ژبه:
german
فایل:
PDF, 2.44 MB
0 / 5.0
german, 2017
4
Test pattern generation using Boolean proof engines

Test pattern generation using Boolean proof engines

کال:
2009
ژبه:
english
فایل:
PDF, 6.22 MB
0 / 0
english, 2009
5
Evolutionary Algorithms for Embedded System Design

Evolutionary Algorithms for Embedded System Design

کال:
2003
ژبه:
english
فایل:
PDF, 14.21 MB
0 / 0
english, 2003
6
Advanced Formal Verification

Advanced Formal Verification

کال:
2004
ژبه:
english
فایل:
PDF, 4.44 MB
0 / 0
english, 2004
7
Computer - Wie funktionieren Smartphone, Tablet & Co.?

Computer - Wie funktionieren Smartphone, Tablet & Co.?

کال:
2017
ژبه:
german
فایل:
PDF, 2.44 MB
0 / 0
german, 2017
8
Erweitertes Virtuelles Prototyping: Mit RISC-V-Fallstudien

Erweitertes Virtuelles Prototyping: Mit RISC-V-Fallstudien

کال:
2023
ژبه:
german
فایل:
PDF, 8.13 MB
0 / 5.0
german, 2023
9
Erweiterte virtuelle Prototypen für heterogene Systeme

Erweiterte virtuelle Prototypen für heterogene Systeme

کال:
2024
ژبه:
german
فایل:
PDF, 5.16 MB
0 / 0
german, 2024
13
Advanced formal verification

Advanced formal verification

کال:
2004
ژبه:
english
فایل:
PDF, 2.02 MB
0 / 0
english, 2004
16
Advanced Formal Verification

Advanced Formal Verification

کال:
2004
ژبه:
english
فایل:
PDF, 4.44 MB
0 / 0
english, 2004
19
Advanced Formal Verification

Advanced Formal Verification

کال:
2004
ژبه:
english
فایل:
PDF, 4.04 MB
0 / 0
english, 2004
21
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

کال:
2021
ژبه:
english
فایل:
PDF, 4.83 MB
0 / 0
english, 2021
22
Formal system verification : state-of the-art and future trends

Formal system verification : state-of the-art and future trends

کال:
2018
ژبه:
english
فایل:
PDF, 6.33 MB
0 / 5.0
english, 2018
23
Information Storage: A Multidisciplinary Perspective

Information Storage: A Multidisciplinary Perspective

کال:
2020
ژبه:
english
فایل:
PDF, 6.62 MB
0 / 0
english, 2020
24
Advanced Logic Synthesis

Advanced Logic Synthesis

کال:
2018
ژبه:
english
فایل:
PDF, 6.76 MB
0 / 5.0
english, 2018
26
Natural Language Processing for Electronic Design Automation

Natural Language Processing for Electronic Design Automation

کال:
2020
ژبه:
english
فایل:
PDF, 3.59 MB
5.0 / 5.0
english, 2020
27
Reversible and Quantum Circuits: Optimization and Complexity Analysis

Reversible and Quantum Circuits: Optimization and Complexity Analysis

کال:
2016
ژبه:
english
فایل:
PDF, 5.99 MB
0 / 0
english, 2016
28
Formal Specification Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

کال:
2015
ژبه:
english
فایل:
PDF, 7.24 MB
0 / 0
english, 2015
29
Exact Design of Digital Microfluidic Biochips

Exact Design of Digital Microfluidic Biochips

کال:
2019
ژبه:
english
فایل:
PDF, 4.03 MB
0 / 0
english, 2019
30
Design Automation for Field-coupled Nanotechnologies

Design Automation for Field-coupled Nanotechnologies

کال:
2022
ژبه:
english
فایل:
PDF, 5.57 MB
0 / 0
english, 2022
32
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never

کال:
2024
ژبه:
english
فایل:
PDF, 12.00 MB
0 / 0
english, 2024
33
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

کال:
2021
ژبه:
english
فایل:
PDF, 4.83 MB
0 / 0
english, 2021
35
Quality-Driven SystemC Design

Quality-Driven SystemC Design

کال:
2010
ژبه:
english
فایل:
PDF, 2.70 MB
0 / 0
english, 2010
36
Enhanced Virtual Prototyping for Heterogeneous Systems

Enhanced Virtual Prototyping for Heterogeneous Systems

کال:
2022
ژبه:
english
فایل:
PDF, 3.34 MB
0 / 5.0
english, 2022
37
Advanced BDD Optimization

Advanced BDD Optimization

کال:
2005
ژبه:
english
فایل:
PDF, 3.46 MB
0 / 0
english, 2005
38
In-Memory-Computing: Synthese und Optimierung

In-Memory-Computing: Synthese und Optimierung

کال:
2023
ژبه:
german
فایل:
PDF, 5.23 MB
0 / 0
german, 2023
41
Formal System Verification: State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends

کال:
2018
ژبه:
english
فایل:
PDF, 6.33 MB
0 / 0
english, 2018
42
Evolutionary Algorithms for VLSI CAD

Evolutionary Algorithms for VLSI CAD

کال:
1998
ژبه:
english
فایل:
PDF, 4.85 MB
0 / 0
english, 1998
43
Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers

کال:
2023
ژبه:
english
فایل:
PDF, 4.19 MB
5.0 / 5.0
english, 2023
44
High Quality Test Pattern Generation and Boolean Satisfiability

High Quality Test Pattern Generation and Boolean Satisfiability

کال:
2012
ژبه:
english
فایل:
PDF, 1.51 MB
0 / 0
english, 2012
45
Formal Verification of Circuits

Formal Verification of Circuits

کال:
2000
ژبه:
english
فایل:
PDF, 12.73 MB
0 / 0
english, 2000
46
Binary Decision Diagrams: Theory and Implementation

Binary Decision Diagrams: Theory and Implementation

کال:
1998
ژبه:
english
فایل:
PDF, 7.56 MB
0 / 0
english, 1998
47
Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems

Advanced Boolean Techniques: Selected Papers from the 15th International Workshop on Boolean Problems

کال:
2023
ژبه:
english
فایل:
PDF, 5.40 MB
5.0 / 5.0
english, 2023
48
Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

کال:
2010
ژبه:
english
فایل:
PDF, 3.49 MB
0 / 0
english, 2010
49
Robustness and Usability in Modern Design Flows

Robustness and Usability in Modern Design Flows

کال:
2008
ژبه:
english
فایل:
PDF, 769 KB
0 / 0
english, 2008
50
Advanced Boolean Techniques. Selected Papers from the 15th International Workshop on Boolean Problems

Advanced Boolean Techniques. Selected Papers from the 15th International Workshop on Boolean Problems

کال:
2023
ژبه:
english
فایل:
PDF, 5.51 MB
5.0 / 0
english, 2023