12023 search results - page 2120 / 2405 » The K-Rep System Architecture |
207
click to vote
ISORC
2005
IEEE
16 years 9 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
168
click to vote
MICRO
2005
IEEE
16 years 8 days ago
2005
IEEE
Data prefetching via helper threading has been extensively investigated on Simultaneous MultiThreading (SMT) or Virtual Multi-Threading (VMT) architectures. Although reportedly la...
182
click to vote
RTCSA
2005
IEEE
16 years 8 days ago
2005
IEEE
Location based services are becoming essential feature of context-awareness in ubiquitous computing. Reflective distribute component programming model is proposed to systematicall...
182
click to vote
VISUALIZATION
2005
IEEE
16 years 8 days ago
2005
IEEE
The rapid increase in the performance of graphics hardware, coupled with recent improvements in its programmability, have made graphics hardware a compelling platform for computat...
203
click to vote
VLSID
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract—Integrated power supplies are critical building blocks in stateof-the-art portable applications, where they efficiently and accurately transform a battery supply into va...