876 search results - page 129 / 176 » New Results for the Martin Polynomial |
IEEEPACT
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper proposes a new hardware technique for using one core of a CMP to prefetch data for a thread running on another core. Our approach simply executes a copy of all non-cont...
102
click to vote
KI
2005
Springer
15 years 5 months ago
2005
Springer
Dealing with methods of human-robot interaction and using a real mobile robot, stable methods for people detection and tracking are fundamental features of such a system and requir...
SAT
2005
Springer
15 years 5 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
MMB
2004
Springer
15 years 5 months ago
2004
Springer
Quality of Service (QoS) routing methods are expected to replace existing routing protocols in future QoS-based data networks. QoS routing allows the selection of feasible paths f...
102
click to vote
RT
2004
Springer
15 years 5 months ago
2004
Springer
This paper proposes a new shadow map technique termed trapezoidal shadow maps to calculate high quality shadows in real-time applications. To address the resolution problem of the...