Sciweavers

2585 search results - page 174 / 517
» computing 1999
Sort
View
124
Voted
ARITH
1999
IEEE
15 years 8 months ago
Boosting Very-High Radix Division with Prescaling and Selection by Rounding
An extension of the very-high radix division with prescaling and selection by rounding is presented. This extension consists in increasing the effective radix of the implementatio...
Paolo Montuschi, Tomás Lang
ARTS
1999
Springer
15 years 8 months ago
Verifying Progress in Timed Systems
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
Stavros Tripakis
130
Voted
IPPS
1999
IEEE
15 years 8 months ago
The MuSE System: A Flexible Combination of On-Stack Execution and Work-Stealing
Executing subordinate activities by pushing return addresses on the stack is the most e cient working mode for sequential programs. It is supported by all current processors, yet i...
Markus Leberecht
131
Voted
ICCV
1999
IEEE
16 years 5 months ago
Manhattan World: Compass Direction from a Single Image by Bayesian Inference
When designing computer vision systems for the blind and visually impaired it is important to determine the orientation of the user relative to the scene. We observe that most ind...
James M. Coughlan, Alan L. Yuille
131
Voted
GROUP
1999
ACM
15 years 8 months ago
From description to requirements: an activity theoretic perspective
This paper demonstrates how activity theoretic concepts can be used in conjunction with an ethnographically informed approach to derive requirements on a work situation. We presen...
Phil Turner, Susan Turner, Julie Horton