Barenghi, Alessandro; Brevi, Matteo; Fornaciari, William; Pelosi, Gerardo; Zoni, Davide Integrating side channel security in the FPGA hardware design flow. (English) Zbl 07633697 Bertoni, Guido Marco (ed.) et al., Constructive side-channel analysis and secure design. 11th international workshop, COSADE 2020, Lugano, Switzerland, April 1–3, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12244, 275-290 (2021). MSC: 68-XX 94A60 PDFBibTeX XMLCite \textit{A. Barenghi} et al., Lect. Notes Comput. Sci. 12244, 275--290 (2021; Zbl 07633697) Full Text: DOI
Gridin, V. N.; Anisimov, V. I. Fast numerical algorithm for calculating the given instability of the zero level of DC amplifiers. (Russian. English summary) Zbl 1466.94060 Mat. Model. 33, No. 3, 59-72 (2021). MSC: 94C05 PDFBibTeX XMLCite \textit{V. N. Gridin} and \textit{V. I. Anisimov}, Mat. Model. 33, No. 3, 59--72 (2021; Zbl 1466.94060) Full Text: DOI MNR
Gridin, V. N.; Anisimov, V. I. Increase of efficiency of systems of modeling electronic circuits in the frequency domain. (Russian. English summary) Zbl 1452.78021 Mat. Model. 31, No. 3, 69-82 (2019). Reviewer: Vladimir Čadež (Beograd) MSC: 78A55 78-10 94C30 PDFBibTeX XMLCite \textit{V. N. Gridin} and \textit{V. I. Anisimov}, Mat. Model. 31, No. 3, 69--82 (2019; Zbl 1452.78021) Full Text: DOI MNR
Bittner, Kai; Brachtendorf, Hans Georg Latency exploitation in wavelet-based multirate circuit simulation. (English) Zbl 1382.65226 Bartel, Andreas (ed.) et al., Scientific computing in electrical engineering. SCEE 2014. Proceedings of the 10th international conference, Wuppertal, Germany, July 22–25, 2014. Cham: Springer (ISBN 978-3-319-30398-7/hbk; 978-3-319-30399-4/ebook). Mathematics in Industry 23. The European Consortium for Mathematics in Industry, 13-20 (2016). MSC: 65L80 34A09 94A12 94C30 65T60 PDFBibTeX XMLCite \textit{K. Bittner} and \textit{H. G. Brachtendorf}, Math. Ind. 23, 13--20 (2016; Zbl 1382.65226) Full Text: DOI arXiv
Božek, Pavol Automated detection type body and shape deformation for robotic welding line. (English) Zbl 1426.94009 Świątek, Jerzy (ed.) et al., Advances in systems science. Proceedings of the international conference on systems science 2013 (ICSS 2013), Wroclaw, Poland, September 10–12, 2013. Cham: Springer. Adv. Intell. Syst. Comput. 240, 229-240 (2014). MSC: 94A08 90B30 90B25 PDFBibTeX XMLCite \textit{P. Božek}, Adv. Intell. Syst. Comput. 240, 229--240 (2014; Zbl 1426.94009) Full Text: DOI
Tavares, João Manuel R. S. (ed.); Luo, Xiongbiao (ed.); Li, Shuo (ed.) Bio-imaging and visualization for patient-customized simulations. Papers based on the presentations at the workshop, held during the 16th international conference on medical image computing and computerr assisted intervention, MICCAI 2013, Nagoya, Japan, September 22–26, 2013. (English) Zbl 1314.92011 Lecture Notes in Computational Vision and Biomechanics 13. Cham: Springer (ISBN 978-3-319-03589-5/hbk; 978-3-319-03590-1/ebook). xiv, 137 p. (2014). MSC: 92-02 92C55 94A12 00B25 PDFBibTeX XMLCite \textit{J. M. R. S. Tavares} (ed.) et al., Bio-imaging and visualization for patient-customized simulations. Papers based on the presentations at the workshop, held during the 16th international conference on medical image computing and computerr assisted intervention, MICCAI 2013, Nagoya, Japan, September 22--26, 2013. Cham: Springer (2014; Zbl 1314.92011) Full Text: DOI
Weimer, James; Araujo, José; Amoozadeh, Mani; Ahmadi, Seyed Alireza; Sandberg, Henrik; Johansson, Karl Henrik Parameter-invariant actuator fault diagnostics in cyber-physical systems with application to building automation. (English) Zbl 1300.94132 Tarraf, Danielle C. (ed.), Control of cyber-physical systems. Invited papers based on the presentations at the workshop at Johns Hopkins University, Baltimore, MD, USA, March 20–21, 2013. Cham: Springer (ISBN 978-3-319-01158-5/pbk; 978-3-319-01159-2/ebook). Lecture Notes in Control and Information Sciences 449, 179-196 (2013). MSC: 94C12 93C95 PDFBibTeX XMLCite \textit{J. Weimer} et al., Lect. Notes Control Inf. Sci. 449, 179--196 (2013; Zbl 1300.94132) Full Text: DOI
Rakai, Logan; Behjat, Laleh; Martin, Sebastian; Aguado, Jose An algebraic multigrid-based algorithm for circuit clustering. (English) Zbl 1302.94073 Appl. Math. Comput. 218, No. 9, 5202-5216 (2012). MSC: 94C05 05C85 65F10 PDFBibTeX XMLCite \textit{L. Rakai} et al., Appl. Math. Comput. 218, No. 9, 5202--5216 (2012; Zbl 1302.94073) Full Text: DOI
Deschamps, Jean-Pierre; Sutter, Gustavo D.; Cantó, Enrique Guide to FPGA implementation of arithmetic functions. (English) Zbl 1278.68026 Lecture Notes in Electrical Engineering 149. Dordrecht: Springer (ISBN 978-94-007-2986-5/hbk; 978-94-007-2987-2/ebook). xv, 469 p. (2012). Reviewer: Antoni Michalski (Warszawa) MSC: 68-06 94-06 68-00 94-00 94C10 PDFBibTeX XMLCite \textit{J.-P. Deschamps} et al., Guide to FPGA implementation of arithmetic functions. Dordrecht: Springer (2012; Zbl 1278.68026) Full Text: DOI
Dietrich, Manfred (ed.); Haase, Joachim (ed.) Process variations and probabilistic integrated circuit design. (English) Zbl 1246.82002 New York, NY: Springer (ISBN 978-1-4419-6620-9/hbk; 978-1-4419-6621-6/ebook). xvi, 249 p. (2012). Reviewer: Vittorio Romano (Catania) MSC: 82-06 82D37 82D80 78A55 94C05 00B15 PDFBibTeX XMLCite \textit{M. Dietrich} (ed.) and \textit{J. Haase} (ed.), Process variations and probabilistic integrated circuit design. New York, NY: Springer (2012; Zbl 1246.82002) Full Text: DOI
Blázquez, L. Felipe; de Miguel, Luis J.; Aller, Fernando; Perán, José R. Neuro-fuzzy identification applied to fault detection in nonlinear systems. (English) Zbl 1260.93165 Int. J. Syst. Sci. 42, No. 10, 1771-1787 (2011). MSC: 93E12 93C42 94C12 90B30 PDFBibTeX XMLCite \textit{L. F. Blázquez} et al., Int. J. Syst. Sci. 42, No. 10, 1771--1787 (2011; Zbl 1260.93165) Full Text: DOI
Taranenko, K. G.; Kolomijchenko, T. V.; Bocharnykov, V. P. Automation of the decision support in the real time in the Evidence-Based Medicine. (Ukrainian. English summary) Zbl 1240.93262 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2011, No. 1, 199-201 (2011). MSC: 93C95 94A15 92C50 93C42 PDFBibTeX XMLCite \textit{K. G. Taranenko} et al., Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2011, No. 1, 199--201 (2011; Zbl 1240.93262)
Chen, Deming Design automation for microelectronics. (English) Zbl 1208.93075 Nof, Shimon Y. (ed.), Springer handbook of automation. With DVD. Berlin: Springer (ISBN 978-3-540-78830-0/hbk; 978-3-540-78831-7/ebook). 653-670 (2009). MSC: 93C95 94C30 PDFBibTeX XMLCite \textit{D. Chen}, in: Springer handbook of automation. With DVD. Berlin: Springer. 653--670 (2009; Zbl 1208.93075) Full Text: DOI
Hansson, A. Å.; Reidys, C. M. A discrete dynamical systems framework for packet-flow on networks. (English) Zbl 1107.37012 Far East J. Math. Sci. (FJMS) 22, No. 1, 43-67 (2006). MSC: 37B15 68M12 94C99 05C25 37N99 PDFBibTeX XMLCite \textit{A. Å. Hansson} and \textit{C. M. Reidys}, Far East J. Math. Sci. (FJMS) 22, No. 1, 43--67 (2006; Zbl 1107.37012)
Hachtel, Gary D.; Somenzi, Fabio Logic synthesis and verification algorithms. 1st paperback ed. (English) Zbl 1149.94016 New York, NY: Springer (ISBN 0-387-31004-5/pbk). xxv, 564 p. (2006). MSC: 94C05 94-01 68-01 PDFBibTeX XMLCite \textit{G. D. Hachtel} and \textit{F. Somenzi}, Logic synthesis and verification algorithms. 1st paperback ed. New York, NY: Springer (2006; Zbl 1149.94016)
Rupp, Markus; Burg, Andreas; Beck, Eric Rapid prototyping for wireless designs: The five-ones approach. (English) Zbl 1144.94358 Signal Process. 83, No. 7, 1427-1444 (2003). MSC: 94A12 94A40 PDFBibTeX XMLCite \textit{M. Rupp} et al., Signal Process. 83, No. 7, 1427--1444 (2003; Zbl 1144.94358) Full Text: DOI
Jansen, D. (ed.) The electronic design automation handbook. (English) Zbl 1044.94001 Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-7502-2/hbk). 675 p. (2003). Reviewer: Neculai Curteanu (Iaşi) MSC: 94-00 94C30 94C05 82D37 PDFBibTeX XMLCite \textit{D. Jansen} (ed.), The electronic design automation handbook. Boston, MA: Kluwer Academic Publishers (2003; Zbl 1044.94001)
Wojnar, Leszek Stereology from one of all the possible angles. (English) Zbl 1398.94054 Image Anal. Stereol. 21, No. 4, 1-11 (2002). MSC: 94A08 PDFBibTeX XMLCite \textit{L. Wojnar}, Image Anal. Stereol. 21, No. 4, 1--11 (2002; Zbl 1398.94054) Full Text: DOI
Martin, E.; Nouët, C.; Tourreilles, J. M. Optimised design of architectures in finite precision for signal processing dedicated systems. (Conception optimisée d’architectures en précision finie pour les applications de traitement du signal.) (French) Zbl 0996.94507 Trait. Signal 18, No. 1, 47-58 (2001). MSC: 94A12 PDFBibTeX XMLCite \textit{E. Martin} et al., Trait. Signal 18, No. 1, 47--58 (2001; Zbl 0996.94507)
Hachtel, Gary D.; Somenzi, Fabio Logic synthesis and verification algorithms. (English) Zbl 0861.94035 Dordrecht: Kluwer Academic Publishers. xxxi, 564 p. (1996). Reviewer: H.Schmeck (Karlsruhe) MSC: 94C10 94-01 68-01 PDFBibTeX XMLCite \textit{G. D. Hachtel} and \textit{F. Somenzi}, Logic synthesis and verification algorithms. Dordrecht: Kluwer Academic Publishers (1996; Zbl 0861.94035)
Nyland, L. S.; Reif, J. H. An algebraic technique for generating optimal CMOS circuitry in linear time. (English) Zbl 0844.94020 Comput. Math. Appl. 31, No. 1, 85-108 (1996). MSC: 94C10 94C30 PDFBibTeX XMLCite \textit{L. S. Nyland} and \textit{J. H. Reif}, Comput. Math. Appl. 31, No. 1, 85--108 (1996; Zbl 0844.94020) Full Text: DOI
Zhou, H. B. Two-stage \(m\)-way graph partitioning. (English) Zbl 0797.68022 Parallel Comput. 19, No. 12, 1359-1373 (1993). MSC: 68M20 68M10 68R10 94C15 PDFBibTeX XMLCite \textit{H. B. Zhou}, Parallel Comput. 19, No. 12, 1359--1373 (1993; Zbl 0797.68022) Full Text: DOI
Kim, J.-U.; Lee, C.-H.; Kim, M. Efficient multiple-way network-partitioning algorithm. (English) Zbl 0770.94009 Comput.-Aided Des. 25, No. 5, 269-280 (1993). MSC: 94C10 68Q25 94C99 PDFBibTeX XMLCite \textit{J. U. Kim} et al., Comput.-Aided Des. 25, No. 5, 269--280 (1993; Zbl 0770.94009) Full Text: DOI
Gonzalez, Teofilo F.; Zheng, Si-Qing Grid stretching algorithms for routing multiterminal nets through a rectangle. (English) Zbl 0756.68051 Integr., VLSI J. 13, No. 2, 153-177 (1992). MSC: 68Q25 94C99 PDFBibTeX XMLCite \textit{T. F. Gonzalez} and \textit{S.-Q. Zheng}, Integr., VLSI J. 13, No. 2, 153--177 (1992; Zbl 0756.68051) Full Text: DOI
Kurshan, Robert (ed.) Computer-aided verification. A special issue of Formal Methods in System Design. Repr. from Formal Methods in System Design vol. 1, No. 2-3 (1992). (English) Zbl 0820.68138 Dordrecht: Kluwer Academic Publishers. 142 p. Dfl. 210.00; US$ 105.00; £76.25 /hc (1992). Reviewer: A.Y.Mednikov (St.Peterburg) MSC: 68U99 68-02 94B99 PDFBibTeX XMLCite \textit{R. Kurshan} (ed.), Computer-aided verification. A special issue of Formal Methods in System Design. Repr. from Formal Methods in System Design vol. 1, No. 2-3 (1992). Dordrecht: Kluwer Academic Publishers (1992; Zbl 0820.68138)
Leiserson, Charles E.; Saxe, James B. Retiming synchronous circuitry. (English) Zbl 0708.94025 Algorithmica 6, No. 1, 5-35 (1991). MSC: 94C10 90C11 68W35 94C15 PDFBibTeX XMLCite \textit{C. E. Leiserson} and \textit{J. B. Saxe}, Algorithmica 6, No. 1, 5--35 (1991; Zbl 0708.94025) Full Text: DOI
Zheng, Si-Qing Minimizing total density of a multiterminal-net channel in optimal time. (English) Zbl 0766.68066 Combinatorics, graph theory, and computing, Proc. 22nd Southeast Conf., Baton Rouge/LA (USA) 1991, Congr. Numerantium 83, 183-192 (1991). MSC: 68Q25 94C99 PDFBibTeX XMLCite \textit{S.-Q. Zheng}, in: Proceedings of the twenty-second southeastern conference on combinatorics, graph theory, and computing, held at Louisiana State University, Baton Rouge, LA, USA, February 10-15, 1991. Winnipeg: Utilitas Mathematica Publishing Inc.. 183--192 (1991; Zbl 0766.68066)
Willenborg, L. C. R. J. Computational aspects of survey data processing. (English) Zbl 0662.94010 CWI Tract, 54. Amsterdam: Centrum voor Wiskunde en Informatica. 154 p. Dfl. 24.20 (1988). Reviewer: W.Janko MSC: 94A50 62P99 62-07 PDFBibTeX XMLCite \textit{L. C. R. J. Willenborg}, Computational aspects of survey data processing. Amsterdam: Centrum voor Wiskunde en Informatica (1988; Zbl 0662.94010)
Brodersen, Robert W. (ed.); Moscovitz, Howard S. (ed.) VLSI signal processing, III. Workshop November 2-4, 1988 Monterey, CA/USA. Proceedings. (English) Zbl 0745.68007 Piscataway, NJ (USA): IEEE Press. XI, 536 p. (1988). Reviewer: N.C.Mohanty (Huntington Beach) MSC: 68-06 68M99 68W35 68U10 94C99 93B51 93E11 PDFBibTeX XMLCite \textit{R. W. Brodersen} (ed.) and \textit{H. S. Moscovitz} (ed.), VLSI signal processing, III. Workshop November 2-4, 1988 Monterey, CA/USA. Proceedings. Piscataway, NJ (USA): IEEE Press (1988; Zbl 0745.68007)
Wong, D. F.; Leong, H. W.; Liu, C. L. Simulated annealing for VLSI design. (English) Zbl 0699.94016 Kluwer International Series in Engineering and Computer Science, 42. VLSI, Computer Architecture and Digital Signal Processing. Boston, MA etc.: Kluwer Academic Publishers. vii, 202 p. $ 45.00 (1988). Reviewer: D.P.Brown MSC: 94C99 PDFBibTeX XMLCite \textit{D. F. Wong} et al., Simulated annealing for VLSI design. Boston, MA etc.: Kluwer Academic Publishers (1988; Zbl 0699.94016)
Bushnell, Michael L. Design automation. Automated full-custom VLSI layout using the ULYSSES design environment. (English) Zbl 0711.68098 Perspectives in Computing, 21. Boston, MA etc.: Academic Press, Inc. XV, 463 p. £29.50 (1988). Reviewer: L.P.Piegl MSC: 68U07 68-02 94C99 PDFBibTeX XMLCite \textit{M. L. Bushnell}, Design automation. Automated full-custom VLSI layout using the ULYSSES design environment. Boston, MA etc.: Academic Press, Inc. (1988; Zbl 0711.68098)
Clocksin, W. F. Logic programming and digital circuit analysis. (English) Zbl 0617.94014 J. Logic Program. 4, 59-82 (1987). MSC: 94C10 68T15 PDFBibTeX XMLCite \textit{W. F. Clocksin}, J. Log. Program. 4, 59--82 (1987; Zbl 0617.94014) Full Text: DOI
Kabat, Waldo C.; Wojcik, Anthony S. Automated synthesis of combinational logic using theorem-proving techniques. (English) Zbl 0566.94018 IEEE Trans. Comput. 34, 610-632 (1985). MSC: 94C10 68T15 PDFBibTeX XMLCite \textit{W. C. Kabat} and \textit{A. S. Wojcik}, IEEE Trans. Comput. 34, 610--632 (1985; Zbl 0566.94018) Full Text: DOI
Leiserson, Charles E.; Pinter, Ron Y. Optimal placement for river routing. (English) Zbl 0512.94029 SIAM J. Comput. 12, 447-462 (1983). MSC: 94C15 94C11 68W40 PDFBibTeX XMLCite \textit{C. E. Leiserson} and \textit{R. Y. Pinter}, SIAM J. Comput. 12, 447--462 (1983; Zbl 0512.94029) Full Text: DOI
Sasao, Tsutomu An application of multiple-valued logic to a design of masterslice gate array LSI. (English) Zbl 0545.94031 Multiple-valued logic, Proc. 12th int. Symp., Paris 1982, 45-54 (1982). MSC: 94C10 PDFBibTeX XML
Mamdani, E. H. (ed.); Gaines, B. R. (ed.) Fuzzy reasoning and its applications. (English) Zbl 0488.03001 Computers and People Series. London etc.: Academic Press, a subsidiary of Harcourt Brace Jovanovich, Publishers. XVIII, 381 p. £12.60; $ 30.50 (1981). MSC: 03-06 68-06 03B52 68T50 03E72 94D05 68P20 68Txx PDFBibTeX XML
Abraham, Jacob A.; Gajski, Daniel D. Design of testable structures defined by simple loops. (English) Zbl 0467.94029 IEEE Trans. Comput. 30, 875-883 (1981). MSC: 94C10 94C15 94-04 PDFBibTeX XMLCite \textit{J. A. Abraham} and \textit{D. D. Gajski}, IEEE Trans. Comput. 30, 875--883 (1981; Zbl 0467.94029) Full Text: DOI
Thiele, Rainer Die Realisierung logischer Funktionen durch vermaschte Netze aus Multiplexer-ULM’s. (German) Zbl 0423.94049 Digital Processes 5, 181-197 (1979). MSC: 94C10 PDFBibTeX XMLCite \textit{R. Thiele}, Digital Processes 5, 181--197 (1979; Zbl 0423.94049)
Thiele, Rainer Die Realisierung logischer Funktionen durch optimale baumförmige Netze aus Multiplexer-ULM’s. (German) Zbl 0423.94048 Digital Processes 5, 163-180 (1979). MSC: 94C10 PDFBibTeX XMLCite \textit{R. Thiele}, Digital Processes 5, 163--180 (1979; Zbl 0423.94048)
Tsukada, M.; Obara, K.; Sato, R. Information transmission in multi-input-output stochastic neuron models. (English) Zbl 0407.94006 Biol. Cybern. 34, 119-124 (1979). MSC: 94A40 92B05 PDFBibTeX XMLCite \textit{M. Tsukada} et al., Biol. Cybern. 34, 119--124 (1979; Zbl 0407.94006) Full Text: DOI
Burstein, M. I.; Vainstein, Yu. B.; Patarkacisvili, M. M.; Ruda, L. G. Realization of one approach to integrated circuit layout automation. (Russian) Zbl 0406.94020 Soobshch. Akad. Nauk Gruz. SSR 94, 573-576 (1979). MSC: 94C15 PDFBibTeX XMLCite \textit{M. I. Burstein} et al., Soobshch. Akad. Nauk Gruz. SSR 94, 573--576 (1979; Zbl 0406.94020)
Jakubaitis, E. A. Computer systems and networks for automating scientific research. (English. Russian original) Zbl 0415.68058 Autom. Control Comput. Sci. 12, No. 2, 46-58 (1978); translation from Avtom. Vychisl. Tekh., Riga 1978, No. 2, 49-63 (1978). MSC: 68M10 94C99 68N99 PDFBibTeX XMLCite \textit{E. A. Jakubaitis}, Autom. Control Comput. Sci. 12, No. 2, 46--58 (1978; Zbl 0415.68058); translation from Avtom. Vychisl. Tekh., Riga 1978, No. 2, 49--63 (1978)
Geräte und Systeme der Automation. Nr. 20. (Приборы и системы автоматики. Выпуск 20.) (Russian) Zbl 0243.00019 Respublikanskiĭ mezhvedomstvennyĭ tematicheskiĭ nauchno-tekhnicheskiĭ sbornik. Khar’kov: Verlag der Universität. 163 S. R. 1.41 (1971). MSC: 00B15 68-06 93-06 94-06 PDFBibTeX XML
Geräte und Systeme der Automation. Nr. 8. (Приборы и системы автоматики. Выпуск 8.) (Russian) Zbl 0243.00018 Respublikanskiĭ mezhvedomstvennyĭ tematicheskiĭ nauchno-tekhnicheskiĭ sbornik. Khar’kov:: Verlag der Universität. 135 S. R. 0.95 (1969). MSC: 00B15 68-06 93-06 94-06 PDFBibTeX XML