#### Filter Results:

- Full text PDF available (1)

#### Publication Year

1989

2005

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Philip J. Bernhard
- ACM Trans. Softw. Eng. Methodol.
- 1994

Let M be a finite-state machine, and let S be an implementation of M. The protocol-testing problem is the problem of determining if S is a correct implementation of M. One known method for solving this problem, called the W-method, has the disadvantage that it generates a relatively large test set. In this paper, we describe three new versions of this… (More)

- Barry Webster, Philip J. Bernhard
- IKE
- 2003

This document discusses the concept of an algorithm designed to locate the optimal solution to a problem in a (presumably) very large solution space. The algorithm attempts to locate the optimal solution to the problem by beginning a search at an arbitrary point in the solution space and then searching in the “local” area around the start point to find… (More)

- Philip J. Bernhard, Daniel J. Rosenkrantz
- IEEE Trans. Parallel Distrib. Syst.
- 1994

- Philip J. Bernhard, Stephen T. Hedetniemi, David Pokrass Jacobs
- Discrete Applied Mathematics
- 1993

In this paper we report the results of an independent experimental evaluation of an information retrieval (IR) system developed at the Illinois Institute of Technology (IIT). The system, which is called the <i>Advanced Information Retrieval Engine</i> (AIRE), consists of a set of tools and utilities providing indexing, extraction, searching and… (More)

- Philip J. Bernhard
- IEEE Trans. Computers
- 1993

- Philip J. Bernhard, Daniel J. Rosenkrantz
- J. Parallel Distrib. Comput.
- 1991

- Philip J. Bernhard
- SPDP
- 1991

- Philip J. Bernhard, Kevin L. Fox
- IC-AI
- 1999