4488 search results - page 654 / 898 » Properties of NP-Complete Sets |
194
click to vote
IPPS
2006
IEEE
16 years 23 days ago
2006
IEEE
As mobile ad hoc networks provide a wide range of possibly critical services, providing quality of service guarantees becomes an essential element. Yet there is a limited understa...
179
click to vote
IROS
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents design and manufacturing procedure of a tele-operative rescue robot. First, the general task to be performed by such a robot is defined, and variant kinematic m...
159
click to vote
ISCAS
2006
IEEE
16 years 23 days ago
2006
IEEE
The efficient design of multiplierless implementa- The goal is to find the optimal sub-expressions across all N dot tions of constant matrix multipliers is challenged by the huge p...
204
click to vote
MTV
2006
IEEE
16 years 22 days ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
185
click to vote
QEST
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...