Ústav počítačových systémů

Publikace

Autor:
Název:
Klíčová slova:
Od roku: Roků:
Typ:
 
2019DRAHOŠOVÁ Michaela, SEKANINA Lukáš a WIGLASZ Michal. Adaptive Fitness Predictors in Coevolutionary Cartesian Genetic Programming. Evolutionary Computation. 2019, roč. 99, č. 99, s. 1-27. ISSN 1063-6560.
 REK Petr a SEKANINA Lukáš. TypeCNN: CNN Development Framework With Flexible Data Types. In: Design, Automation and Test in Europe Conference. TBD, 2019, s. 1-4.
 SEKANINA Lukáš, VAŠÍČEK Zdeněk a MRÁZEK Vojtěch. Automated Search-Based Functional Approximation for Digital Circuits. Approximate Circuits - Methodologies and CAD. Heidelberg: Springer International Publishing, 2019, s. 175-203. ISBN 978-3-319-99322-5.
 STRNADEL Josef. Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates (in press, not published yet). In: Design, Automation and Test in Europe Conference. (publishing details will be updated after publishing), 2019, s. 1-4.
 VAŠÍČEK Zdeněk, MRÁZEK Vojtěch a SEKANINA Lukáš. Automated Circuit Approximation Method Driven by Data Distribution. In: Design, Automation and Test in Europe Conference. TBA, 2019, s. 1-6.
2018BORDOVSKÝ Gabriel, COX Ben T. a JAROŠ Jiří. Photoacoustic Tomography Using the k-Wave Toolbox. Ostrava, 2018.
 BORDOVSKÝ Gabriel. Challenges In the Computer Photoacoustic Tomograpy Using the k-Wave Toolbox. In: Počítačové architektúry & diagnostika PAD 2018. Plzeň: Západočeská univerzita v Plzni, 2018, s. 49-52. ISBN 978-80-261-0814-6.
 CABAL Jakub, BENÁČEK Pavel, KEKELY Lukáš, KEKELY Michal, PUŠ Viktor a KOŘENEK Jan. Configurable FPGA Packet Parser for Terabit Networks with Guaranteed Wire-Speed Throughput. In: Proceedings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. New York: Association for Computing Machinery, 2018, s. 249-258. ISBN 978-1-4503-5614-5.
 CASTELLI Mauro, SEKANINA Lukáš, ZHANG Mengjie, CAGNONI Stefano a GARCÍA-SÁNCHEZ Pablo, ed. 21st European Conference on Genetic Programming. Berlin: Springer International Publishing, 2018. ISBN 978-3-319-77552-4.
 CRHA Adam, ŠIMEK Václav a RŮŽIČKA Richard. Towards novel format for representation of polymorphic circuits. In: 13th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Taormina: IEEE Circuits and Systems Society, 2018, s. 1-2. ISBN 978-1-5386-5290-9.
 DANTUMA Maura, LUCKA Felix, TREEBY Bradley E., JAROŠ Jiří, COX Ben T. a MANOHAR Srirang. Signal Frequency Content and Appearance of Tumors in Photoacoustic Breast Tomography: A Simulation. Caparica, 2018.
 EYSSELT Miloš. Magisterský studijní program na Fakultě informačních technologií, IT - Informační technologie, ak.r. 2018/2019. Brno: Fakulta informačních technologií VUT v Brně, 2018.
 EYSSELT Miloš. Studijní programy na Fakultě informačních technologií: IT - Informační technologie, Ak.r. 2018/2019. Ing. Vladislav Pokorný - LITERA BRNO: Fakulta informačních technologií VUT v Brně, 2018.
 FIŠER Petr a ŠIMEK Václav. Optimum Polymorphic Circuits Synthesis Method. In: 13th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Taormina: IEEE Circuits and Systems Society, 2018, s. 1-6. ISBN 978-1-5386-5290-9.
 GROCHOL David a SEKANINA Lukáš. Fast Reconfigurable Hash Functions for Network Flow Hashing in FPGAs. In: Proceedings of the 2018 NASA/ESA Conference on Adaptive Hardware and Systems. Edinburgh: Institute of Electrical and Electronics Engineers, 2018, s. 257-263. ISBN 978-1-5386-7753-7.
 GROCHOL David a SEKANINA Lukáš. Multi-Objective Evolution of Ultra-Fast General-Purpose Hash Functions. In: European Conference on Genetic Programming. Berlin: Springer International Publishing, 2018, s. 187-202. ISBN 978-3-319-77553-1.
 HUSA Jakub a KALKREUTH Roman. A Comparative Study on Crossover in Cartesian Genetic Programming. In: Genetic Programming 21st European Conference, EuroGP 2018, Proceedings. Cham: Springer International Publishing, 2018, s. 203-219. ISBN 978-3-319-77553-1.
 JAROŠ Marta, TREEBY Bradley E. a JAROŠ Jiří. Design of HIFU Treatment Plans using an Evolutionary Strategy. Ostrava, 2018.
 JAROŠ Marta. Scientific Workflows Management. In: Počítačové architektúry & diagnostika PAD 2018. Plzeň: Západočeská univerzita v Plzni, 2018, s. 25-28. ISBN 978-80-261-0814-6.
 KADLUBIAK Kristián, JAROŠ Jiří a TREEBY Bradley E. GPU-accelerated Simulation of Elastic Wave Propagation. Frankfurt am Main, 2018.
 KADLUBIAK Kristián, JAROŠ Jiří a TREEBY Bradley E. GPU-accelerated Simulation of Elastic Wave Propagation. In: 2018 International Conference on High Performance Computing & Simulation (HPCS). Orleans: IEEE Computer Society, 2018, s. 188-195. ISBN 978-1-5386-7879-4.
 KADLUBIAK Kristián, TREEBY Bradley E. a JAROŠ Jiří. Fourth-order Time-stepping Scheme in Simulation of Ultrasound Propagation. Ostrava, 2018.
 KLEPÁRNÍK Petr, BAŘINA David, ZEMČÍK Pavel a JAROŠ Jiří. Efficient Low-Resource Compression of HIFU Data. Information. Basel: MDPI, 2018, roč. 9, č. 7, s. 1-14. ISSN 2078-2489.
 KOZUBEK Tomáš, ČERMÁK Martin, TICHÝ Petr, BLAHETA Radim, ŠÍSTEK Jakub, LUKÁŠ Dalibor a JAROŠ Jiří, ed. HPCSE: 3rd International Conference on High Performance Computing in Science and Engineering. Cham: Springer International Publishing, 2018. ISBN 978-3-319-97135-3.
 KUČERA Jan, KEKELY Lukáš, PIECEK Adam a KOŘENEK Jan. General IDS Acceleration for High-Speed Networks. In: Proceedings of the 36th IEEE International Conference on Computer Design, ICCD 2018. Orlando: Institute of Electrical and Electronics Engineers, 2018, s. 366-373. ISBN 978-1-5386-8477-1.
 KUČERA Jan, KEKELY Lukáš, PUŠ Viktor, PIECEK Adam a KOŘENEK Jan. Hardware Acceleration of Intrusion Detection Systems for High-Speed Networks. In: Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems. Ithaca, NY: Association for Computing Machinery, 2018, s. 177-178. ISBN 978-1-4503-5902-3.
 LOJDA Jakub a KOTÁSEK Zdeněk. Automatizace návrhu spolehlivých systémů a její dílčí komponenty. In: Počítačové architektury & diagnostika 2018. Stachy: Západočeská univerzita v Plzni, 2018, s. 5-8. ISBN 978-80-261-0814-6.
 LOJDA Jakub a KOTÁSEK Zdeněk. Fault Tolerance in HLS for the Purposes of Reliable System Design Automation. In: Proceedings of the 6th Prague Embedded Systems Workshop. Roztoky u Prahy: Fakulta informačních technologií ČVUT, 2018, s. 31-32. ISBN 978-80-01-06456-6.
 LOJDA Jakub, PODIVÍNSKÝ Jakub a KOTÁSEK Zdeněk. Fault Tolerance Properties of Systems Generated with the Use of High-Level Synthesis. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, s. 80-86. ISBN 978-1-5386-5709-6.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, KOTÁSEK Zdeněk a KRČMA Martin. Majority Type and Redundancy Level Influences on Redundant Data Types Approach for HLS. In: 2018 16th Biennial Baltic Electronics Conference (BEC). Tallinn: IEEE Computer Society, 2018, s. 1-4. ISBN 978-1-5386-7311-9.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, ČEKAN Ondřej, PÁNEK Richard a KOTÁSEK Zdeněk. FT-EST Framework: Reliability Estimation for the Purposes of Fault-Tolerant System Design Automation. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, s. 244-251. ISBN 978-1-5386-7376-8.
 MATOUŠEK Denis, KUBIŠ Juraj, MATOUŠEK Jiří a KOŘENEK Jan. Regular Expression Matching with Pipelined Delayed Input DFAs for High-speed Networks. In: Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems. Ithaca, NY: Association for Computing Machinery, 2018, s. 104-110. ISBN 978-1-4503-5902-3.
 MATOUŠEK Denis, MATOUŠEK Jiří a KOŘENEK Jan. High-speed Regular Expression Matching with Pipelined Memory-based Automata. Proceedings of the 2018 IEEE 26th Annual International Symposium on Field-Programmable Custom Computing Machines. Boulder, CO: IEEE Computer Society, 2018. ISBN 978-1-5386-5522-1.
 MRÁZEK Vojtěch a VAŠÍČEK Zdeněk. Evolutionary Design of Large Approximate Adders Optimized for Various Error Criteria. In: Proceedings of the Genetic and Evolutionary Computation Conference Companion (GECCO '18). Kyoto: Association for Computing Machinery, 2018, s. 294-295. ISBN 978-1-4503-5764-7.
 MRÁZEK Vojtěch, SÝS Marek, VAŠÍČEK Zdeněk, SEKANINA Lukáš a MATYÁŠ Václav. Evolving Boolean Functions for Fast and Efficient Randomness Testing. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO '18). Kyoto: Association for Computing Machinery, 2018, s. 1302-1309. ISBN 978-1-4503-5618-3.
 MRÁZEK Vojtěch, VAŠÍČEK Zdeněk a HRBÁČEK Radek. Role of circuit representation in evolutionary design of energy-efficient approximate circuits. IET Computers & Digital Techniques. Stevenage: The Institution of Engineering and Technology, 2018, roč. 2018, č. 4, s. 139-149. ISSN 1751-8601.
 MRÁZEK Vojtěch, VAŠÍČEK Zdeněk a SEKANINA Lukáš. Design of Quality-Configurable Approximate Multipliers Suitable for Dynamic Environment. In: Proceedings of the 2018 NASA/ESA Conference on Adaptive Hardware and Systems. Edinburgh: Institute of Electrical and Electronics Engineers, 2018, s. 264-271. ISBN 978-1-5386-7753-7.
 MRÁZEK Vojtěch, VAŠÍČEK Zdeněk, SEKANINA Lukáš, JIANG Honglan a HAN Jie. Scalable Construction of Approximate Multipliers with Formally Guaranteed Worst-Case Error. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 2018, roč. 26, č. 11, s. 2572-2576. ISSN 1063-8210.
 MUSIL Miloš, MARTÍNEK Tomáš a ZENDULKA Jaroslav. FireProt: web server for automated design of thermostable proteins. In: DAZ & WIKT 2018 Proceedings. Brno, 2018, s. 1-4.
 NEVORAL Jan a RŮŽIČKA Richard. Efficient Implementation of Bi-functional RTL Components - Case Study. In: 2018 New Generation of CAS (NGCAS). Valletta: IEEE Circuits and Systems Society, 2018, s. 25-28. ISBN 978-1-5386-7680-6.
 NEVORAL Jan, RŮŽIČKA Richard a ŠIMEK Václav. CMOS Gates with Second Function. In: 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). Hong Kong: IEEE Computer Society, 2018, s. 82-87. ISBN 978-1-5386-7099-6.
 NEVORAL Jan, RŮŽIČKA Richard a ŠIMEK Václav. From Ambipolarity to Multifunctionality: Novel Library of Polymorphic Gates Using Double-Gate FETs. In: 2018 21st Euromicro Conference on Digital System Design. Praha: Institute of Electrical and Electronics Engineers, 2018, s. 657-664. ISBN 978-1-5386-7376-8.
 NIKL Vojtěch, ŘÍHA Lubomír, VYSOCKÝ Ondřej a ZAPLETAL Jan. Optimal Hardware Parameters Prediction for Best Energy-to-Solution of Sparse Matrix Operations Using Machine Learning Techniques. In: INFOCOMP 2018. Barcelona: Mezinárodní asociace univerzit, výzkumu a průmyslu, 2018, s. 43-48. ISBN 978-1-61208-655-2.
 PODIVÍNSKÝ Jakub a KOTÁSEK Zdeněk. Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller. In: Proceedings of the 6th Prague Embedded Systems Workshop. Roztoky u Prahy: České vysoké učení technické, 2018, s. 33-34. ISBN 978-80-01-06456-6.
 PODIVÍNSKÝ Jakub, LOJDA Jakub a KOTÁSEK Zdeněk. An Experimental Evaluation of Fault-Tolerant FPGA-based Robot Controller. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, s. 63-69. ISBN 978-1-5386-5709-6.
 PODIVÍNSKÝ Jakub, LOJDA Jakub a KOTÁSEK Zdeněk. FPGA-based Robot Controller: An Experimental Evaluation of Fault Tolerance Properties. In: INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Budapešť, 2018, s. 9-12.
 PODIVÍNSKÝ Jakub, LOJDA Jakub, ČEKAN Ondřej a KOTÁSEK Zdeněk. Evaluation Platform for Testing Fault Tolerance Properties: Soft-core Processor-based Experimental Robot Controller. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, s. 229-236. ISBN 978-1-5386-7376-8.
 PODIVÍNSKÝ Jakub, ČEKAN Ondřej, KRČMA Martin, BURGET Radek, HRUŠKA Tomáš a KOTÁSEK Zdeněk. A Processor Optimization Framework for a Selected Application. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, s. 564-574. ISBN 978-1-5386-5709-6.
 PUTEROVÁ Janka a MARTÍNEK Tomáš. digIS: automated pipeline for detecting distant, novel insertion sequence elements in prokaryotes. In: Data & Knowledge 2018. Brno: Vysoké učení technické v Brně, 2018, s. 1-5. ISBN 978-80-214-5679-2.
 PÁNEK Richard, LOJDA Jakub, PODIVÍNSKÝ Jakub a KOTÁSEK Zdeněk. Partial Dynamic Reconfiguration in an FPGA-based Fault-Tolerant System: Simulation-based Evaluation. In: Proceedings of IEEE East-West Design & Test Symposium. Kazaň: IEEE Communications Society, 2018, s. 129-134. ISBN 978-1-5386-5709-6.
 PÁNEK Richard. Metodika návrhu řadiče rekonfigurace pro Systémy odolné proti poruchám. In: Počítačové architektury & diagnostika 2018. Stachy: Západočeská univerzita v Plzni, 2018, s. 21-24. ISBN 978-80-261-0814-6.
 SEKANINA Lukáš, MRÁZEK Vojtěch a VAŠÍČEK Zdeněk. Design Space Exploration for Approximate Implementations of Arithmetic Data Path Primitives. In: 25th IEEE International Conference on Electronics Circuits and Systems (ICECS). Bordeaux: IEEE Circuits and Systems Society, 2018, s. 377-380. ISBN 978-1-5386-4089-0.
 SEKANINA Lukáš, VAŠÍČEK Zdeněk, BOSIO Alberto, TRAIOLA Marcello, RECH Paolo, OLIVEIRA Daniel, FERNANDES Fernando a DI Carlo Stefano. Special Session: How Approximate Computing impacts Verification, Test and Reliability. 2018 IEEE 36th VLSI Test Symposium. San Francisco: IEEE Computer Society, 2018. ISBN 978-1-5386-3774-6.
 SEKANINA Lukáš. Approximate Computing: An Old Job for Cartesian Genetic Programming?. Inspired by Nature. Cham: Springer International Publishing, 2018, s. 195-212. ISBN 978-3-319-67996-9.
 STRNADEL Josef. Predictability Analysis of Interruptible Systems by Statistical Model Checking. IEEE Design & Test. Pistacaway: IEEE Circuits and Systems Society, 2018, roč. 35, č. 2, s. 57-63. ISSN 2168-2356.
 STRNADEL Josef. Statistical Model Checking of Processor Systems in Various Interrupt Scenarios. In: Proceedings of 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Cham: Springer International Publishing, 2018, s. 414-429. ISSN 0302-9743.
 SUMBALOVÁ Lenka, ŠTOURAČ Jan, MARTÍNEK Tomáš, BEDNÁŘ David a DAMBORSKÝ Jiří. HotSpot Wizard 3.0: Web Server for Automated Design of Mutations and Smart Libraries based on Sequence Input Information. Nucleic Acids Research. Oxford: Oxford University Press, 2018, roč. 2018, č. 24, s. 1-7. ISSN 1362-4962.
 SUOMI Visa, TREEBY Bradley E., JAROŠ Jiří, MAKELA Pietari, ANTTINEN Mikael, SAUNAVAARA Jani, SAINIO Teija, KIVINIEMI Aida a BLANCO Roberto. Transurethral ultrasound therapy of the prostate in the presence of calcifications: A simulation study. Journal of Medical Physics. 111 River St., Hoboken, NJ 07030-5774: American Association of Physicists in Medicine, 2018, roč. 45, č. 11, s. 4793-4804. ISSN 0094-2405.
 SUOMI Visa, TREEBY Bradley E., JAROŠ Jiří, SAUNAVAARA Jani, KIVINIEMI Aida a BLANCO Roberto. The Effect of Tissue Physiological Variablity on Transurethral Ultrasound Therapy of the Prostate. In: Proceedings of 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Honolulu, HI: Institute of Electrical and Electronics Engineers, 2018, s. 5701-5704. ISBN 978-1-5386-3646-6.
 TREEBY Bradley E., BUDISKÝ Jakub, WISE Elliott S., JAROŠ Jiří a COX Ben T. Rapid calculation of acoustic fields from arbitrary continuous-wave sources. The Journal of the Acoustical Society of America. 2018, roč. 2018, č. 143, s. 529-537. ISSN 1520-8524.
 TREEBY Bradley E., VAVERKA Filip a JAROŠ Jiří. Performance and Accuracy Analysis of Nonlinear k-Wave Simulations Using Local Domain Decomposition with an 8-GPU Server. Proceedings of Meetings on Acoustics. 2018, roč. 34, č. 022002, s. 1-5. ISSN 1939-800X.
 TREFZER Martin A. a SEKANINA Lukáš. Guest Editorial: Bio-inspired Hardware and Evolvable Systems. IET Computers & Digital Techniques. Stevenage: The Institution of Engineering and Technology, 2018, roč. 12, č. 4. ISSN 1751-8601.
 VAVERKA Filip, TREEBY Bradley E. a JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on Intel Xeon Phi (KNC) accelerators. Ostrava, 2018.
 VAVERKA Filip, ŠPEŤKO Matej, TREEBY Bradley E. a JAROŠ Jiří. Optimization of Ultrasound Simulations on Multi-GPU Servers. Dallas, 2018.
 VAŠÍČEK Zdeněk. Bridging the Gap Between Evolvable Hardware and Industry Using Cartesian Genetic Programming. Inspired by Nature. Cham: Springer International Publishing, 2018, s. 39-55. ISBN 978-3-319-67996-9.
 WIGLASZ Michal a SEKANINA Lukáš. Cooperative Coevolutionary Approximation in HOG-based Human Detection Embedded System. In: 2018 IEEE Symposium Series on Computational Intelligence (SSCI 2018). Bengaluru: Institute of Electrical and Electronics Engineers, 2018, s. 1313-1320. ISBN 978-1-5386-9275-2.
 ČEKAN Ondřej a KOTÁSEK Zdeněk. Random Test Generation Through a Probabilistic Constrained Grammar. In: INFORMAL PROCEEDINGS 21st IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Budapešť, 2018, s. 5-8.
 ČEKAN Ondřej, PODIVÍNSKÝ Jakub a KOTÁSEK Zdeněk. Program Generation Through a Probabilistic Constrained Grammar. In: Proceedings of the 2018 21st Euromicro Conference on Digital System Design. Praha: IEEE Computer Society, 2018, s. 214-220. ISBN 978-1-5386-7376-8.
 ČEKAN Ondřej, PÁNEK Richard a KOTÁSEK Zdeněk. Input and Output Generation for the Verification of ALU: a Use Case. In: Proceedings of IEEE East-West Design & Test Symposium. Kazan: IEEE Computer Society, 2018, s. 331-336. ISBN 978-1-5386-5709-6.
 ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk a VOJNAR Tomáš. ADAC: Automated Design of Approximate Circuits. In: Proceedings of 30th International Conference on Computer Aided Verification (CAV'18). Oxford, UK: Springer International Publishing, 2018, s. 612-620. ISBN 978-3-319-96145-3.
 ČUDOVÁ Marta, TREEBY Bradley E. a JAROŠ Jiří. Design of HIFU Treatment Plans using Evolutionary Strategy. In: GECCO'18 Companion: Genetic and Evolutionary Computation Conference Companion. Kyoto: Association for Computing Machinery, 2018, s. 1568-1575. ISBN 978-1-4503-5764-7.
2017BIDLO Michal. Evolution of Cellular Automata-Based Replicating Structures Exhibiting Unconventional Features. International Joint Conference, IJCCI 2015 Lisbon, Portugal, November 12-14, 2015, Revised Selected Papers. Cham: Springer International Publishing, 2017, s. 21-41. ISBN 978-3-319-48506-5.
 BORDOVSKÝ Gabriel a JAROŠ Jiří. Optimization of Fracture Tests Simulation in Civil Engineering. Ostrava, 2017.
 CRHA Adam, ŠIMEK Václav a RŮŽIČKA Richard. Synthesis tool for design of complex polymorphic circuits. In: 2017 12th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Palma de Mallorca: IEEE Circuits and Systems Society, 2017, s. 149-154. ISBN 978-1-5090-6376-5.
 DOBAI Roland, KOŘENEK Jan a SEKANINA Lukáš. Evolutionary design of hash function pairs for network filters. Applied Soft Computing. Amsterdam: Elsevier Science, 2017, roč. 56, č. 7, s. 173-181. ISSN 1568-4946.
 EYSSELT Miloš. Magisterský studijní program na Fakultě informačních technologií, IT - Informační technologie, Ak.r. 2017/2018. Ing. Vladislav Pokorný - LITERA BRNO: Fakulta informačních technologií VUT v Brně, 2017.
 EYSSELT Miloš. Studijní programy na Fakultě informačních technologií: IT - Informační technologie, Ak.r. 2017/2018. Ing. Vladislav Pokorný - Litera Brno: Fakulta informačních technologií VUT v Brně, 2017.
 FAJČÍK Martin, ZACHARIÁŠOVÁ Marcela a SMRŽ Pavel. Automation of Processor Verification Using Recurrent Neural Networks. In: 2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV). Austin, Texas: Institute of Electrical and Electronics Engineers, 2017, s. 15-20. ISBN 978-1-5386-3351-9.
 GEORGIOU Panyiotis, JAROŠ Jiří, PAYNE Heather, ALLEN Clare, GIBSON Eli, BARRATT Dean a TREEBY Bradley E. Beam Distortion Due to Gold Fiducial Markers During Salvage High-Intensity Focused Ultrasound in the Prostate. Journal of Medical Physics. 111 River St., Hoboken, NJ 07030-5774: American Association of Physicists in Medicine, 2017, roč. 44, č. 2, s. 679-693. ISSN 0094-2405.
 GROCHOL David a SEKANINA Lukáš. Comparison of Parallel Linear Genetic Programming Implementations. In: Recent Advances in Soft Computing: Proceedings of the 22nd International Conference on Soft Computing (MENDEL 2016) held in Brno, Czech Republic, at June 8-10, 2016. Cham: Springer International Publishing, 2017, s. 64-76. ISBN 978-3-319-58088-3.
 GROCHOL David a SEKANINA Lukáš. Multiobjective Evolution of Hash Functions for High Speed Networks. In: Proceedings of the 2017 IEEE Congress on Evolutionary Computation. San Sebastian: IEEE Computer Society, 2017, s. 1533-1540. ISBN 978-1-5090-4600-3.
 HON Jiří, MARTÍNEK Tomáš, ZENDULKA Jaroslav a LEXA Matej. pqsfinder: an exhaustive and imperfection-tolerant search tool for potential quadruplex-forming sequences in R. Bioinformatics. Oxford: Oxford University Press, 2017, roč. 33, č. 21, s. 3373-3379. ISSN 1367-4803.
 HUSA Jakub a DOBAI Roland. Designing Bent Boolean Functions With Parallelized Linear Genetic Programming. In: GECCO Companion '17 Proceedings of the Companion Publication of the 2017 on Genetic and Evolutionary Computation Conference. Berlín: Association for Computing Machinery, 2017, s. 1825-1832. ISBN 978-1-4503-4939-0.
 JAROŠ Jiří, TREEBY Bradley E. a GEORGIOU Panyiotis. Modelling Beam Distortion during Focused Ultrasound Surgery in the Prostate using k-Wave. Supercomputing in Science and Engineering. Ostrava: VŠB Technická univerzita Ostrava - IT4I, 2017, s. 205-207. ISBN 978-80-248-4037-6.
 JAROŠ Jiří, TREEBY Bradley E. a ROBERTSON James L. Convergence Testing of a k-space Pseudospectral Scheme for Transcranial Time-reversal Focusing. Supercomputing in Science and Engineering. Ostrava: VŠB Technická univerzita Ostrava - IT4I, 2017, s. 195-197. ISBN 978-80-248-4037-6.
 JAROŠ Jiří. High Performance Computing in Ultrasound Cancer Treatment. Brno, 2017.
 KEKELY Michal a KOŘENEK Jan. Packet Classification with Limited Memory Resources. In: In proceedings 2017 Euromicro Conference on Digital System Design. Vieden: Institute of Electrical and Electronics Engineers, 2017, s. 179-183. ISBN 978-1-5386-2145-5.
 KEŠNER Filip, SEKANINA Lukáš a BRÁZDIL Milan. Modular Framework for Detection of Inter-ictal Spikes in iEEG. In: The 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC'17). Los Alamos: Institute of Electrical and Electronics Engineers, 2017, s. 418-421. ISBN 978-1-5090-2809-2.
 KIDOŇ Marek a DOBAI Roland. Evolutionary design of hash functions for IP address hashing using genetic programming. In: 2017 IEEE Congress on Evolutionary Computation (CEC). San Sebastian: Institute of Electrical and Electronics Engineers, 2017, s. 1720-1727. ISBN 978-1-5090-4601-0.
 KLEPÁRNÍK Petr, ZEMČÍK Pavel a JAROŠ Jiří. Efficient Lossy Compression of Ultrasound Data. In: 2017 IEEE International Symposium on Signal Processing and Information Technology (ISSPIT). Bilbao: Institute of Electrical and Electronics Engineers, 2017, s. 232-237. ISBN 978-1-5386-4662-5.
 KORČEK Pavol, NOVOTNÝ Tomáš, WOLFERT Richard, VIKTORIN Jan a SAKIN Martin. Závěrečná zpráva. Brno: CESNET, zájmové sdružení právnických osob, 2017.
 KOŘENEK Jan a KEKELY Michal. Mapping of P4 Match Action Tables to FPGA. In: Preceedings of 27TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS. Ghent: Institute of Electrical and Electronics Engineers, 2017, s. 1-2. ISBN 978-90-90-30428-1.
 KOŘENEK Jan. Souhrnná výzkumná zpráva o vývoji elektronických zařízení pro společnost Honeywell za rok 2017. Brno: Honeywell, spol. s r.o., 2017.
 KRČMA Martin a KOTÁSEK Zdeněk. Approximation accuracy of different FPNN types. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Fakulta informačních technologií ČVUT, 2017, s. 81-82. ISBN 978-80-01-06178-7.
 KRČMA Martin, KOTÁSEK Zdeněk a LOJDA Jakub. Comparison of FPNNs Models Approximation Capabilities and FPGA Resources Utilization. In: Proceedings of IEEE 13th International Conference on Intelligent Computer Communication and Processing. Cluj-Nappoca: IEEE Computer Society, 2017, s. 125-132. ISBN 978-1-5386-3367-0.
 KRČMA Martin, LOJDA Jakub a KOTÁSEK Zdeněk. Triple Modular Redundancy Used in Field Programmable Neural Networks. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, s. 1-6. ISBN 978-1-5386-3298-7.
 LOJDA Jakub a KOTÁSEK Zdeněk. A Basic Approach to Fault Tolerance of Data Paths of HLS-synthesized Systems and its Evaluation. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Fakulta informačních technologií ČVUT, 2017, s. 79-80. ISBN 978-80-01-06178-7.
 LOJDA Jakub a KOTÁSEK Zdeněk. Automatizace návrhu systémů odolných proti poruchám pomocí vysokoúrovňové syntézy. In: Počítačové architektury & diagnostika 2017. Smolenice: Slovenská technická univerzita v Bratislavě, 2017, s. 59-62. ISBN 978-80-972784-0-3.
 LOJDA Jakub, PODIVÍNSKÝ Jakub a KOTÁSEK Zdeněk. Redundant Data Types and Operations in HLS and their Use for a Robot Controller Unit Fault Tolerance Evaluation. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, s. 359-364. ISBN 978-1-5386-3298-7.
 LOJDA Jakub, PODIVÍNSKÝ Jakub, KOTÁSEK Zdeněk a KRČMA Martin. Data Types and Operations Modifications: a Practical Approach to Fault Tolerance in HLS. In: Proceedings of IEEE East-West Design & Test Symposium. Novi Sad: IEEE Computer Society, 2017, s. 273-278. ISBN 978-1-5386-3298-7.
 MATOUŠEK Jiří, ANTICHI Gianni, LUČANSKÝ Adam, MOORE Andrew W. a KOŘENEK Jan. ClassBench-ng: Recasting ClassBench After a Decade of Network Evolution. In: 2017 ACM/IEEE Symposium on Architectures for Networking and Communications Systems. Beijing: IEEE Computer Society, 2017, s. 204-216. ISBN 978-1-5090-6386-4.
 MCDERMOTT James, CASTELLI Mauro, SEKANINA Lukáš, HAASDIJK Evert a GARCÍA-SÁNCHEZ Pablo, ed. 20th European Conference on Genetic Programming. Berlin: Springer International Publishing, 2017. ISBN 978-3-319-55696-3.
 MINAŘÍK Miloš a SEKANINA Lukáš. On Evolutionary Approximation of Sigmoid Function for HW/SW Embedded Systems. In: 20th European Conference on Genetic Programming, EuroGP 2017. Berlin: Springer International Publishing, 2017, s. 343-358. ISBN 978-3-319-55696-3.
 MRÁZEK Vojtěch a VAŠÍČEK Zdeněk. Parallel Optimization of Transistor Level Circuits using Cartesian Genetic Programming. In: GECCO Companion '17 Proceedings of the Companion Publication of the 2017 on Genetic and Evolutionary Computation Conference. Berlin: Association for Computing Machinery, 2017, s. 1849-1856. ISBN 978-1-4503-4939-0.
 MRÁZEK Vojtěch, HRBÁČEK Radek, VAŠÍČEK Zdeněk a SEKANINA Lukáš. EvoApprox8b: Library of Approximate Adders and Multipliers for Circuit Design and Benchmarking of Approximation Methods. In: Proc. of the 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE). Lausanne: European Design and Automation Association, 2017, s. 258-261. ISBN 978-3-9815370-9-3.
 MUSIL Miloš, ŠTOURAČ Jan, BENDL Jaroslav, BREZOVSKÝ Jan, PROKOP Zbyněk, ZENDULKA Jaroslav, MARTÍNEK Tomáš, BEDNÁŘ David a DAMBORSKÝ Jiří. FireProt: web server for automated design of thermostable proteins. Nucleic Acids Research. Oxford: Oxford University Press, 2017, roč. 2017, č. 45, s. 393-399. ISSN 1362-4962.
 NEVORAL Jan, ŠIMEK Václav a RŮŽIČKA Richard. Compact Library of Efficient Polymorphic Gates based on Ambipolar Transistors. In: 2017 12th International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS). Palma de Mallorca: IEEE Circuits and Systems Society, 2017, s. 155-160. ISBN 978-1-5090-6376-5.
 NIKL Vojtěch, HRADECKÝ Michal, JAROŠ Jiří a KELEČÉNI Jakub. The investigation of the ARMv7 and Intel Haswell architectures suitability for performance and energy-aware computing. In: High Performance Computing. Cham: Springer International Publishing, 2017, s. 377-393. ISBN 978-3-319-58667-0.
 PODIVÍNSKÝ Jakub a KOTÁSEK Zdeněk. The Use of Functional Verification for Monitoring Impact of Faults in SRAM-based FPGAs. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Fakulta informačních technologií ČVUT, 2017, s. 81-82. ISBN 978-80-01-06178-7.
 PODIVÍNSKÝ Jakub, LOJDA Jakub, ČEKAN Ondřej, PÁNEK Richard a KOTÁSEK Zdeněk. Reliability Analysis and Improvement of FPGA-based Robot Controller. In: Proceedings of the 2017 20th Euromicro Conference on Digital System Design. Vídeň: IEEE Computer Society, 2017, s. 337-344. ISBN 978-1-5386-2146-2.
 PODIVÍNSKÝ Jakub, ČEKAN Ondřej, LOJDA Jakub, ZACHARIÁŠOVÁ Marcela, KRČMA Martin a KOTÁSEK Zdeněk. Functional Verification Based Platform for Evaluating Fault Tolerance Properties. Microprocessors and Microsystems. Amsterdam: Elsevier Science, 2017, roč. 52, č. 5, s. 145-159. ISSN 0141-9331.
 PUTEROVÁ Janka, RAZUMOVA Olga, MARTÍNEK Tomáš, ALEXANDROV Oleg, DIVASHUK Mikhail, KUBÁT Zdeněk, HOBZA Roman, KARLOV Gennady a KEJNOVSKÝ Eduard. Satellite DNA and Transposable Elements in Seabuckthorn ( Hippophae rhamnoides ), a Dioecious Plant with Small Y and Large X Chromosomes. Genome Biology and Evolution. Oxford: Oxford University Press, 2017, roč. 9, č. 1, s. 197-212. ISSN 1759-6653.
 PÁNEK Richard. Systémy odolné proti poruchám - metodika návrhu řadiče rekonfigurace. In: Počítačové architektury & diagnostika 2017. Smolenice: Slovenská technická univerzita v Bratislavě, 2017, s. 24-27. ISBN 978-80-972784-0-3.
 ROBERTSON James L., COX Ben T., JAROŠ Jiří a TREEBY Bradley E. Accurate simulation of transcranial ultrasound propagation for ultrasonic neuromodulation and stimulation. The Journal of the Acoustical Society of America. 2017, roč. 141, č. 3, s. 1726-1738. ISSN 1520-8524.
 SEKANINA Lukáš, VAŠÍČEK Zdeněk a MRÁZEK Vojtěch. Approximate Circuits in Low-Power Image and Video Processing: The Approximate Median Filter. Radioengineering. 2017, roč. 26, č. 3, s. 623-632. ISSN 1210-2512.
 SHAFIQUE Muhammad, HAFIZ Rehan, JAVED Muhammad Usama, ABBAS Sarmad, SEKANINA Lukáš, VAŠÍČEK Zdeněk a MRÁZEK Vojtěch. Adaptive and Energy-Efficient Architectures for Machine Learning: Challenges, Opportunities, and Research Roadmap. In: 2017 IEEE Computer Society Annual Symposium on VLSI. Los Alamitos: IEEE Computer Society Press, 2017, s. 627-632. ISBN 978-1-5090-6762-6.
 STRNADEL Josef. On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking. In: Proceedings of the 2017 20th Euromicro Conference on Digital System Design. Los Alamitos: IEEE Computer Society, 2017, s. 352-355. ISBN 978-1-5386-2146-2.
 SUOMI Visa, JAROŠ Jiří, TREEBY Bradley E. a CLEVELAND Robin. Full modelling of high-intensity focused ultrasound and thermal heating in the kidney of realistic patient models. IEEE Transactions on Biomedical Engineering. 2017, roč. 2017, č. 66, s. 1-12. ISSN 0018-9294.
 SZURMAN Karel a KOTÁSEK Zdeněk. State Synchronization of Faulty Soft Core Processors in Reconfigurable TMR Architecture. In: Počítačové architektúry & diagnostika 2017. Smolenice: Slovenská technická univerzita v Bratislavě, 2017, s. 51-54. ISBN 978-80-972784-0-3.
 TREEBY Bradley E., BUDISKÝ Jakub, WISE Elliott S., JAROŠ Jiří a COX Ben T. Single-step Calculation of the Acoustic Field from Arbitrary Continuous-wave Sources. Ostrava, 2017.
 VAVERKA Filip, TREEBY Bradley E. a JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on 256 Salomon Nodes. Ostrava, 2017.
 VAVERKA Filip, TREEBY Bradley E. a JAROŠ Jiří. Running Large-Scale Ultrasound Simulations on Piz Daint with 512 Pascal GPUs. Denver, 2017.
 VAŠÍČEK Zdeněk a MRÁZEK Vojtěch. Trading between Quality and Non-functional Properties of Median Filter in Embedded Systems. Genetic Programming and Evolvable Machines. Berlin: Springer Verlag, 2017, roč. 18, č. 1, s. 45-82. ISSN 1389-2576.
 VAŠÍČEK Zdeněk, MRÁZEK Vojtěch a SEKANINA Lukáš. Towards Low Power Approximate DCT Architecture for HEVC Standard. In: Proc. of the 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE). Lausanne: European Design and Automation Association, 2017, s. 1576-1581. ISBN 978-3-9815370-9-3.
 VAŠÍČEK Zdeněk. Relaxed equivalence checking: a new challenge in logic synthesis. In: Proceedings 2017 IEEE 20th International Symposium on Design and Diagnotics of Electronic Circuit & Systems. Dresden: IEEE Computer Society, 2017, s. 1-6. ISBN 978-1-5386-0472-4.
 VYSOCKÝ Ondřej, BESEDA Martin, ŘÍHA Lubomír, ZAPLETAL Jan, NIKL Vojtěch, LYSAGHT Michael a KANNAN Venkatesh. Evaluation of the HPC Applications Dynamic Behavior in Terms of Energy Consumption. In: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, GRID AND CLOUD COMPUTING FOR ENGINEERING. Stirlingshire: Civil-Comp Press, 2017, s. 30-49. ISBN 978-1-905088-66-9.
 WIGLASZ Michal a SEKANINA Lukáš. Evolutionary Approximation of Gradient Orientation Module in HOG-based Human Detection System. In: 2017 IEEE Global Conference on Signal and Information Processing GlobalSIP 2017. Montreal: IEEE Signal Processing Society, 2017, s. 1300-1304. ISBN 978-1-5090-5989-8.
 ŠIMEK Václav, NEVORAL Jan, CRHA Adam a RŮŽIČKA Richard. Towards Design Flow for Space-Efficient Implementation of Polymorphic Circuits Based on Ambipolar Components. ElectroScope. Plzeň: Západočeská univerzita v Plzni, 2017, roč. 11, č. 1, s. 1-10. ISSN 1802-4564.
 ŽÁDNÍK Martin. Souhrnná zpráva k implementačním a ladícím pracem pro Flowmon Networks a.s. v roce 2017. Brno: FlowMon Networks, a.s., 2017.
 ŽÁDNÍK Martin. Souhrnná zpráva k projektu Implementační, ladící a testovací práce za rok 2017. Brno: CESNET, zájmové sdružení právnických osob, 2017.
 ČEKAN Ondřej a KOTÁSEK Zdeněk. A Probabilistic Context-Free Grammar Based Random Test Program Generation. In: Proceedings of 20th Euromicro Conference on Digital System Design. Vídeň: Technische Universitaet Wien, 2017, s. 356-359. ISBN 978-1-5386-2146-2.
 ČEKAN Ondřej a KOTÁSEK Zdeněk. Random Test Stimuli Generation Based on a Probabilistic Grammar. In: Proceedings of the 5th Prague Embedded Systems Workshop. Roztoky u Prahy: Fakulta informačních technologií ČVUT, 2017, s. 43-44. ISBN 978-80-01-06178-7.
 ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk a VOJNAR Tomáš. Approximating Complex Arithmetic Circuits with Formal Error Guarantees: 32-bit Multipliers Accomplished. In: Proceedings of 36th IEEE/ACM International Conference On Computer Aided Design (ICCAD). Irvine, CA: Institute of Electrical and Electronics Engineers, 2017, s. 416-423. ISBN 978-1-5386-3093-8.
 ČUDOVÁ Marta a JAROŠ Jiří. Framework for Planning, Executing and Monitoring Cooperating Computations. Ostrava, 2017.
 ČUDOVÁ Marta. Framework for Planning, Running and Monitoring Cooperating Computations. In: Počítačové architektúry & diagnostika PAD 2017. Bratislava: Slovenská technická univerzita v Bratislavě, 2017, s. 20-23. ISBN 978-80-972784-0-3.

Vaše IPv4 adresa: 3.84.243.246
Přepnout na https

DNSSEC [dnssec]