4276 search results - page 298 / 856 » Techniques for Empirical Validation |
190
click to vote
LION
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present a novel hybrid algorithm, in which ideas from the genetic algorithm and the GRASP metaheuristic are cooperatively used and intertwined to dynamically adjus...
151
Voted
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Errors in timing closure process during the physical design stage may result in systematic silicon failures, such as scan chain hold time violations, which prohibit the test of ma...
184
click to vote
NDSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Fingerprinting is a widely used technique among the networking and security communities for identifying different implementations of the same piece of networking software running ...
189
click to vote
WDAG
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
170
click to vote
FC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Suppose Alice and Bob are two entities (e.g. agents, organizations, etc.) that wish to negotiate a contract. A contract consists of several clauses, and each party has ce...