Bokus

Harry Hsieh – författare

Visar alla böcker från författaren Harry Hsieh. Handla med fri frakt och snabb leverans.

6 produkter

  1. Harry Hsieh, Felice Balarin, Alberto L. Sangiovanni-Vincentelli - Synchronous Equivalence, Inbunden. Tillgänglighet: Lägg i varukorg

    Synchronous Equivalence

    Formal Methods for Embedded Systems

    Av Harry Hsieh, Felice Balarin m. fl.

    Inbunden, 2000

    1114 kr

    Lägg i varukorg

    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 the system, either taking up roles that used to be performed by …

  2. F. Balarin, Paolo Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich, Bassam Tabbara, M. Chiodo, Harry Hsieh, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Kei Suzuki - Hardware-Software Co-Design of Embedded Systems, Inbunden. Tillgänglighet: Lägg i varukorg

    Hardware-Software Co-Design of Embedded Systems

    The POLIS Approach

    Av F. Balarin, Paolo Giusto m. fl.

    Inbunden, 1997

    1615 kr

    Lägg i varukorg

    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 include micro-controllers and Digital Signal Processors (DSPs). …

  3. Harry Hsieh, Felice Balarin, Alberto L. Sangiovanni-Vincentelli - Synchronous Equivalence, Häftad. Tillgänglighet: Lägg i varukorg

    Synchronous Equivalence

    Formal Methods for Embedded Systems

    Av Harry Hsieh, Felice Balarin m. fl.

    Häftad, 2012

    1079 kr

    Lägg i varukorg

    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 the system, either taking up roles that used to be performed by …

  4. F. Balarin, Paolo Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich, Bassam Tabbara, M. Chiodo, Harry Hsieh, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Kei Suzuki - Hardware-Software Co-Design of Embedded Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Hardware-Software Co-Design of Embedded Systems

    The POLIS Approach

    Av F. Balarin, Paolo Giusto m. fl.

    Häftad, 2013

    1620 kr

    Lägg i varukorg

    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 include micro-controllers and Digital Signal Processors (DSPs). …

  5. Alberto L. Sangiovanni-Vincentelli, Felice Balarin, Harry Hsieh - Synchronous Equivalence, E-bok. Tillgänglighet: Lägg i varukorg

    Synchronous Equivalence

    Formal Methods for Embedded Systems

    Av Alberto L. Sangiovanni-Vincentelli, Felice Balarin m. fl.

    E-bok, 2012

    1449 kr

    Lägg i varukorg

    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 the system, either taking up roles that used to be performed by …

  6. Kei Suzuki, Alberto Sangiovanni-Vincentelli, Luciano Lavagno, Harry Hsieh, M. Chiodo, Bassam Tabbara, Ellen Sentovich, Claudio Passerone, Attila Jurecska, Paolo Giusto, F. Balarin - Hardware-Software Co-Design of Embedded Systems, E-bok. Tillgänglighet: Lägg i varukorg

    Hardware-Software Co-Design of Embedded Systems

    The POLIS Approach

    Av Kei Suzuki, Alberto Sangiovanni-Vincentelli m. fl.

    E-bok, 2012

    2096 kr

    Lägg i varukorg

    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 include micro-controllers and Digital Signal Processors (DSPs). …