topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 21
 |
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
ISBN: 9781489987372 / Angielski / Miękka / 2014 / 266 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 reliability are of paramount importance. These requirement pose new challenges to system designers. This necessitates that a proper design science, based on "constructive correctness" be developed. Correct-by-construction design and synthesis of embedded software is done in a way so that...
Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automoti...
|
cena:
473,80 zł |
 |
Nano, Quantum and Molecular Computing: Implications to High Level Design and Validation
ISBN: 9781441954664 / Angielski / Miękka / 2010 / 358 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 to the level of single electron operation will bring forth new challenges due to probabilistic effects and uncertainty in guaranteeing 'zero-one' based computing. Minuscule devices imply billions of devices on a single chip, which may help mitigate the challenge of uncertainty by replication and...
One of the grand challenges in the nano-scopic computing era is guarantees of robustness. Robust computing system design is confronted with quantum ph...
|
cena:
585,00 zł |
 |
Nano, Quantum and Molecular Computing: Implications to High Level Design and Validation
ISBN: 9781402080678 / Angielski / Twarda / 2004 / 358 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 to the level of single electron operation will bring forth new challenges due to probabilistic effects and uncertainty in guaranteeing 'zero-one' based computing. Minuscule devices imply billions of devices on a single chip, which may help mitigate the challenge of uncertainty by replication and...
One of the grand challenges in the nano-scopic computing era is guarantees of robustness. Robust computing system design is confronted with quantum ph...
|
cena:
585,00 zł |
 |
Cyber Security in India: Education, Research and Training
ISBN: 9789811516740 / Angielski / Twarda / 2020 / 108 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
389,98 zł |
 |
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
ISBN: 9781441963994 / Angielski / Twarda / 2010 / 266 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Embedded software is ubiquitous today and this book presents the state-of-the art-in the design of safety-critical, embedded software in a single reference. It is an invaluable reference for those concerned with improving the product development life-cycle.
Embedded software is ubiquitous today and this book presents the state-of-the art-in the design of safety-critical, embedded software in a single refe...
|
cena:
389,98 zł |
 |
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
ISBN: 9781441964809 / Angielski / Twarda / 2010 / 184 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 (e.g., blood pressure m- itors, glucometers). Two important design constraints for such consumer electronics are their form factor and battery life. This translates to the requirements of reduction in the die area and reduced power consumption for the semiconductor chips that go inside these...
Human lives are getting increasingly entangled with technology, especially comp- ing and electronics. At each step we take, especially in a developing...
|
cena:
389,98 zł |
 |
Cyber Security in India: Education, Research and Training
ISBN: 9789811516771 / Angielski / Miękka / 2021 / 108 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
389,98 zł |
 |
Ingredients for Successful System Level Design Methodology
ISBN: 9789048178902 / Angielski / Miękka / 2010 / 208 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 not clear what exactly it entails. However, what seems clear to every one is that the Register Transfer Level (RTL) languages are not adequate any more to be the design entry point for today s and tomorrow s complex electronic system design. There are multiple reasons for such thoughts. First, the c-...
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. E...
|
cena:
389,98 zł |
 |
Ingredients for Successful System Level Design Methodology
ISBN: 9781402084713 / Angielski / Twarda / 2008 / 208 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 not clear what exactly it entails. However, what seems clear to every one is that the Register Transfer Level (RTL) languages are not adequate any more to be the design entry point for today s and tomorrow s complex electronic system design. There are multiple reasons for such thoughts. First, the c-...
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. E...
|
cena:
389,98 zł |
 |
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
ISBN: 9781489987020 / Angielski / Miękka / 2014 / 154 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 (e.g., blood pressure m- itors, glucometers). Two important design constraints for such consumer electronics are their form factor and battery life. This translates to the requirements of reduction in the die area and reduced power consumption for the semiconductor chips that go inside these...
Human lives are getting increasingly entangled with technology, especially comp- ing and electronics. At each step we take, especially in a developing...
|
cena:
389,98 zł |
 |
Implementing Microsoft Dynamics 365 for Finance and Operations Apps - Second Edition
ISBN: 9781789950847 / Angielski / Miękka / 2020 / 528 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
239,66 zł |
 |
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
ISBN: 9781461408710 / Angielski / Twarda / 2011 / 170 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 ASIC/FPGA design.
This book presents novel research techniques, algorithms, methodologies and experimental results for high level power estimation and power aware high-...
|
cena:
389,98 zł |
 |
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
ISBN: 9781489987808 / Angielski / Miękka / 2014 / 170 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 ASIC/FPGA design.
This book presents novel research techniques, algorithms, methodologies and experimental results for high level power estimation and power aware high-...
|
cena:
389,98 zł |
 |
Formal Methods and Models for System Design: A System Level Perspective
ISBN: 9781441954640 / Angielski / Miękka / 2011 / 372 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 the system To do this task effectively, models and methods are necessary functionality. to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of...
Perhaps nothing characterizes the inherent heterogeneity in embedded sys tems than the ability to choose between hardware and software implementations...
|
cena:
623,84 zł |
 |
Prasitisitisches Potential und thermische Regime von Goniozus nephantidis
ISBN: 9786202735810 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
123,43 zł |
 |
Potencialidades parasitíticas e regimes térmicos de Goniozus nephantidis
ISBN: 9786202735872 / Portugalski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
123,43 zł |
 |
Prazitiziruüschij potencial i teplowye rezhimy nefantidisa Gonioza
ISBN: 9786202735889 / Rosyjski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
123,43 zł |
 |
Implementing Enterprise Cybersecurity with Opensource Software and Standard Architecture
ISBN: 9788770043076 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
224,28 zł |
 |
Implementing Enterprise Cybersecurity with Opensource Software and Standard Architecture
ISBN: 9788770224239 / Angielski / Twarda / 2021 / 300 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
505,98 zł |
 |
Understanding Pharmaceutical Standards and Regulations: Insights Towards Best Practice
ISBN: 9781032817040 / Angielski / 10-12-2024 Książka dostępna od: 10-12-2024 |
|
Planowany termin premiery książki: 10-12-2024
Książkę można już zamówić z rabatem 5% |
|
743,42 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
