387 search results - page 65 / 78 » Reducing the Costs of Bounded-Exhaustive Testing |
ICN
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...
ICNC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper we propose a procedure for the storage and retrieval of digital signals utilizing DNA. Digital signals are encoded in DNA sequences that satisfy among other...
WEA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. A5/1 pseudo-random bit generator, known from GSM networks, potentially might be used for different purposes, such as secret hiding during cryptographic hardware testing, ...
FASE
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...
GECCO
2004
Springer
14 years 29 days ago
2004
Springer
To create a realistic environment, some simulations require simulated agents with human behavior pattern. Creating such agents with realistic behavior can be a tedious and time con...