1497 search results - page 193 / 300 » Extended static checking |
85
Voted
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
—We propose a broadcast protocol that is based on a form of cooperative transmission called the Opportunistic Large Array (OLA). Multiple SNR (or transmission) thresholds are use...
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
— The ballbot is a dynamically stable mobile robot that moves on a single spherical wheel and is capable of omnidirectional movement. The ballbot is an underactuated system with ...
105
click to vote
ASIACRYPT
2009
Springer
15 years 7 months ago
2009
Springer
A universally composable (UC) blind signature functionality requres users to commit to the message to be blindly signed. It is thereby impossible to realize in the plain model. Th...
102
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
—We consider state feedback stabilization of uncertain linear systems with quantization. The plant uncertainty is dealt with by the supervisory control framework, which employs s...
83
Voted
DATE
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a method for static performance analysis of SoC architectures. The method is based on a network calculus theory known as LR servers. This network calculus is e...