10715 search results - page 191 / 2143 » Proofs from Tests |
117
click to vote
INFORMATICALT
2000
15 years 19 days ago
2000
In this paper we present an algorithm for generating quadratic assignment problem (QAP) instances with known provably optimal solution. The flow matrix of such instances is constru...
100
Voted
ACCESSNETS
2008
Springer
15 years 7 months ago
2008
Springer
Digital subscriber lines offer the possibility to deliver broadband services over the existing telephone network. Still, beforehand subscriber loops must be tested to see whether t...
96
Voted
IFIP
2003
Springer
15 years 6 months ago
2003
Springer
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
98
Voted
PTS
1993
15 years 2 months ago
1993
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
124
Voted
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
In order to structure a gene network, a score-based approach is often used. A score-based approach, however, is problematic because by assuming a probability distribution, one is ...