Search Results for Systems engineering.

1.

Automated Configuration Problem Solving

Author

Petrie, Charles J. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-4532-6

Format:

Availability

Online Library~1

Available:
Copies:

2.

Hardware Software Co-Design of a Multimedia SOC Platform

Author

Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

SAT-Based Scalable Formal Verification Solutions

Author

Ganai, Malay K. author. Gupta, Aarti. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-69167-1

Format:

Availability

Online Library~1

Available:
Copies:

4.

Hardware Verification with SystemVerilog An Object-Oriented Framework

Author

Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-71740-1

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

Author

Ma, Zhe. editor. Marchal, Pol. editor. Scarpazza, Daniele Paolo. editor. Yang, Peng. editor. Wong, Chun. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Design for Manufacturability and Yield for Nano-Scale CMOS

Author

Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

A Practical Introduction to PSL

Author

Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-36123-9

Format:

Availability

Online Library~1

Available:
Copies:

8.

Hardware Verification with C++ A Practitioner’s Handbook

Author

Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-36254-0

Format:

Availability

Online Library~1

Available:
Copies:

9.

A Roadmap for Formal Property Verification

Author

DasGupta, Pallab. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Embedded System Design

Author

Marwedel, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-30087-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

Author

Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}