9842 search results - page 483 / 1969 » Compositional timing analysis |
192
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— High-rate space-time-frequency block codes (STFBC) are promising for achieving high bandwidth efficiency, low overhead and latency. Recently, a class of low-complexity STFBC m...
217
click to vote
PRDC
2006
IEEE
16 years 29 days ago
2006
IEEE
This paper presents the performance analysis of several well-known partitioning scheduling algorithms in real-time and fault-tolerant multiprocessor systems. Both static and dynam...
207
click to vote
CAMP
2005
IEEE
16 years 17 days ago
2005
IEEE
Abstract— Robot vision systems notoriously require large computing capabilities, rarely available on physical devices. Robots have limited embedded hardware, and almost all senso...
216
click to vote
ISORC
2005
IEEE
16 years 16 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...
198
click to vote
CC
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...