3639 search results - page 301 / 728 » Experiments on IPv6 Testing |
124
click to vote
CP
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we present a hybrid model for the demand acceptance variant of the routing and wavelength assignment problem in directed networks, an important benchmark problem in o...
112
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
131
Voted
DDECS
2009
IEEE
15 years 10 months ago
2009
IEEE
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
112
Voted
HAPTICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Human vibrotactile detection experiments were used to compare temporal sinusoids displayed on three commercial haptic devices to a high-fidelity linear voice-coil actuator. The t...
140
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
Query-by-tapping systems are content-based music retrieval systems that allow users to tap or clap in a microphone the rhythmic pattern of the melody requested. In this paper, a n...