4184 search results - page 223 / 837 » Names of Our Lives |
158
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
175
Voted
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
Group communication systems are proven tools upon which to build fault-tolerant systems. As the demands for fault-tolerance increase and more applications require reliable distrib...
168
Voted
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
—Several analytic models describe the steady-state throughput of bulk transfer TCP flows as a function of round trip time and packet loss rate. These models describe flows base...
183
click to vote
HRI
2010
ACM
15 years 11 months ago
2010
ACM
— Assisting humans in their daily lives requires robots to be proficient in manual tasks and effective in communicating states/intentions with human users. This paper advocates ...
183
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents a new algorithm for exact estimation of the minimum memory size required by programs dealing with array computations. Memory size is an important factor a ecti...