180 search results - page 21 / 36 » Loop Invariants on Demand |
ECUMN
2007
Springer
14 years 2 months ago
2007
Springer
— Currently used IP routing protocols calculate and only use a single path between two nodes of a network, or in the best case, only paths with the same cost (with OSPF2 or IS-IS...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
– This paper presents a new singularity robust and computationally efficient method for solving the inverse kinematics (IK) problem. In this method, the transformation from Carte...
ICPPW
2007
IEEE
14 years 2 months ago
2007
IEEE
With the growth in the computation capacity of sensor nodes, they are increasingly equipped to handle more complex functions. Moreover, the need to realize the complete loop of se...
ENTCS
2008
13 years 8 months ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
CDC
2010
IEEE
12 years 11 months ago
2010
IEEE
— The paper proposes a mathematical model for the dynamic evolution of supply, demand, and clearing prices under a class of real-time pricing mechanisms characterized by passing ...