Search Results for Software engineering.

1.

Systems and software engineering with applications

Author

Schneidewind, Norman.

Preferred Shelf Number

ONLINE

Electronic Access

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539

Format:

Availability

Online Library~1

Available:
Copies:

2.

Bond Graph Modelling of Engineering Systems Theory, Applications and Software Support

Author

Borutzky, Wolfgang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-9368-7

Format:

Availability

Online Library~1

Available:
Copies:

3.

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems

Author

Verhulst, Eric. author. Boute, Raymond T. author. Faria, José Miguel Sampaio. author. Sputh, Bernhard H.C. author. Mezhuyev, Vitaliy. author.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Requirements engineering : from system goals to UML models to software specifications

Author

Lamsweerde, A. van (Axel)

Preferred Shelf Number

QA76.758 L28 2009

Format:

Availability

Beytepe Library~1

Available:
Copies:

5.

Advances and Innovations in Systems, Computing Sciences and Software Engineering

Author

Elleithy, Khaled. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05

Author

Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-5263-4

Format:

Availability

Online Library~1

Available:
Copies:

7.

Implantable Sensors and Systems From Theory to Practice

Author

Yang, Guang-Zhong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-69748-2

Format:

Availability

Online Library~1

Available:
Copies:

8.

Simulating Nonlinear Circuits with Python Power Electronics An Open-Source Simulator, Based on Python™

Author

Iyer, Shivkumar V. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Low-Power Design and Power-Aware Verification

Author

Khondkar, Progyna. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Physical Layer Multi-Core Prototyping A Dataflow-Based Approach for LTE eNodeB

Author

Pelcat, Maxime. author. Aridhi, Slaheddine. author. Piat, Jonathan. author. Nezan, Jean-François. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330930.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-4210-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

Distributed, Embedded and Real-time Java Systems

Author

Higuera-Toledano, M. Teresa. editor. Wellings, Andy J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-8158-5

Format:

Availability

Online Library~1

Available:
Copies:

12.

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:

13.

Harnessing VLSI System Design with EDA Tools

Author

Kamat, Rajanish K. author. Shinde, Santosh A. author. Gaikwad, Pawan K. author. Guhilot, Hansraj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-1864-7

Format:

Availability

Online Library~1

Available:
Copies:

14.

Analog Circuit Design Low Voltage Low Power; Short Range Wireless Front-Ends; Power Management and DC-DC

Author

Steyaert, Michiel. editor. van Roermund, Arthur. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-1926-2

Format:

Availability

Online Library~1

Available:
Copies:

15.

Guide to FPGA Implementation of Arithmetic Functions

Author

Deschamps, Jean-Pierre. author. Sutter, Gustavo D. author. Cantó, Enrique. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-2987-2

Format:

Availability

Online Library~1

Available:
Copies:

16.

Security Trends for FPGAS From Secured to Secure Reconfigurable Systems

Author

Badrignans, Benoit. editor. Danger, Jean Luc. editor. Fischer, Viktor. editor. Gogniat, Guy. editor. Torres, Lionel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-1338-3

Format:

Availability

Online Library~1

Available:
Copies:

17.

Reconfigurable RF Power Amplifiers on Silicon for Wireless Handsets

Author

Leyssenne, Laurent. author. Kerhervé, Eric. author. Deval, Yann. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0425-1

Format:

Availability

Online Library~1

Available:
Copies:

18.

3D Integration for NoC-based SoC Architectures

Author

Sheibanyrad, Abbas. editor. Pétrot, Frédéric. editor. Jantsch, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-7618-5

Format:

Availability

Online Library~1

Available:
Copies:

19.

Real-Time Systems Design Principles for Distributed Embedded Applications

Author

Kopetz, Hermann. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-8237-7

Format:

Availability

Online Library~1

Available:
Copies:

20.

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications

Author

Buttazzo, Giorgio C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Views on Evolvability of Embedded Systems

Author

Van de Laar, Pierre. editor. Punter, Teade. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9849-8

Format:

Availability

Online Library~1

Available:
Copies:

22.

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems

Author

Lokuciejewski, Paul. author. Marwedel, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9929-7

Format:

Availability

Online Library~1

Available:
Copies:

23.

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems

Author

Marwedel, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0257-8

Format:

Availability

Online Library~1

Available:
Copies:

24.

Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss

Author

Biedermann, Alexander. editor. Molter, H. Gregor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-16767-6

Format:

Availability

Online Library~1

Available:
Copies:

25.

Microelectronic Systems Circuits, Systems and Applications

Author

Heuberger, Albert. editor. Elst, Günter. editor. Hanke, Randolf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-23071-4

Format:

Availability

Online Library~1

Available:
Copies:

26.

Accelerating Test, Validation and Debug of High Speed Serial Interfaces

Author

Fan, Yongquan. author. Zilic, Zeljko. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9398-1

Format:

Availability

Online Library~1

Available:
Copies:

27.

A Practical Introduction to Hardware/Software Codesign

Author

Schaumont, Patrick R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-6000-9

Format:

Availability

Online Library~1

Available:
Copies:

28.

SystemC: From the Ground Up

Author

Black, David C. author. Donovan, Jack. author. Bunton, Bill. author. Keist, Anna. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Secure Integrated Circuits and Systems

Author

Verbauwhede, Ingrid M.R. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Quality-Driven SystemC Design

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Electronics System Design Techniques for Safety Critical Applications

Author

Sterpone, Luca. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

Hardware-dependent Software Principles and Practice

Author

Ecker, Wolfgang. editor. Müller, Wolfgang. editor. Dömer, Rainer. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

33.

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:

34.

Embedded System Design Modeling, Synthesis and Verification

Author

Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0504-8

Format:

Availability

Online Library~1

Available:
Copies:

35.

Language-driven Exploration and Implementation of Partially Re-configurable ASIPs

Author

Chattopadhyay, Anupam. author. Leupers, Rainer. author. Meyr, Heinrich. author. Ascheid, Gerd. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Unleash the System On Chip using FPGAs and Handel C

Author

Kamat, Rajanish K. author. Shinde, Santhosh A. author. Shelake, Vinod G. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

Author

Radetzki, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Architecting software intensive systems a practitioner's guide

Author

Lattanze, Anthony J.

Preferred Shelf Number

ONLINE

Electronic Access

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Availability

Online Library~1

Available:
Copies:

39.

Dynamic System Reconfiguration in Heterogeneous Platforms The MORPHEUS Approach

Author

Voros, Nikolaos S. editor. Rosti, Alberto. editor. Hübner, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Fine- and Coarse-Grain Reconfigurable Computing

Author

Vassiliadis, Stamatis. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Embedded Systems Specification and Design Languages Selected contributions from FDL’07

Author

Villar, Eugenio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Ingredients for Successful System Level Design Methodology

Author

Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

43.

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications

Author

Bobda, Christophe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

44.

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms

Author

Wieferink, Andreas. author. Meyr, Heinrich. author. Leupers, Rainer. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

45.

Designing Embedded Processors A Low Power Perspective

Author

Henkel, Jörg. editor. Parameswaran, Sri. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

Author

Verma, Manish. author. Marwedel, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

47.

Optimized ASIP Synthesis from Architecture Description Language Models

Author

Schliebusch, Oliver. author. Meyr, Heinrich. author. Leupers, Rainer. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

48.

Processor Design System-on-Chip Computing for ASICs and FPGAs

Author

Nurmi, Jari. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

49.

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

Author

Huss, Sorin A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

Author

Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Author

Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Compiling Esterel

Author

Potop-Butucaru, Dumitru. author. Edwards, Stephen A. author. Berry, Gérard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

53.

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:

54.

Real-Time Object Uniform Design Methodology with UML

Author

Duc, Bui Minh. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

Author

Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

FPGA Implementations of Neural Networks

Author

Omondi, Amos R. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-28487-7

Format:

Availability

Online Library~1

Available:
Copies:

57.

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

Author

Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-5138-7

Format:

Availability

Online Library~1

Available:
Copies:

58.

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:

59.

System Level Design of Reconfigurable Systems-on-Chip

Author

Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

Author

Boulet, Pierre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

61.

Interconnect-Centric Design for Advanced SoC and NoC

Author

Nurmi, Jari. editor. Tenhunen, Hannu. editor. Isoaho, Jouni. editor. Jantsch, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

62.

UML for SOC Design

Author

Martin, Grant. editor. Müller, Wolfgang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}