2251 search results - page 36 / 451 » Specification and Implementation Problems for C |
145
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Hardware designers are increasingly turning to Single Chip Multi-Processors to achieve power and throughput goals. To further increase performance for a specific application the c...
122
click to vote
TODAES
1998
15 years 4 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
160
Voted
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
—In order to solve the challenges in processor design for the next generation wireless communication systems, this paper first proposes a system level design flow for communicati...
142
Voted
TVLSI
2008
15 years 5 months ago
2008
Reconfigurable hardware is ideal for use in Systems-on-a-Chip, as it provides both hardware-level performance and post-fabrication flexibility. However, any one architecture is ra...
131
click to vote
ICALT
2007
IEEE
15 years 11 months ago
2007
IEEE
Health professions education has moved away from process-based curricula to competency-based curricula. Machine readable and processable health care competencies are still embryon...