1890 search results - page 204 / 378 » Model-Based Testing in Practice |
161
click to vote
ASPDAC
2004
ACM
15 years 12 months ago
2004
ACM
--Octilinear interconnect is a promising technique to shorten wire lengths. We present two practical heuristic octilinear Steiner tree (OSMT) algorithms in the paper. They are both...
134
click to vote
IMC
2004
ACM
15 years 12 months ago
2004
ACM
Conducting an Internet measurement study in a sound fashion can be much more difficult than it might first appear. We present a number of strategies drawn from experiences for a...
151
click to vote
ADAEUROPE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
170
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
180
click to vote
DSMML
2004
Springer
15 years 12 months ago
2004
Springer
The informative vector machine (IVM) is a practical method for Gaussian process regression and classification. The IVM produces a sparse approximation to a Gaussian process by com...