LEADER 03174nam 22005775 450 001 996466143203316 005 20200701113207.0 010 $a3-540-38909-1 024 7 $a10.1007/3-540-13358-5 035 $a(CKB)1000000000230355 035 $a(SSID)ssj0000325627 035 $a(PQKBManifestationID)11232869 035 $a(PQKBTitleCode)TC0000325627 035 $a(PQKBWorkID)10324079 035 $a(PQKB)10008122 035 $a(DE-He213)978-3-540-38909-5 035 $a(PPN)155220217 035 $a(EXLCZ)991000000000230355 100 $a20121227d1984 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aP-Functions and Boolean Matrix Factorization$b[electronic resource] $eA Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms /$fby A. Thayse 205 $a1st ed. 1984. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1984. 215 $a1 online resource (X, 250 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v175 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-13358-5 327 $aInstructions and models of algorithm implementation -- The synthesis of algorithms -- The formulation of algorithms synthesis in terms of P-functions -- The synthesis of (or)-interpreted matrix-instructions with disjoint colums -- The synthesis of (or)-interpreted matrix-instructions -- The synthesis of (and)-interpreted matrix-instructions -- A summary and the conclusion of part I -- Representation of instructions by means of parallel flowcharts or of Petri nets -- Synchronous and asynchronous implementation of instructions -- Programmed implementation of instructions -- Microprogrammed implementation of instructions -- A summary and the conclusion of part II -- Laws acting on P-functions -- The multivalued extension of P-functions and of their laws -- The vectorial extension of P-functions and of their laws -- Finite automata, matrix-instructions and speech recognition. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v175 606 $aArchitecture, Computer 606 $aAlgorithms 606 $aMicroprogramming  606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aControl Structures and Microprogramming$3https://scigraph.springernature.com/ontologies/product-market-codes/I12018 615 0$aArchitecture, Computer. 615 0$aAlgorithms. 615 0$aMicroprogramming . 615 14$aComputer System Implementation. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aControl Structures and Microprogramming. 676 $a003.3 700 $aThayse$b A$4aut$4http://id.loc.gov/vocabulary/relators/aut$0348110 906 $aBOOK 912 $a996466143203316 996 $aP-functions and boolean matrix factorization$91080893 997 $aUNISA