×

Found 120 Documents (Results 1–100)

Iterated uniform finite-state transducers on unary languages. (English) Zbl 1490.68128

Bureš, Tomáš (ed.) et al., SOFSEM 2021: theory and practice of computer science. 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12607, 218-232 (2021).
MSC:  68Q45 68Q80
PDFBibTeX XMLCite
Full Text: DOI

Deterministic and nondeterministic iterated uniform finite-state transducers: computational and descriptional power. (English) Zbl 07633499

Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 87-99 (2020).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Method for the functional diagnosis of nondeterministic finite state machines. (English. Russian original) Zbl 1459.93038

J. Comput. Syst. Sci. Int. 59, No. 4, 565-574 (2020); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upr. 2020, No. 4, 92-102 (2020).
MSC:  93B30 93B25
PDFBibTeX XMLCite
Full Text: DOI

Detecting errors in nodes of technical systems with static nonlinearities. (English. Russian original) Zbl 1431.93031

Autom. Remote Control 80, No. 8, 1428-1436 (2019); translation from Avtom. Telemekh. 2019, No. 8, 76-86 (2019).
MSC:  93C10 93B53 93B52
PDFBibTeX XMLCite
Full Text: DOI

Redundancy relations for the diagnosis of hybrid systems. (English. Russian original) Zbl 1401.93072

J. Comput. Syst. Sci. Int. 57, No. 4, 594-607 (2018); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upr. 2018, No. 4 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Logic synthesis method of digital circuits designed for implementation with embedded memory blocks of FPGAS. (English) Zbl 1220.94066

Adamski, Marian (ed.) et al., Design of digital systems and devices. Berlin: Springer (ISBN 978-3-642-17544-2/hbk; 978-3-642-17545-9/ebook). Lecture Notes in Electrical Engineering 79, 121-144 (2011).
MSC:  94C30 94C10
PDFBibTeX XMLCite
Full Text: DOI

Assisted problem solving and decompositions of finite automata. (English) Zbl 1133.68072

Geffert, Viliam (ed.) et al., SOFSEM 2008: Theory and practice of computer science. 34th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 19–25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77565-2/pbk). Lecture Notes in Computer Science 4910, 292-303 (2008).
MSC:  68T20 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Branching vs. linear time: Semantical perspective. (English) Zbl 1141.68481

Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 19-34 (2007).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field