लेखक: Sandeep Kumar Shukla

समर्थन
Sandeep Kumar Shukla is currently the Poonam and Prabhu Goel Chair Professor and Head of the Computer Science and Engineering Department, Indian Institute of Technology, Kanpur, India. He is the Editor-in-Chief of ACM Transactions on Embedded Systems and an Associate Editor of ACM Transactions on Cyber-Physical Systems. He is an IEEE fellow, an ACM Distinguished Scientist, and served as an IEEE Computer Society Distinguished Visitor from 2008 to 2012, and as an ACM Distinguished Speaker from 2007 to 2014. He was previously an Associate Editor of IEEE Transactions on Computers, IEEE Transactions on Industrial Informatics, IEEE Design & Test, IEEE Embedded Systems Letters, and various other journals. He was a member of the faculty at the Virginia Polytechnic Institute, Arlington, Virginia, between 2002 and 2015, and has also been a visiting scholar at INRIA, France, and the University of Kaiserslautern, Germany.  In 2014, he was named a fellow of the Institute of Electrical and Electronics Engineers (IEEE) for his contributions to applied probabilistic model checking for system design. He has authored several books on systems and has edited and co-authored numerous books with Springer. Prof. Manindra Agrawal received his B.Tech. and Ph.D. in Computer Science and Engineering from the Indian Institute of Technology, Kanpur in 1986 and 1991, respectively. He was a fellow of the School of Mathematics, SPIC Science Foundation, Chennai, from 1993 to 1995, and a Humboldt fellow at the University of Ulm, Germany, from 1995 to 1996. He joined the faculty at IIT Kanpur as an Assistant Professor at the Department of Computer Science and Engineering in 1996. And was appointed as the N. Rama Rao Chair Professor in 2003. He is the recipient of several international awards, including the Fulkerson Prize 2006 and the Gödel Prize 2006, and has published and presented papers in respected journals. He was the Head of the Computer Science and Engineering Department, and Dean of Faculty affairs at IIT Kanpur. Currently, he is the Deputy Director and Officiating Director of IIT Kanpur. Prof. Agrawal has made significant contributions to the theory of efficient reactions between computational problems, which are part of the program studying the well-known P vs NP question in mathematics/computer science. His joint paper with two of his former students resolves the centuries-old problem of a fast test of primality. In the language of complexity theory, they have proved that recognizing primes is in the ‘class P’ and this constitutes one of the most striking problems now known in this class.




11 द्वारा ईबुक Sandeep Kumar Shukla

Hiren Patel & Sandeep Kumar Shukla: SystemC Kernel Extensions for Heterogeneous System Modeling
System C Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand how System C can be made useful for system level modeling at higher …
PDF
अंग्रेज़ी
€96.29
Hiren D. Patel & Sandeep Kumar Shukla: Ingredients for Successful System Level Design Methodology
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 hav …
PDF
अंग्रेज़ी
€96.29
Sekharipuram S. Ravi & Sandeep Kumar Shukla: Fundamental Problems in Computing
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 …
PDF
अंग्रेज़ी
€96.29
Sandeep Kumar Shukla & Jean-Pierre Talpin: Synthesis of Embedded Software
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 …
PDF
अंग्रेज़ी
€96.29
Gaurav Singh & Sandeep Kumar Shukla: Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
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 …
PDF
अंग्रेज़ी
€96.29
Sumit Ahuja & Avinash Lakshminarayana: Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
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 …
PDF
अंग्रेज़ी
€96.29
Paul Le Guernic & Rajesh Gupta: Formal Methods and Models for System Design
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 embedd …
PDF
अंग्रेज़ी
DRM
€162.34
R. Iris Bahar & Sandeep Kumar Shukla: Nano, Quantum and Molecular Computing
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 phenom …
PDF
अंग्रेज़ी
DRM
€166.27
Sandeep Kumar Shukla & Manindra Agrawal: Cyber Security in India
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 …
PDF
अंग्रेज़ी
€96.29
Anand Handa & Rohit Negi: Implementing Enterprise Cybersecurity with Opensource Software and Standard Architecture
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 o …
PDF
अंग्रेज़ी
DRM
€109.70
Anand Handa & Rohit Negi: Implementing Enterprise Cybersecurity with Opensource Software and Standard Architecture
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 o …
EPUB
अंग्रेज़ी
DRM
€109.77