10159 search results - page 1696 / 2032 » System Design Validation Using Formal Models |
158
Voted
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Uplink-Downlink imbalance is a characteristic of all wireless networks which greatly impacts system performance, and must be accounted for in system design and simulation. Howev...
156
click to vote
ICRA
2006
IEEE
16 years 24 days ago
2006
IEEE
- Time optimal control method for quadruped walking robots are developed and installed into a practical robot system. Each leg is modeled as a two link manipulator whose time optim...
184
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
There are various techniques for adapting the transmission rate of an application while maintaining the perceived quality at the receiver at acceptable levels. Shared channel syst...
156
click to vote
ARC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a methodology for the design of a reconfigurable computing system applied to a complex problem in molecular Biology: the protein folding problem. An e...
180
click to vote
ENGL
2006
15 years 6 months ago
2006
A direct adaptive neural network control system with and without integral action term is designed for the general class of continuous biological fermentation processes. The control...