Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
![]() |
Concepts and realization of a high-performance data type architectureGiloi, W. K. ; Gueth, R.International Journal of Computer & Information Sciences, 1982-02, Vol.11 (1), p.25-54 [Peer Reviewed Journal]New York: Springer Nature B.VFull text available |
2 |
Material Type: Article
|
![]() |
Application of hash to data base machine and its architectureKitsuregawa, Masaru ; Tanaka, Hidehiko ; Moto-Oka, TohruNew generation computing, 1983-03, Vol.1 (1), p.63-74 [Peer Reviewed Journal]Full text available |
3 |
Material Type: Article
|
![]() |
Authenticated algorithms for byzantine agreementDOLEV, D ; STRONG, H. RSIAM journal on computing, 1983-11, Vol.12 (4), p.656-666 [Peer Reviewed Journal]Philadelphia, PA: Society for Industrial and Applied MathematicsFull text available |
4 |
Material Type: Article
|
![]() |
Dataflow computing and eager and lazy evaluationsAmamiya, Makoto ; Hasegawa, RyuzoNew generation computing, 1984-06, Vol.2 (2), p.105-129 [Peer Reviewed Journal]Full text available |
5 |
Material Type: Article
|
![]() |
A mathematical model for the verification of systolic networksMELHEM, R. G ; RHEINBOLDT, W. CSIAM journal on computing, 1984-08, Vol.13 (3), p.541-565 [Peer Reviewed Journal]Philadelphia, PA: Society for Industrial and Applied MathematicsFull text available |
6 |
Material Type: Article
|
![]() |
A methodology for designing and modeling reconfigurable systemsSrini, V. P. ; Shriver, B. D.International Journal of Computer & Information Sciences, 1984-10, Vol.13 (5), p.339-394 [Peer Reviewed Journal]New York: Springer Nature B.VFull text available |
7 |
Material Type: Article
|
![]() |
Pacemaker Architecture: A Pacemaker with an Attached Computer or a Computer with an Attached PacemakerSEGERSTAD, CHRISTER HÅRD AF ; LEKHOLM, ANDERS ; ELMQVIST, HÅKANPacing and clinical electrophysiology, 1984-11, Vol.7 (6), p.1213-1216 [Peer Reviewed Journal]Oxford, UK: Blackwell Publishing LtdFull text available |
8 |
Material Type: Article
|
![]() |
A VLSI design for the parallel finite state automaton and its performance evaluation as a hardware scannerHurson, A. R.International Journal of Computer & Information Sciences, 1984-12, Vol.13 (6), p.491-508 [Peer Reviewed Journal]New York: Springer Nature B.VFull text available |
9 |
Material Type: Article
|
![]() |
The use of hoare logic in the verification of horizontal microprogramsDasgupta, Subrata ; Wagner, AlanInternational Journal of Computer & Information Sciences, 1984-12, Vol.13 (6), p.461-490 [Peer Reviewed Journal]New York: Springer Nature B.VFull text available |
10 |
Material Type: Article
|
![]() |
A knowledge assimilation method for logic databasesMiyachi, Taizo ; Kunifuji, Susumu ; Kitakami, Hajime ; Furukawa, Koichi ; Takeuchi, Akikazu ; Yokota, HaruoNew generation computing, 1984-12, Vol.2 (4), p.385-404 [Peer Reviewed Journal]Full text available |