2142 search results - page 296 / 429 » Improved Conditional E-Payments |
MICRO
2000
IEEE
14 years 2 months ago
2000
IEEE
The design and implementation of a modern microprocessor creates many reliability challenges. Designers must verify the correctness of large complex systems and construct implemen...
RTSS
2000
IEEE
14 years 2 months ago
2000
IEEE
In this paper, we study the problem of scheduling task sets with (m,k) constraints. In our approach, jobs of each task are partitioned into two sets: mandatory and optional. Manda...
ISCA
1999
IEEE
14 years 2 months ago
1999
IEEE
Several ILP limit studies indicate the presence of considerable ILP across dynamically far-apart instructions in program execution. This paper proposes a hardware mechanism, dynam...
DAGM
1999
Springer
14 years 2 months ago
1999
Springer
This paper presents a statistical algorithm for collaborative mobile robot localization. Our approach uses a sample-based version of Markov localization, capable of localizing mob...
SMI
1999
IEEE
14 years 2 months ago
1999
IEEE
Surgical simulation is the coming training method for medical education. The main reasons for this are the reduced risk for the patients and the easy repeatability of complicated ...