6719 search results - page 306 / 1344 » A Generalization of Automatic Sequences |
SIGSOFT
2003
ACM
15 years 6 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
90
Voted
SC
2000
ACM
15 years 5 months ago
2000
ACM
The performance of the MPI’s collective communications is critical in most MPI-based applications. A general algorithm for a given collective communication operation may not giv...
SIGGRAPH
1998
ACM
15 years 5 months ago
1998
ACM
Phong-shaded 3D imagery does not provide geometric information of the same richness as human-drawn technical illustrations. A non-photorealistic lighting model is presented that a...
104
click to vote
ISCA
1997
IEEE
15 years 5 months ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
84
Voted
ICRA
1993
IEEE
15 years 4 months ago
1993
IEEE
Ordinarily, a robot workspace has insufficientroom to allow the setup of multiple applications simultaneously. As a result, it is common practice to use modular fixtures which hol...