2470 search results - page 312 / 494 » Liveness-Preserving Simulation Relations |
149
Voted
CCGRID
2003
IEEE
15 years 10 months ago
2003
IEEE
In systems consisting of multiple clusters of processors which are interconnected by relatively slow communication links and which employ space sharing for scheduling jobs, such a...
122
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
121
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
We present methods for extracting optimal paths from motion planning roadmaps. Our system enables any combination of optimization criteria, such as collision detection, kinematic/...
130
click to vote
LCN
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we introduce statistical methods to estimate the stability of paths in a mobile wireless ad hoc environment. Identifying stable paths helps to reduce control trafï¬...
125
click to vote
DAC
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a new algorithm based on Integrated Congruence transform for the analysis of both uniform and nonuniform transmission lines. The key advantage of the proposed ...