Search Results for Sandeep, K. - Narrowed by: Systems engineering.

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction

2024-10-30T03:17:10Z

Author Shukla, Sandeep K. editor. Talpin, Jean-Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6400-7
Format: Electronic Resources
Availability Online Library~1

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

2024-10-30T03:17:10Z

Author Singh, Gaurav. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6481-6
Format: Electronic Resources
Availability Online Library~1

Ingredients for Successful System Level Design Methodology

2024-10-30T03:17:10Z

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: Electronic Resources
Availability Online Library~1

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation

2024-10-30T03:17:10Z

Author Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b117249
Format: Electronic Resources
Availability Online Library~1