2650 search results - page 280 / 530 » Simulation and Control of Reactive Systems |
104
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
—An analogy between the dynamics of a cart-pole system and vehicle rollover dynamics is used to derive a controller for tipping up and stabilizing a planar model of a passenger v...
119
click to vote
ICC
2007
IEEE
15 years 10 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...
141
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Flow control, including congestion control for data transmission, and rate control for multimedia streaming, is an important issue in information transmission in both wireline ...
155
click to vote
INFOCOM
2000
IEEE
15 years 9 months ago
2000
IEEE
—Allocating resources for multimedia traffic flows with real-time performance requirements is an important challenge for future packet networks. However, in large-scale networks,...
116
click to vote
MEMOCODE
2005
IEEE
15 years 10 months ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...