2470 search results - page 421 / 494 » Liveness-Preserving Simulation Relations |
DSN
2002
IEEE
14 years 3 months ago
2002
IEEE
We consider the following problem for wireless ad hoc networks: assume n nodes, each capable of communicating with nodes within a radius of r, are distributed in a ddimensional re...
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
Visual Servoing has been a viable method of robot manipulator control for more than a decade. Image-Based Visual Servoing (IBVS), in particular, has seen considerable development ...
IEEEPACT
2002
IEEE
14 years 3 months ago
2002
IEEE
Memory performance is increasingly determining microprocessor performance and technology trends are exacerbating this problem. Most architectures use set-associative caches with L...
ISCA
2002
IEEE
14 years 3 months ago
2002
IEEE
The impact of pipeline length on the performance of a microprocessor is explored both theoretically and by simulation. An analytical theory is presented that shows two opposing ar...
ISCA
2002
IEEE
14 years 3 months ago
2002
IEEE
An instruction set architecture (ISA) suitable for future microprocessor design constraints is proposed. The ISA has hierarchical register files with a small number of accumulator...