13 search results - page 1 / 3 » Leaping Loops in the Presence of Abstraction |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
TJS
2008
13 years 4 months ago
2008
Abstract. Traditionally, loop nests are fused only when the data dependences in the loop nests are not violated. This paper presents a new loop fusion algorithm that is capable of ...
ICALP
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. Milner proposed an axiomatization for the Kleene star in basic process algebra, in the presence of deadlock and empty process, modulo bisimulation equivalence. In this pa...
ICRA
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract— With the rapid progress of the robotic technology, it is becoming increasingly common to have multiple robots working together for material transport, cooperative assem...
AUTOMATICA
2002
13 years 4 months ago
2002
Abstract. The proper measure of closed-loop performance variation in the presence of modelplant mismatch is discussed in this paper. A generalized closed-loop error transfer functi...