Search Results for Electronics

1.

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

Yazar

Pieper, Pascal. author. (orcid)0000-0002-7155-2537 Drechsler, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-51692-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Enhanced Virtual Prototyping for Heterogeneous Systems

Yazar

Hassan, Muhammad. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-05574-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Formal Verification of Structurally Complex Multipliers

Yazar

Mahzoon, Alireza. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-24571-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Exact Design of Digital Microfluidic Biochips

Yazar

Keszocze, Oliver. author. Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-90936-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test

Yazar

Chandrasekharan, Arun. author. Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-98965-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Yazar

Przigoda, Nils. author. Wille, Robert. author. Przigoda, Judith. author. Drechsler, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-72814-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Automatic Methods for the Refinement of System Models From the Specification to the Implementation

Yazar

Seiter, Julia. author. Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41480-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Reversible and Quantum Circuits Optimization and Complexity Analysis

Yazar

Abdessaied, Nabila. author. Drechsler, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-31937-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

High Quality Test Pattern Generation and Boolean Satisfiability

Yazar

Eggersglüß, Stephan. author. Drechsler, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4419-9976-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Test Pattern Generation using Boolean Proof Engines

Yazar

Drechsler, Rolf. author. Eggersglüβ, Stephan. author. Fey, Görschwin. author. Tille, Daniel. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-90-481-2360-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Robustness and Usability in Modern Design Flows

Yazar

Fey, Görschwin. author. Drechsler, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4020-6536-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Advanced BDD Optimization

Yazar

Ebendt, Rüdiger. author. Fey, Görschwin. author. Drechsler, Rolf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b107399

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}