15614 search results - page 2837 / 3123 » The State of State |
181
click to vote
ICFEM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
171
click to vote
ICMI
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes the Hapticat , a device we developed to study affect through touch. Though intentionally not highly zoomorphic, the device borrows behaviors from pets and th...
205
click to vote
ICS
2005
Tsinghua U.
16 years 6 days ago
2005
Tsinghua U.
Supercomputer architects strive to maximize the performance of scientific applications. Unfortunately, the large, unwieldy nature of most scientific applications has lead to the...
198
click to vote
IPTPS
2005
Springer
16 years 6 days ago
2005
Springer
In Peer-to-Peer networks based on consistent hashing and ring topology each server is responsible for an interval chosen (pseudo-)randomly on a circle. The topology of the network...
180
click to vote
ISNN
2005
Springer
16 years 6 days ago
2005
Springer
Recently, a mathematical proof is obtained in (Liu, Chiu, Xu, 2004) on the so called one-bit-matching conjecture that all the sources can be separated as long as there is an one-to...