Search Results for Readers.

46 sonuç bulundu

1 2 3 4

000000000000DEFAULT_TR

25.

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:

26.

Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects

Yazar

Lourenço, Nuno. author. Martins, Ricardo. author. (orcid)0000-0002-8251-1415 Horta, Nuno. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-42037-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS

Yazar

Posser, Gracieli. author. Sapatnekar, Sachin S. author. Reis, Ricardo. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Hardware IP Security and Trust

Yazar

Mishra, Prabhat. editor. Bhunia, Swarup. editor. Tehranipoor, Mark. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-49025-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives

Yazar

Chen, Quan. author. Guo, Minyi. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-10-6238-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Formal Verification of Simulink/Stateflow Diagrams A Deductive Approach

Yazar

Zhan, Naijun. author. Wang, Shuling. author. (orcid)0000-0002-2798-2660 Zhao, Hengjun. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-47016-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Designing with Xilinx® FPGAs Using Vivado

Yazar

Churiwala, Sanjay. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

Digital Systems From Logic Gates to Processors

Yazar

Deschamps, Jean-Pierre. author. Valderrama, Elena. author. Terés, Lluís. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-41198-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Testing of Interposer-Based 2.5D Integrated Circuits

Yazar

Wang, Ran. author. Chakrabarty, Krishnendu. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

New Data Structures and Algorithms for Logic Synthesis and Verification

Yazar

Amaru, Luca Gaetano. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-43174-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Techniques for Building Timing-Predictable Embedded Systems

Yazar

Guan, Nan. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-27198-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

3D Stacked Chips From Emerging Processes to Heterogeneous Systems

Yazar

Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Fettweis, Gerhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-20481-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3 4

	{displayName}	{count}
{error}