نتائج البحث

Towards dependable development tools for embedded systems: a case study in software verification.

• Authors : Petermann, Uwe¹

• Source: Journal of Experimental & Theoretical Artificial Intelligence. Oct-Dec2000, Vol. 12 Issue 4, p489-498. 10p. 6 Diagrams.

تفاصيل العنوان

THE EMBEDDED WORLD.

Subjects: *EXHIBITIONS; *EMBEDDED computer systems; *CONFERENCES & conventionsGERMANY

• Source: Electronics Weekly. 2/14/2018, Issue 2721, p23-23. 1p. 1 Color Photograph.

تفاصيل العنوان

Celebrate Europe's strengths.

Subjects: *AWARDS; *EMBEDDED computer systems; *INTERNETMUNICH (Germany); GERMANY

• Source: Electronics Weekly. 4/12/2006, Issue 2236, p76-77. 2p.

تفاصيل العنوان

Nu Horizons moves north with C-88.

Subjects: *MERGERS & acquisitions; *SEMICONDUCTORS; *EMBEDDED computer systemsGERMANY

• Source: Electronics Weekly. 10/1/2008, Issue 2354, p21-21. 1/3p. 2 Color Photographs.

تفاصيل العنوان

Functional Coverage Driven Test Generation for Validation of Pipelined Processors

• Authors : Mishra, Prabhat; Dutt, Nikil;

Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]; [SPI.TRON]Engineering Sciences [physics]/ElectronicsMunich; Germany

• Source: Design, Automation and Test in Europe ; DATE'05 ; https://hal.archives-ouvertes.fr/hal-00181186 ; DATE'05, Mar 2005, Munich, Germany. pp.678-683

تفاصيل العنوان

Lightweight Multitasking Support for Embedded Systems using the Phantom Serializing Compiler

• Authors : Nacul, Andre C.; Givargis, Tony;

Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]; [SPI.TRON]Engineering Sciences [physics]/ElectronicsMunich; Germany

• Source: Design, Automation and Test in Europe ; DATE'05 ; https://hal.archives-ouvertes.fr/hal-00181199 ; DATE'05, Mar 2005, Munich, Germany. pp.742-747

تفاصيل العنوان

PBExplore: A Framework for Compiler-in-the-Loop Exploration of Partial Bypassing in Embedded Processors

• Authors : Shrivastava, Aviral; Dutt, Nikil; Nicolau, Alex ...

Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]; [SPI.TRON]Engineering Sciences [physics]/ElectronicsMunich; Germany

• Source: Design, Automation and Test in Europe ; DATE'05 ; https://hal.archives-ouvertes.fr/hal-00181302 ; DATE'05, Mar 2005, Munich, Germany. pp.1264-1269

تفاصيل العنوان

Defining an Enhanced RTL Semantics

• Authors : Zhao, Shuqing; Gajski, Daniel D.;

Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]; [SPI.TRON]Engineering Sciences [physics]/ElectronicsMunich; Germany

• Source: Design, Automation and Test in Europe ; DATE'05 ; https://hal.archives-ouvertes.fr/hal-00181569 ; DATE'05, Mar 2005, Munich, Germany. pp.548-553

تفاصيل العنوان

System Synthesis for Networks of Programmable Blocks

• Authors : Mannion, Ryan; Hsieh, Harry; Cotterell, Susan ...

Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]; [SPI.TRON]Engineering Sciences [physics]/ElectronicsMunich; Germany

• Source: Design, Automation and Test in Europe ; DATE'05 ; https://hal.archives-ouvertes.fr/hal-00181678 ; DATE'05, Mar 2005, Munich, Germany. pp.888-893

تفاصيل العنوان

ISEGEN: Generation of High-Quality Instruction Set Extensions by Iterative Improvement

• Authors : Biswas, Partha; Banerjee, Sudarshan; Dutt, Nikil ...

Subjects: [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]; [SPI.TRON]Engineering Sciences [physics]/ElectronicsMunich; Germany

• Source: Design, Automation and Test in Europe ; DATE'05 ; https://hal.archives-ouvertes.fr/hal-00181685 ; DATE'05, Mar 2005, Munich, Germany. pp.1246-1251

تفاصيل العنوان