#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1983

2006

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

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Ron Koymans, Jan Vytopil, Willem P. de Roever
- PODC
- 1983

This paper indicates a method of describing real-time processes and their asynchronous communication by means of message exchanges. This description method is based upon an extension of linear time temporal logic to a special temporal logic in which real-time and asynchronous message passing properties can be expressed. We give a model of this logic, define… (More)

- Louis Vuurpijl, Theo E. Schouten, Jan Vytopil
- Future Generation Comp. Syst.
- 1995

In this paper, we present a performance prediction model for indicating the performance range of MIMD parallel processor systems for neural network simulations. The model expresses the total execution time of a simulation as a function of the execution times of a small number of kernel functions, which have to be measured on only one processor and one… (More)

- Hanno Wupper, Jan Vytopil
- FTRTFT
- 1988

- S. Kamal Abdali, Jan Vytopil
- AAAI
- 1984

- Louis Vuurpijl, Theo E. Schouten, Jan Vytopil
- HPCN
- 1994

A performance prediction method is presented for indicating the performance range of MIMD parallel processor systems for neural network simulations. The total execution time of a parallel application is modeled as the sum of its calculation and communication times. The method is scalable because based on the times measured on one processor and one… (More)

- Jan Vytopil, Peter Müller
- ICC
- 1984

- Louis Vuurpijl, Theo E. Schouten, Jan Vytopil
- HPCN
- 1994

PREENS { a Parallel Research Execution Environment for Neural Systems { is a distributed neurosimulator, targeted on networks of workstations and transputer systems. As current applications of neural networks often contain large amounts of data and as the neural networks involved in tasks such as vision are very large, high requirements on memory and… (More)

This paper is concerned with the problem of generalizing theorems about recursively defined functions, so as to make these theorems amenable to proof by induction. Some generalization heuristics are presented for certain special forms of theorems about functions specified by certain recursive schemas. The heuristics are based upon the analysis of… (More)

- ‹
- 1
- ›