Uddin, Nasir M.; Radwan, T. S.; Rahman, M. A. Fuzzy logic based position control of a PMSM servo drive. (English) Zbl 1172.93366 Control Intell. Syst. 35, No. 4, 293-299 (2007). MSC: 93C42 03E72 93C95 94A12 PDFBibTeX XMLCite \textit{N. M. Uddin} et al., Control Intell. Syst. 35, No. 4, 293--299 (2007; Zbl 1172.93366)
Bryant, Randal E.; German, Steven; Velev, Miroslav N. Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. (English) Zbl 1365.68317 ACM Trans. Comput. Log. 2, No. 1, 93-134 (2001). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{R. E. Bryant} et al., ACM Trans. Comput. Log. 2, No. 1, 93--134 (2001; Zbl 1365.68317) Full Text: DOI arXiv
Mijajlović, Žarko On free Boolean vectors. (English) Zbl 0989.06011 Publ. Inst. Math., Nouv. Sér. 64(78), 2-8 (1998). Reviewer: Dragić Banković (Kragujevac) MSC: 06E30 94C10 06E05 03G05 PDFBibTeX XMLCite \textit{Ž. Mijajlović}, Publ. Inst. Math., Nouv. Sér. 64(78), 2--8 (1998; Zbl 0989.06011) Full Text: EuDML
Reischuk, Karl Rüdiger Einführung in die Komplexitätstheorie. (Introduction to complexity theory). (German) Zbl 0705.68053 Leitfäden und Monographien der Informatik. Stuttgart: B. G. Teubner. XVII, 412 p. DM 52.00 (1990). Reviewer: I.Wegener MSC: 68Q15 68Q25 03D15 68-01 68Q10 68Q05 PDFBibTeX XMLCite \textit{K. R. Reischuk}, Einführung in die Komplexitätstheorie. (Introduction to complexity theory). Stuttgart: B. G. Teubner (1990; Zbl 0705.68053)
Baruah, Sanjoy K.; Howell, Rodney R.; Rosier, Louis E. On preemptive scheduling of periodic, real-time tasks on one processor. (English) Zbl 0734.68018 Mathematical foundations of computer science, Proc. 15th Symp., MFCS’90, Banská Bystrica/Czech. 1990, Lect. Notes Comput. Sci. 452, 173-179 (1990). MSC: 68M20 68Q25 03D15 PDFBibTeX XML
Wang, Biing-Feng; Chen, Gen-Huey Two dimensional processor array with a reconfigurable bus system is at least as powerful as CRCW model. (English) Zbl 0703.68041 Inf. Process. Lett. 36, No. 1, 31-36 (1990). MSC: 68Q05 03D15 68Q25 PDFBibTeX XMLCite \textit{B.-F. Wang} and \textit{G.-H. Chen}, Inf. Process. Lett. 36, No. 1, 31--36 (1990; Zbl 0703.68041) Full Text: DOI
Lownie, Timothy M. Extending reflective architectures. (English) Zbl 0708.68093 IJCAI-89, Proc. Int. Conf., Detroit, MI/USA 1989, 446-451 (1989). Reviewer: N.Curteanu MSC: 68T35 68T15 03B35 68T30 68M07 PDFBibTeX XML
Kasai, Takumi (ed.) Mathematical foundations of computer science and their applications. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, January 30 - February 1, 1985. (Japanese) Zbl 0638.68005 RIMS Kokyuroku, 556. Kyoto: Kyoto University, Research Institute for Mathematical Sciences. IV, 326 p. (1985). MSC: 68-06 00B25 03-06 PDFBibTeX XML
Winkler, Peter M. Polynomial hyperforms. (English) Zbl 0558.08003 Algebra Univers. 17, 101-109 (1983). Reviewer: R.-A.Alo MSC: 08A40 20N15 68Q70 03G25 08B20 PDFBibTeX XMLCite \textit{P. M. Winkler}, Algebra Univers. 17, 101--109 (1983; Zbl 0558.08003) Full Text: DOI
Krinitskij, N. A. Concept of a collective of algorithms and some of its applications. (English. Russian original) Zbl 0419.68079 Program. Comput. Software 3, 165-178 (1977); translation from Programmirovanie 1977, No. 3, 3-19 (1977). MSC: 68W99 68N01 68N99 68N25 03F99 68Q45 68Q65 PDFBibTeX XMLCite \textit{N. A. Krinitskij}, Program. Comput. Softw. 3, 165--178 (1977; Zbl 0419.68079); translation from Programmirovanie 1977, No. 3, 3--19 (1977)