Sandeep Kumar Shukla – författare
Visar alla böcker från författaren Sandeep Kumar Shukla. Handla med fri frakt och snabb leverans.
30 produkter
Implementing Enterprise Cybersecurity with Opensource Software and Standard Architecture
Av Sandeep Kumar Shukla, Rohit Negi m. fl.
E-bok, 2022
767 kr
Lägg i varukorg
Many small and medium scale businesses cannot afford to procure expensive cybersecurity tools. In many cases, even after procurement, lack of a workforce with knowledge of the standard architecture of enterprise security, tools are often used ineffectively. The Editors have developed multiple …
Implementing Enterprise Cybersecurity with Opensource Software and Standard Architecture
Av Sandeep Kumar Shukla, Rohit Negi m. fl.
E-bok, 2022
750 kr
Lägg i varukorg
Many small and medium scale businesses cannot afford to procure expensive cybersecurity tools. In many cases, even after procurement, lack of a workforce with knowledge of the standard architecture of enterprise security, tools are often used ineffectively. The Editors have developed multiple …
Formal Methods and Models for System Design
A System Level Perspective
Av Rajesh Gupta, Paul Le Guernic m. fl.
Inbunden, 2004
1748 kr
Lägg i varukorg
The gap between the size of microelectronic design/validation task and our ability to design these in a reasonable time is steadly increasing. We need tools and techniques to bridge this gap. Formal models and methods hold this promise by their focus on scalability, efficiency and design …
Formal Methods and Models for System Design
A System Level Perspective
Av Rajesh Gupta, Paul Le Guernic m. fl.
2004
2431 kr
Lägg i varukorg
The gap between the size of microelectronic design/validation task and our ability to design these in a reasonable time is steadly increasing. We need tools and techniques to bridge this gap. Formal models and methods hold this promise by their focus on scalability, efficiency and design …
Nano, Quantum and Molecular Computing
Implications to High Level Design and Validation
Av Sandeep Kumar Shukla, R. Iris Bahar
Inbunden, 2004
1688 kr
Lägg i varukorg
One of the grand challenges in the nano-scopic computing era is guarantees of robustness. Robust computing system design is confronted with quantum physical, probabilistic, and even biological phenomena, and guaranteeing high reliability is much more difficult than ever before. Scaling devices down …
Nano, Quantum and Molecular Computing
Implications to High Level Design and Validation
Av Sandeep Kumar Shukla, R. Iris Bahar
2004
2563 kr
Lägg i varukorg
One of the grand challenges in the nano-scopic computing era is guarantees of robustness. Robust computing system design is confronted with quantum physical, probabilistic, and even biological phenomena, and guaranteeing high reliability is much more difficult than ever before. Scaling devices down …
SystemC Kernel Extensions for Heterogeneous System Modeling
A Framework for Multi-MoC Modeling & Simulation
Av Hiren Patel, Sandeep Kumar Shukla
Inbunden, 2004
1128 kr
Lägg i varukorg
SystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand how SystemC can be made useful for system level modeling at higher levels of abstraction. Making it a truly heterogeneous modeling language and platform, for …
Ingredients for Successful System Level Design Methodology
Av Hiren D. Patel, Sandeep Kumar Shukla
Inbunden, 2008
1128 kr
Lägg i varukorg
ESL or “Electronic System Level” is a buzz word these days, in the electronic design automation (EDA) industry, in design houses, and in the academia. Even though numerous trade magazine articles have been written, quite a few books have been published that have attempted to de?ne ESL, it is still …
Ingredients for Successful System Level Design Methodology
Av Sandeep Kumar Shukla, Hiren D. Patel
E-bok, 2008
1427 kr
Lägg i varukorg
ESL or “Electronic System Level” is a buzz word these days, in the electronic design automation (EDA) industry, in design houses, and in the academia. Even though numerous trade magazine articles have been written, quite a few books have been published that have attempted to de?ne ESL, it is still …
Fundamental Problems in Computing
Essays in Honor of Professor Daniel J. Rosenkrantz
Av Sekharipuram S. Ravi, Sandeep Kumar Shukla
Inbunden, 2009
1128 kr
Lägg i varukorg
Fundamental Problems in Computing is in honor of Professor Daniel J. Rosenkrantz, a distinguished researcher in Computer Science. Professor Rosenkrantz has made seminal contributions to many subareas of Computer Science including formal languages and compilers, automata theory, algorithms, database …
Fundamental Problems in Computing
Essays in Honor of Professor Daniel J. Rosenkrantz
Av Sandeep Kumar Shukla, Sekharipuram S. Ravi
E-bok, 2009
1502 kr
Lägg i varukorg
Fundamental Problems in Computing is in honor of Professor Daniel J. Rosenkrantz, a distinguished researcher in Computer Science. Professor Rosenkrantz has made seminal contributions to many subareas of Computer Science including formal languages and compilers, automata theory, algorithms, database …
Formal Methods and Models for System Design
A System Level Perspective
Av Rajesh Gupta, Paul Le Guernic m. fl.
Häftad, 2011
1748 kr
Lägg i varukorg
Perhaps nothing characterizes the inherent heterogeneity in embedded sys tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre sent a careful division and design of hardware and software parts of …
Nano, Quantum and Molecular Computing
Implications to High Level Design and Validation
Av Sandeep Kumar Shukla, R. Iris Bahar
Häftad, 2010
1639 kr
Lägg i varukorg
One of the grand challenges in the nano-scopic computing era is guarantees of robustness. Robust computing system design is confronted with quantum physical, probabilistic, and even biological phenomena, and guaranteeing high reliability is much more difficult than ever before. Scaling devices down …
SystemC Kernel Extensions for Heterogeneous System Modeling
A Framework for Multi-MoC Modeling & Simulation
Av Hiren Patel, Sandeep Kumar Shukla
Häftad, 2010
1095 kr
Lägg i varukorg
SystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand how SystemC can be made useful for system level modeling at higher levels of abstraction. Making it a truly heterogeneous modeling language and platform, for …
Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction
Av Sandeep Kumar Shukla, Jean-Pierre Talpin
Inbunden, 2010
1095 kr
Lägg i varukorg
Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose correctness, timely response, and …
Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction
Av Jean-Pierre Talpin, Sandeep Kumar Shukla
E-bok, 2010
1427 kr
Lägg i varukorg
Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose correctness, timely response, and …
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Av Gaurav Singh, Sandeep Kumar Shukla
Inbunden, 2010
1095 kr
Lägg i varukorg
Human lives are getting increasingly entangled with technology, especially comp- ing and electronics. At each step we take, especially in a developing world, we are dependent on various gadgets such as cell phones, handheld PDAs, netbooks, me- cal prosthetic devices, and medical measurement devices …
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Av Sandeep Kumar Shukla, Gaurav Singh
E-bok, 2010
1459 kr
Lägg i varukorg
Human lives are getting increasingly entangled with technology, especially comp- ing and electronics. At each step we take, especially in a developing world, we are dependent on various gadgets such as cell phones, handheld PDAs, netbooks, me- cal prosthetic devices, and medical measurement devices …
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
Av Sumit Ahuja, Avinash Lakshminarayana m. fl.
Inbunden, 2011
1095 kr
Lägg i varukorg
This book presents novel research techniques, algorithms, methodologies and experimental results for high level power estimation and power aware high-level synthesis. Readers will learn to apply such techniques to enable design flows resulting in shorter time to market and successful low power …
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
Av Sandeep Kumar Shukla, Avinash Lakshminarayana m. fl.
E-bok, 2011
1459 kr
Lägg i varukorg
This book presents novel research techniques, algorithms, methodologies and experimental results for high level power estimation and power aware high-level synthesis. Readers will learn to apply such techniques to enable design flows resulting in shorter time to market and successful low power …
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Av Gaurav Singh, Sandeep Kumar Shukla
Häftad, 2014
1095 kr
Lägg i varukorg
Human lives are getting increasingly entangled with technology, especially comp- ing and electronics. At each step we take, especially in a developing world, we are dependent on various gadgets such as cell phones, handheld PDAs, netbooks, me- cal prosthetic devices, and medical measurement devices …
Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction
Av Sandeep Kumar Shukla, Jean-Pierre Talpin
Häftad, 2014
1329 kr
Lägg i varukorg
Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose correctness, timely response, and …
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
Av Sumit Ahuja, Avinash Lakshminarayana m. fl.
Häftad, 2014
1095 kr
Lägg i varukorg
This book presents novel research techniques, algorithms, methodologies and experimental results for high level power estimation and power aware high-level synthesis. Readers will learn to apply such techniques to enable design flows resulting in shorter time to market and successful low power …
Implementing Enterprise Cybersecurity with Opensource Software and Standard Architecture
Av Anand Handa, Rohit Negi m. fl.
Häftad, 2024
650 kr
Lägg i varukorg
Many small and medium scale businesses cannot afford to procure expensive cybersecurity tools. In many cases, even after procurement, lack of a workforce with knowledge of the standard architecture of enterprise security, tools are often used ineffectively. The Editors have developed multiple …
Implementing Enterprise Cybersecurity with Opensource Software and Standard Architecture
Av Anand Handa, Rohit Negi m. fl.
Inbunden, 2021
1457 kr
Lägg i varukorg
Many small and medium scale businesses cannot afford to procure expensive cybersecurity tools. In many cases, even after procurement, lack of a workforce with knowledge of the standard architecture of enterprise security, tools are often used ineffectively. The Editors have developed multiple …
Ingredients for Successful System Level Design Methodology
Av Hiren D. Patel, Sandeep Kumar Shukla
Häftad, 2010
1095 kr
Lägg i varukorg
ESL or “Electronic System Level” is a buzz word these days, in the electronic design automation (EDA) industry, in design houses, and in the academia. Even though numerous trade magazine articles have been written, quite a few books have been published that have attempted to de?ne ESL, it is still …
Fundamental Problems in Computing
Essays in Honor of Professor Daniel J. Rosenkrantz
Av Sekharipuram S. Ravi, Sandeep Kumar Shukla
Häftad, 2010
1128 kr
Lägg i varukorg
Fundamental Problems in Computing is in honor of Professor Daniel J. Rosenkrantz, a distinguished researcher in Computer Science. Professor Rosenkrantz has made seminal contributions to many subareas of Computer Science including formal languages and compilers, automata theory, algorithms, database …
Cyber Security in India
Education, Research and Training
Av Sandeep Kumar Shukla, Manindra Agrawal
Inbunden, 2020
1095 kr
Lägg i varukorg
This book of 'directions' focuses on cyber security research, education and training in India, and work in this domain within the Indian Institute of Technology Kanpur. IIT Kanpur's Computer Science and Engineering Department established an ‘Interdisciplinary Center for Cyber Security and Cyber …
Cyber Security in India
Education, Research and Training
Av Manindra Agrawal, Sandeep Kumar Shukla
E-bok, 2020
1427 kr
Lägg i varukorg
This book of ''directions'' focuses on cyber security research, education and training in India, and work in this domain within the Indian Institute of Technology Kanpur. IIT Kanpur''s Computer Science and Engineering Department established an ‘Interdisciplinary Center for Cyber Security and Cyber …
Cyber Security in India
Education, Research and Training
Av Sandeep Kumar Shukla, Manindra Agrawal
Häftad, 2021
1095 kr
Lägg i varukorg
This book of 'directions' focuses on cyber security research, education and training in India, and work in this domain within the Indian Institute of Technology Kanpur. IIT Kanpur's Computer Science and Engineering Department established an ‘Interdisciplinary Center for Cyber Security and Cyber …