Sciweavers

891 search results - page 36 / 179
» Automatic Generation of a Real-Time Operating System for Emb...
Sort
View
DATE
2002
IEEE
146views Hardware» more  DATE 2002»
15 years 8 months ago
Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...
Sungjoo Yoo, Gabriela Nicolescu, Lovic Gauthier, A...
EMSOFT
2005
Springer
15 years 8 months ago
Towards real-time enabled Microsoft Windows
Many computer scientists recognize the adverse relationship between Microsoft Windows, a general purpose operating system, which by design does not support Real Time, a specific ...
Alex Xiang Feng
JIPS
2006
120views more  JIPS 2006»
15 years 3 months ago
Automatic Hardware/Software Interface Generation for Embedded System
: Large portion of embedded system development process is the integration of hardware and software. Unfortunately, the communication across the hardware/software boundary is tediou...
Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, Taisook...
FDL
2007
IEEE
15 years 9 months ago
Automatic High Level Assertion Generation and Synthesis for Embedded System Design
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
Lun Li, Frank P. Coyle, Mitchell A. Thornton