Sciweavers

4323 search results - page 371 / 865
» Callback Implementations in C
Sort
View
ARVLSI
1995
IEEE
146views VLSI» more  ARVLSI 1995»
15 years 8 months ago
Array-of-arrays architecture for parallel floating point multiplication
This paper presents a new architecture style for the design of a parallel floating point multiplier. The proposed architecture is a synergy of trees and arrays. Architectural mod...
H. Dhanesha, K. Falakshahi, Mark Horowitz
TACAS
2000
Springer
89views Algorithms» more  TACAS 2000»
15 years 8 months ago
The PROSPER Toolkit
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
Louise A. Dennis, Graham Collins, Michael Norrish,...
ETD2000
1995
15 years 8 months ago
Automatic generation of a neural network architecture using evolutionary computation
This paper reports the application of evolutionary computation in the automatic generation of a neural network architecture.It is a usual practice to use trial and error to find a...
E. Vonk, Lakhmi C. Jain, L. P. J. Veelenturf, R. J...
HPCN
1995
Springer
15 years 8 months ago
Using optimistic execution techniques as a parallelisation tool for general purpose computing
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...
Adam Back, Stephen Turner
ICCV
1995
IEEE
15 years 8 months ago
A Multibaseline Stereo System with Active Illumination and Real-Time Image Acquisition
We describe our implementation of a parallel depth recovery scheme for a four-camera multibaseline stereo in a convergent configuration. Our system is capable of image capture at ...
Sing Bing Kang, Jon A. Webb, C. Lawrence Zitnick, ...