5241 search results - page 341 / 1049 » Embedded Programming with C |
RTAS
2006
IEEE
15 years 9 months ago
2006
IEEE
CSL
2005
Springer
15 years 9 months ago
2005
Springer
We study the complexity of model-checking for the fixpoint extension of Hintikka and Sandu’s independence-friendly logic. We show that this logic captures ExpTime; and by embedd...
110
click to vote
MSE
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper a review of development of manpower in VLSI in India is attempted. In the last decade of the 20th Century, rapid strides have been done in Micro-Electronics in India...
122
click to vote
MTDT
2003
IEEE
15 years 8 months ago
2003
IEEE
Advances in System-on-Chip (SoC) technology rely on manufacturing and assembling high-performance system cores for many critical applications. Among these cores, memory occupies t...
137
click to vote
EUROSYS
2006
ACM
15 years 7 months ago
2006
ACM
Product-line architectures (PLA)s are an emerging paradigm for developing software families for distributed real-time and embedded (DRE) systems by customizing reusable artifacts,...