Sciweavers

3458 search results - page 196 / 692
» Abstracting Control
Sort
View
WINET
2002
163views more  WINET 2002»
15 years 3 months ago
TCP Westwood: End-to-End Congestion Control for Wired/Wireless Networks
Abstract. TCP Westwood (TCPW) is a sender-side modification of the TCP congestion window algorithm that improves upon the performance of TCP Reno in wired as well as wireless netwo...
Claudio Casetti, Mario Gerla, Saverio Mascolo, M. ...
IJDMBC
2010
115views more  IJDMBC 2010»
14 years 10 months ago
Near Optimum Power Control and Precoding under Fairness Constraints in Network MIMO Systems
Abstract--We consider the problem of setting the uplink signalto-noise-and-interference (SINR) target and allocating transmit powers for mobile stations in multicell spatial multip...
Gábor Fodor, Mikael Johansson, Pablo Soldat...
ICRA
2007
IEEE
122views Robotics» more  ICRA 2007»
15 years 9 months ago
Force Redistribution in a Quadruped Running Trot
Abstract— In this paper, an attitude control strategy is developed for a high-speed quadruped trot. The forces in the trot are redistributed among the legs to stabilize the pitch...
Luther R. Palmer, David E. Orin
120
Voted
ASM
2005
ASM
15 years 9 months ago
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
Andrey Novikov, Rostislav Yavorskiy
ICWE
2003
Springer
15 years 8 months ago
Partitioning the Navigational Model: A Component-Driven Approach
Abstract. This paper proposes using a Component Approach to model navigation in a hypertext application. It proposes Navigational Semantic Units (NSUs), which are component-oriente...
Stephen Kerr, Daniel M. Germán