Results 1  10
of
8,803
RealTime Systems
, 2000
"... Collision avoidance is an important topic in multirobot systems. Existing multirobot pathfinding approaches ignore sideswipe collisions among robots (i.e., only consider the collision which two agents try to occupy the same node during the same timestep) [1, 3, 4], and allow diagonal move between ..."
Abstract

Cited by 602 (11 self)
 Add to MetaCart
positions for two robots, respectively. R1 and R2 are robot 1 and robot 2. (a) The initial position for two robots. (b) and (c) The dead looping condition is encountered and repeated inbetween (b) and (c) infinitely as each robot makes a move that mirrors the other robot’s.
Software pipelining: An effective scheduling technique for VLIW machines
, 1988
"... This paper shows that software pipelining is an effective and viable scheduling technique for VLIW processors. In software pipelining, iterations of a loop in the source program are continuously initiated at constant intervals, before the preceding iterations complete. The advantage of software pipe ..."
Abstract

Cited by 581 (3 self)
 Add to MetaCart
hierarchical reduction scheme whereby entire control constructs are reduced to an object similar to an operation in a basic block. With this scheme, all innermost loops, including those containing conditional statements, can be software pipelined. It also diminishes the startup cost of loops with small
Macroscopic strings as heavy quarks in large N gauge theory and Antide Sitter supergravity
 PHYS. J. C22
"... Maldacena has put forward large N correspondence between superconformal field theories on the brane and antide Sitter supergravity in spacetime. We study some aspects of the correspondence between N = 4 superconformal gauge theory on D3brane and maximal supergravity on adS5 × S5 by introducing mac ..."
Abstract

Cited by 508 (1 self)
 Add to MetaCart
for macroscopic string in antide Sitter supergravity. As a byproduct we clarify how Polchinski’s Dirichlet and Neumann open string boundary conditions arise. We then study nonBPS macroscopic string antistring pair configuration as physical realization of heavy quark Wilson loop. We obtain Q ¯ Q static
Loopy belief propagation for approximate inference: An empirical study. In:
 Proceedings of Uncertainty in AI,
, 1999
"... Abstract Recently, researchers have demonstrated that "loopy belief propagation" the use of Pearl's polytree algorithm in a Bayesian network with loops can perform well in the context of errorcorrecting codes. The most dramatic instance of this is the near Shannonlimit performanc ..."
Abstract

Cited by 676 (15 self)
 Add to MetaCart
with a single loop • Unless all the conditional probabilities are deter ministic, belief propagation will converge. • There is an analytic expression relating the cor rect marginals to the loopy marginals. The ap proximation error is related to the convergence rate of the messages the faster
EndtoEnd Routing Behavior in the Internet
, 1996
"... The largescale behavior of routing in the Internet has gone virtually without any formal study, the exception being Chinoy's analysis of the dynamics of Internet routing information [Ch93]. We report on an analysis of 40,000 endtoend route measurements conducted using repeated “traceroutes” ..."
Abstract

Cited by 655 (13 self)
 Add to MetaCart
” between 37 Internet sites. We analyze the routing behavior for pathological conditions, routing stability, and routing symmetry. For pathologies, we characterize the prevalence of routing loops, erroneous routing, infrastructure failures, and temporary outages. We find that the likelihood of encountering
Reasoning about Infinite Computations
 Information and Computation
, 1994
"... We investigate extensions of temporal logic by connectives defined by finite automata on infinite words. We consider three different logics, corresponding to three different types of acceptance conditions (finite, looping and repeating) for the automata. It turns out, however, that these logics all ..."
Abstract

Cited by 315 (58 self)
 Add to MetaCart
We investigate extensions of temporal logic by connectives defined by finite automata on infinite words. We consider three different logics, corresponding to three different types of acceptance conditions (finite, looping and repeating) for the automata. It turns out, however, that these logics all
The New Routing Algorithm for the ARPANET
 IEEE TRANSACTIONS ON COMMUNICATIONS
, 1980
"... The new ARPANET routing algorithm is an improvement test results. This paper is a summary of our conclusions only; over the old procedure in that it uses fewer network resources, operates on for more complete descriptions of our research findings, see more realistic estimates of network conditions, ..."
Abstract

Cited by 300 (2 self)
 Add to MetaCart
The new ARPANET routing algorithm is an improvement test results. This paper is a summary of our conclusions only; over the old procedure in that it uses fewer network resources, operates on for more complete descriptions of our research findings, see more realistic estimates of network conditions
Scanning Polyhedra with DO Loops
, 1991
"... Supercompilers perform complex program transformations which often result in new loop bounds. This paper shows that, under the usual assumptions in automatic parallelization, most transformations on loop nests can be expressed as affine transformations on integer sets de ned by polyhedra and that th ..."
Abstract

Cited by 216 (5 self)
 Add to MetaCart
and that the new loop bounds can be computed with algorithms using Fourier's pairwise elimination method although it is not exact for integer sets. Sufficient conditions to use pairwise elimination on integer sets and to extend it to pseudolinear constraints are also given. A tradeo has to be made between
CuntzKrieger algebras of directed graphs
, 1996
"... We associate to each rowfinite directed graph E a universal CuntzKrieger C  algebra C (E), and study how the distribution of loops in E affects the structure of C (E). We prove that C (E) is AF if and only if E has no loops. We describe an exit condition (L) on loops in E which allow ..."
Abstract

Cited by 213 (45 self)
 Add to MetaCart
We associate to each rowfinite directed graph E a universal CuntzKrieger C  algebra C (E), and study how the distribution of loops in E affects the structure of C (E). We prove that C (E) is AF if and only if E has no loops. We describe an exit condition (L) on loops in E which
Covariant operator formalism of gauge theories and quantum gravity,” World Sci. Lect. Notes Phys
, 1990
"... The new method proposed previously for solving the covariant operator formalism of quantum Einstein gravity is applied to quantum electrodynamics as an exercise of the application to quantum chromodynamics. The purposes of doing this are to establish the details of the method and to reconfirm the va ..."
Abstract

Cited by 214 (5 self)
 Add to MetaCart
the validity of the method. The Wightman functions are explicitly constructed, at tree and oneloop levels, so as to be consistent with fourdimensional multiple (anti)commutators and with the energypositivity condition. Quantum chromodynamics is a nonabelian gauge theory, for which the covariant operator
Results 1  10
of
8,803