![[Sökformulär]](/icon/sok.gif){kind=icon}
![[Info om databasen]](/icon/info2.gif){kind=icon}
![[Söktips]](/icon/soktips.gif){kind=icon}
![[Föregående]](/icon/foreg.gif){kind=icon}
| 101. | Back, Ralph-Johan / Institutionen för informationsbehandling |
|
Rinnakkaisohjelmien astettain tarkentaminen / Kaisa Sere, Ralph-Johan Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 116-122. ISBN 951-47-1910-7 |
|
| 102. | Back, Ralph-Johan / Institutionen för informationsbehandling |
|
Rinnakkaisohjelman sovittaminen moniprosessorikoneelle / Mats Aspnäs, Ralph
Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 27-30. ISBN 951-47-1910-7 |
|
| 103. | Back, Ralph-Johan / Institutionen för informationsbehandling |
|
Rinnakkaisohjelman tehokkuuden arviointi / Mats Aspnäs, Ralph Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 35-39. ISBN 951-47-1910-7 |
|
| 104. | Back, Ralph-Johan / Institutionen för informationsbehandling |
|
Stepwise refinement of action system / R. J. R. Back, K. Sere.
- Ingår i: Structured programming, ISSN 0935-1183, 12 (1991) s. 17-30. |
|
| 105. | Back, Ralph-Johan / Institutionen för informationsbehandling |
|
Superposition refinement of parallel algorithms / R. J. R. Back, K. Sere. -
Utrecht : Utrecht University. Department on Computer Science, 1991. - 20 s. :
ill.
- (Technical report RUU-CS ; 91, 34).
|
|
| 106. | Back, Ralph-Johan / Institutionen för informationsbehandling |
|
Tarkennuskalkyyli formaalin ohjelmankehityksen perustana / Kaisa Sere and
Ralph-Johan Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 107-112. ISBN 951-47-1910-7 |
|
| 107. | Eklund, Patrik / Institutionen för informationsbehandling |
|
An architecture for topological concensus reaching / P. Eklund...et al.
- Ingår i: AIRO'91, annual conference operational research society of Italy, Riva del Garda (Italy) presso l'Hotel du Lac 18-19-20 settebre 1991 : operations research and knowledge-based models and systems : Universita degli studi di Trento. Istitutio di Informatica, 1991, s. 110-113. |
|
| 108. | Eklund, Patrik / Institutionen för informationsbehandling |
|
Compactifications and monads / P. Eklund, W. Gähler.
- Ingår i: IFSA'91 : mathematics / eds. R. Lowen, M. Roubens : IFSA, 1991, s. 54-57. |
|
| 109. | Eklund, Patrik / Institutionen för informationsbehandling |
|
DIAGAID : a connectionists approach to determine the informations value of
clinical data / J. Forsström...et al.
- Ingår i: Artificial intelligence in medicine, ISSN 0933-3657, 3 (1991) s. 193-201. |
|
| 110. | Eklund, Patrik / Institutionen för informationsbehandling |
|
Diagnosis of nephropathia epidemica by adaption through Lukasiewicz inference /
P. Eklund, J. Forsström.
- Ingår i: Proceedings of the international symposium Computational Intelligence 90, Milan, Italy, 24-28 September, 1990 / Nick Cercone & Fransesco Gardin (editors) . - North-Holland : Elsevier, 1991, s. 237-246. - (Computational intelligence ; 3). |
|
| 111. | Eklund, Patrik / Institutionen för informationsbehandling |
|
A formal framework for fuzzy logic based diagnosis / P. Eklund, F. Klawonn.
- Ingår i: IFSA'91 : mathematics / eds. R. Lowen, M. Roubens : IFSA, 1991, s. 58-61. |
|
| 112. | Eklund, Patrik / Institutionen för informationsbehandling |
|
An invitation to fuzzified thinking / P. Eklund.
- Ingår i: Kemia = Kemi, ISSN 0355-1628, 18 (1991) 10B, s. 918. |
|
| 113. | Eklund, Patrik / Institutionen för informationsbehandling |
|
On the fuzzy logic nature of neural nets / P. Eklund, H. Virtanen, T. Rissanen.
- Ingår i: Neuro-Nimes'91 : fourth international conference, Neural Networks & Their Applications : proceedings & exhibition catalog : Nimes France, Novembre 4-8, 1991. - Nanterre Cedex : EC2, 1991, s. 293-300. ISBN 2-906899-67-4 |
|
| 114. | Eriksson, Inger / Institutionen för informationsbehandling |
|
Creating a visual simulation model of an inventory system / Inger Eriksson, A.
Finnäs.
- Ingår i: Information system, work and organization design : proceedings of the IFIP TC9 Working Conference, Berlin, FRG, 10-13 July 1989 / ed. by P. van den Besselaar, A. Clement, P. Järvinen. - North-Holland : Elsevier, 1991, s. 239-257. ISBN 0-444-88546-3 |
|
| 115. | Eriksson, Inger / Institutionen för informationsbehandling |
|
A model for IS quality / Inger Eriksson.
- Ingår i: Software engineering journal, ISSN 0268-6961, 6 (1991) July, s. 152-158. |
|
| 116. | Eriksson, Inger / Institutionen för informationsbehandling |
|
Visual simulation as an aid to understanding computer functions / Inger
Eriksson, A. Finnäs and P. Reijonen.
- Ingår i: Interacting with computors, ISSN 0953-5438, 3 (1991) 2, s. 187-203. |
|
| 117. | Långbacka, Thomas / Institutionen för informationsbehandling |
|
Millipede : a programming environment providing visual support for parallel
programming / M. Aspnäs, R.-J. Back, T. Långbacka. - Turku : Åbo Akademi
university, 1991. - 12 bl. : ill.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 129).
|
|
| 118. | Långbacka, Thomas / Institutionen för informationsbehandling |
|
A monitoring system for a transputer-based multiprocessor / Mats Aspnäs, Thomas
Långbacka.
- Ingår i: Transputing '91 : volume 1 / ed. by Peter Welch...et al. - Amsterdam : IOS Press, 1991, s. 78-93. - (Transputer and Occam engineering series, ISSN 0925-4986). ISBN 90-5199-045-6 |
|
| 119. | Långbacka, Thomas / Institutionen för informationsbehandling |
|
Using a graphical environmental to program transputer networks / Mats Aspnäs,
Thomas Långbacka.
- Ingår i: Nordic transputer applications : proceedings of the 1st and 2nd Nordic Transputer Seminars / ed. by Lars Annell and Martin Törngren. - Amsterdam : IOS Press, 1991, s. 1-18. - (Transputer and Occam engineering series, ISSN 0925-4986). ISBN 90-5199-070-7 |
|
| 120. | Sere, Kaisa / Institutionen för informationsbehandling |
|
Centipede : formaalin ohjelmakehityksen ympäristö / Kaisa Sere, Ralph-Johan
Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 123-125. ISBN 951-47-1910-7 |
|
| 121. | Sere, Kaisa / Institutionen för informationsbehandling |
|
Communication in processor farms : a case study in reactive systems refinement
/ Kaisa Sere. - Åbo : Åbo Akademi, 1991. - 18 bl. : diagr.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 122).
ISBN 951-649-855-8 UDK 681.3 |
|
| 122. | Sere, Kaisa / Institutionen för informationsbehandling |
|
Deriving an occam implementation of action systems / R. J. R. Back and K. Sere.
- Ingår i: 3rd Refinemnt Workshop : proceedings of the 3rd refinement workshop (organised by BCS-FACS, and sponsored by IBM UK laboratories, Hursley Park and the Programming Research Group, University of Oxford), 9-11 January 1990, Hursley Park. - London : Springer, 1991, s. 9-30. - (Works in computing). ISBN 3-540-19624-2 |
|
| 123. | Sere, Kaisa / Institutionen för informationsbehandling |
|
Mechanising proofs of program transformation rules / K. Sere, J von Wright. -
Utrecht : Utrecht University. Department on Computer Science, 1991. - 21 s.
- (Technical report RUU-CS ; 91, 11).
|
|
| 124. | Sere, Kaisa / Institutionen för informationsbehandling |
|
Mechanising proofs of program transformation rules / K. Sere and J. von Wright.
- Ingår i: Proceedings of the 2nd symposium on programming language and software tools / Kai Koskimies and Kari-Jouko Räihä (eds.). - Tampere : University of Tampere, 1991, s. 103-117. - (Series of publikations/University of Tampere. Department of computer science. A., ISSN 0783-6910 ; 1991, 5). |
|
| 125. | Sere, Kaisa / Institutionen för informationsbehandling |
|
Rinnakkaisohjelmien astettain tarkentaminen / Kaisa Sere, Ralph-Johan Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 116-122. ISBN 951-47-1910-7 |
|
| 126. | Sere, Kaisa / Institutionen för informationsbehandling |
|
Stepwise refinement of action system / R. J. R. Back, K. Sere.
- Ingår i: Structured programming, ISSN 0935-1183, 12 (1991) s. 17-30. |
|
| 127. | Sere, Kaisa / Institutionen för informationsbehandling |
|
Stepwise refinement of reactive processor farms / Kaisa Sere.
- Ingår i: Protocol specification, testing and verification : proceedings of the IFIP WG 6.1. eleventh international symposium on protocol specifikation, testing and verification, Stockholm, Sweden, 18-20 June, 1991 / ed. by Bengt Jonsson, Joachom Parrow, Björn Pehrson. - North-Holland : Elsevier, 1991, s. 109-124. ISBN 0-444-89210-9 |
|
| 128. | Sere, Kaisa / Institutionen för informationsbehandling |
|
Stepwise refinement of reactive processor farms / K. Sere. - Utrecht : Utrecht
University. Department on Computer Science, 1991. - 21 s.
- (Technical report RUU-CS ; 91, 17).
|
|
| 129. | Sere, Kaisa / Institutionen för informationsbehandling |
|
Superposition refinement of parallel algorithms / R. J. R. Back, K. Sere. -
Utrecht : Utrecht University. Department on Computer Science, 1991. - 20 s. :
ill.
- (Technical report RUU-CS ; 91, 34).
|
|
| 130. | Sere, Kaisa / Institutionen för informationsbehandling |
|
Tarkennuskalkyyli formaalin ohjelmankehityksen perustana / Kaisa Sere and
Ralph-Johan Back.
- Ingår i: Rinnakkaisjärjestelmät 1988...1991 : ohjelmistoteknologian ohjelma FINSOFT / toim. Atte Kortekangas. - Hki : TEKES, 1991, s. 107-112. ISBN 951-47-1910-7 |
|
| 131. | Shen, Hong / Institutionen för informationsbehandling |
|
Efficient design and implementation of parallel algorithms / by Hong Shen. -
Åbo : Åbo Akademi, 1991. - 118 s. : diagr.
Diss.: Åbo Akademi.
ISBN 951-649-842-6 UDK 519.68:681.3.06 |
|
| 132. | Shen, Hong / Institutionen för informationsbehandling |
|
Fast path-disjoint routing for transputer networks / Hong Shen.
- Ingår i: Microprocessing and microprogramming, ISSN 0165-6074, 33 (1991) s. 21-31. |
|
| 133. | Shen, Hong / Institutionen för informationsbehandling |
|
Improved universal k-selection in hypercubes / Hong Shen. - Åbo : Åbo Akademi,
1991. - 10 bl. : ill.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 128).
|
|
| 134. | Shen, Hong / Institutionen för informationsbehandling |
|
Occam implementation of process-to-processor mapping on the Hathi-2 transputer
system / Hong Shen.
- Ingår i: Transputing '91 : volume 1 / ed. by Peter Welch...et al. - Amsterdam : IOS Press, 1991, s. 139-158. - (Transputer and Occam engineering series, ISSN 0925-4986). ISBN 90-5199-045-6 |
|
| 135. | Shen, Hong / Institutionen för informationsbehandling |
|
A universal algorithm for parallel k-selection in hypercubes / Hong Shen. - Åbo
: Åbo Akademi, 1991. - 14 bl. : ill.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. A, ISSN
0358-0563 ; no 126).
|
|
| 136. | Törn, Aimo / Institutionen för informationsbehandling |
|
Estimation software characteristics from maintenance costs / Aimo A. Törn.
- Ingår i: International Conference on Achieving Quality in Software, AQuIS'91, Pisa, Italy, April 22-224, 1991 / ed. by Paolo Ancilotti, Mario Fusari. - Pisa : ETS-Editre, 1991, s. 323-334. |
|
| 137. | Törn, Aimo / Institutionen för informationsbehandling |
|
A model for IS quality / Inger Eriksson.
- Ingår i: Software engineering journal, ISSN 0268-6961, 6 (1991) July, s. 152-158. |
|
| 138. | Törn, Aimo / Institutionen för informationsbehandling |
|
SimNet : a software for system simulation / A. A. Törn.
- Ingår i: Proceedings of the 2nd symposium on programming language and software tools / Kai Koskimies and Kari-Jouko Räihä (eds.). - Tampere : University of Tampere, 1991, s. 83-97. - (Series of publikations/University of Tampere. Department of computer science. A., ISSN 0783-6910 ; 1991, 5). |
|
| 139. | Törn, Aimo / Institutionen för informationsbehandling |
|
Simulation modelling / Aimo A. Törn. - Åbo : Åbo Akademi, 1991. - 140 s. : ill.
- (Rapporter från Åbo Akademi. Informationsbehandling & matematik. Ser. B, ISSN
0358-3392 ; no 12).
|
|
| 140. | Törn, Aimo / Institutionen för informationsbehandling |
|
Simulation modelling tools / Aimo Törn.
- Ingår i: Modelling and simulation 1991 : proceedings of the 1991, European simulation multiconference, June 17-19,1991, The Panum institute, Copenhagen, Denmark / ed. by Erik Mosekilde. - San Diego, Calif. : Society for Computer Simulation International (SCS), 1991, s. 53-58. ISBN 0-911801-92-8 |
|
| 141. | Törn, Aimo / Institutionen för informationsbehandling |
|
The simulation net approach to modelling and simulation / A. A. Törn.
- Ingår i: MATINE : Turun paikallisjaoston jäsenlehti/ (utg. av) Maanpuolustuksen tieteellinen neuvottelukunta 6 (1991) 2, s. 6-8. |
|
| 142. | Waxlax, Joakim / Institutionen för informationsbehandling |
|
DIGAID : a connectionists approach to determine the informations value of
clinical data / J. Forsström...et al.
- Ingår i: Artificial intelligence in medicine, ISSN 0933-3657, 3 (1991) s. 193-201. |
|
| 143. | Wright, Joakim von / Institutionen för informationsbehandling |
|
Mechanising proofs of program transformation rules / K. Sere and J. von Wright.
- Ingår i: Proceedings of the 2nd symposium on programming language and software tools / Kai Koskimies and Kari-Jouko Räihä (eds.). - Tampere : University of Tampere, 1991, s. 103-117. - (Series of publikations/University of Tampere. Department of computer science. A., ISSN 0783-6910 ; 1991, 5). |
|
| 144. | Wright, Joakim von / Institutionen för informationsbehandling |
|
Program inversion in the refinement calculus / J. von Wright.
- Ingår i: Information processing letters, ISSN 0020-0190, 37 (1991) s. 95-100. |
|
| 145. | Aspnäs, Mats / Institutionen för informationsbehandling |
|
Millipede : a programming environment providing visual support for parallel
programming / M. Aspnäs, R. J. R. Back, T. Långbacka.
- Ingår i: Parallel computing: from theory to sound practice : proceedings of EWPC'92, the European Workshops on Parallel Computing, 23-24 March 1992 - Barcelona, Spain / ed. by Wouter Joosen and Elie Milgrom. - Amsterdam : IOS press, 1992, s. 236-247. ISBN 90-5199-080-4 |
|
| 146. | Back, Ralph-Johan / Institutionen för informationsbehandling |
|
Centipede : a program refinement environment / R. J. R. Back, J. Hekanaho, K.
Sere. - Åbo : Åbo akademi, 1992. - 21 s. : ill.
- (Reports on computer science and mathematics, ISSN 1235-7502 ; no 139).
ISBN 951-650-123-0 |
|
| 147. | Back, Ralph-Johan / Institutionen för informationsbehandling |
|
Combining angels, demons and miracles in program specifications / R. J. R. Back
and J. von Wright.
- Ingår i: Theoretical computer science, ISSN 0304-3975, 100 (1992) s. 365-383. |
|
| 148. | Back, Ralph-Johan / Institutionen för informationsbehandling |
|
Construction of large-size communication network with high performance / H.
Sheng, R. J. R. Back.
- Ingår i: Microprocessing and microprogramming, ISSN 0165-6074, 35 (1992) s. 545-554. Tidigare publ. som: Rapporter från Åbo akademi. Informationsbehandling & matematik. Ser. A, ISSN 0358-0563 ; 121.. |
|
| 149. | Back, Ralph-Johan / Institutionen för informationsbehandling |
|
Construction of large-size interconnection networks with high performance / H.
Shen and R. J. R. Back.
- Ingår i: Microprocessing and microprogramming, ISSN 0165-6074, 35 (1992) ns. 1-5, s. 545-554. Software and hardware : specification and design : eighteenth Euromicro symposium on microprocessing and microprogramming (Euromicro 1992), Paris, September 14-17, 1992. |
|
| 150. | Back, Ralph-Johan / Institutionen för informationsbehandling |
|
Millipede : a programming environment providing visual support for parallel
programming / M. Aspnäs, R. J. R. Back, T. Långbacka.
- Ingår i: Parallel computing: from theory to sound practice : proceedings of EWPC'92, the European Workshops on Parallel Computing, 23-24 March 1992 - Barcelona, Spain / ed. by Wouter Joosen and Elie Milgrom. - Amsterdam : IOS press, 1992, s. 236-247. ISBN 90-5199-080-4 |
![[Följande]](/icon/folj.gif){kind=icon}