3333 search results - page 501 / 667 » Abstract Proof Search |
146
click to vote
FORTE
1998
15 years 7 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
123
click to vote
EUROSIM
1994
15 years 7 months ago
1994
This paper introduces Pact, a new model for parallel heuristic programming on MIMD machines. Designed and implemented as an integrated tool environment, Pact allows the user to dev...
186
click to vote
AE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents a new Memetic Algorithm (MA) designed to compute near-optimal solutions for the covering array construction problem. It incorporates several distingui...
152
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
171
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...