Synchronous Equivalence - Formal Methods for Embedded Systems
von Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Felice Balarin
2000 Gebunden, 156 Seiten, 241mm x 160mm x 14mm, Sprache(n): eng An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in t…
Synchronous Equivalence - Formal Methods for Embedded Systems
von Harry Hsieh, Alberto L. Sangiovanni-Vincentelli, Felice Balarin
2012 Kartoniert, 152 Seiten, 235mm x 155mm x 9mm, Sprache(n): eng An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in…
Hardware-Software Co-Design of Embedded Systems - The POLIS Approach
von F. Balarin, Alberto Sangiovanni-Vincentelli, Bassam Tabbara, Paolo Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich, Kei Suzuki, M. Chiodo, Harry Hsieh, Luciano Lavagno
1997 Gebunden, 322 Seiten, 241mm x 160mm x 23mm, Sprache(n): eng Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts i…
Hardware-Software Co-Design of Embedded Systems - The POLIS Approach
von F. Balarin, Alberto Sangiovanni-Vincentelli, Bassam Tabbara, Paolo Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich, Kei Suzuki, M. Chiodo, Harry Hsieh, Luciano Lavagno
2013 Kartoniert, 320 Seiten, 235mm x 155mm x 18mm, Sprache(n): eng Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts…
- Autor
- Harry Hsieh
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!