3902 search results - page 44 / 781 » Hardware Synthesis from C C Models |
ICCAD
2008
IEEE
14 years 6 months ago
2008
IEEE
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with othe...
AICCSA
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
Applications from the embedded consumer domain put challenging requirements on SoC infrastructures, i.e. interconnect and memory. Specifically, video applications demand large sto...
BMCBI
2007
13 years 9 months ago
2007
Background: The quality of cDNA microarray data is crucial for expanding its application to other research areas, such as the study of gene regulatory networks. Despite the fact t...
EJC
2007
13 years 10 months ago
2007
This paper presents an information system architecture for the 7C model for organizational knowledge creation and management. The architecture is derived from the requirements that...