Sistemas digitales a través de diseños esquemáticos y VHDL

Συγγραφείς: Roffe Samaniego, Norma Frida

Θεματικοί όροι: VHDL (Lenguaje de descripción para hardware), Technology, México / Mexico, TK7885.7, 621.392, Tecnología, System design--Data processing, Sistemas, Diseño de sistemas--Procesamiento de datos, VHDL (Computer hardware description language)

Περιγραφή αρχείου: Texto; application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/11285/648388

Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis

Συγγραφείς: Puri, Disha, Ray, Sandip, Hao, Kecheng, Xie, Fei

Πηγή: Electronic Proceedings in Theoretical Computer Science, Vol 152, Iss Proc. ACL2 2014, Pp 111-128 (2014)

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Theory and Algorithms, Systems Architecture, Computer architecture -- Algorithms, QA75.5-76.95, 02 engineering and technology, System design -- Data processing, Logic in Computer Science (cs.LO), 13. Climate action, Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Electronic systems -- Design and construction, Mathematics, Programming Languages (cs.PL)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/pdf/1406.1562
http://arxiv.org/abs/1406.1562
https://doaj.org/article/7e73fa9873b84d0a82280fcfbb0701bc

A case study on which IAM tool would be the best fit for a Philippine Telco

Συγγραφείς: Paulino, Patrick Roniel M.

Πηγή: Computer Technology Master's Theses

Θεματικοί όροι: System design—Data processing, Electronic data processing, Computer security, Data protection, Information Security

Περιγραφή αρχείου: application/pdf

Relation: https://animorepository.dlsu.edu.ph/etdm_comtech/21; https://animorepository.dlsu.edu.ph/context/etdm_comtech/article/1021/viewcontent/A_Case_Study_on_which_IAM_tool_would_be_the_best_fit_for_a_Philip.pdf

Διαθεσιμότητα: https://animorepository.dlsu.edu.ph/etdm_comtech/21
https://animorepository.dlsu.edu.ph/context/etdm_comtech/article/1021/viewcontent/A_Case_Study_on_which_IAM_tool_would_be_the_best_fit_for_a_Philip.pdf

Building Intelligent Systems Using Machine Learning and Deep Learning: Security, Applications and Its Challenges

Συγγραφείς: Abhaya Kumar Sahoo

Resource Type: eBook.

Θέματα: Deep learning (Machine learning)--Industrial applications, Machine learning--Industrial applications, System design--Data processing

Categories: COMPUTERS / Data Science / Machine Learning

Data Driven Strategies : Theory and Applications

Συγγραφείς: Wang Jianhong, Ricardo A. Ramirez-Mendoza, Ruben Morales-Menendez

Resource Type: eBook.

Θέματα: System design--Data processing, Automatic control--Data processing, Systems engineering--Data processing

Categories: MATHEMATICS / Optimization

Rechnerorganisation und Rechnerentwurf : Die Hardware/Software-Schnittstelle - MIPS Edition

Συγγραφείς: David Patterson, John LeRoy Hennessy

Resource Type: eBook.

Θέματα: Computer organization, System design--Data processing, Computer architecture, Computer interfaces

Categories: COMPUTERS / Computer Architecture, COMPUTERS / General, COMPUTERS / Programming / General, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General

Network design: districting and multi-commodity flow problems. ; CUHK electronic theses & dissertations collection ; Digital dissertation consortium

Συνεισφορές: Ng, Suk Fung., Chinese University of Hong Kong Graduate School. Division of Systems Engineering and Engineering Management.

Θεματικοί όροι: System design--Data Processing, Industrial location--Mathematical models, Graph theory, Heuristic programming

Περιγραφή αρχείου: electronic resource; remote; microform; microfiche; 1 online resource (xiv, 222 p. : ill.)

Relation: cuhk:343142; http://library.cuhk.edu.hk/record=b6073407

Διαθεσιμότητα: http://library.cuhk.edu.hk/record=b6073407
https://repository.lib.cuhk.edu.hk/en/item/cuhk-343142

Data-Driven Modeling, Filtering and Control : Methods and Applications

Συγγραφείς: Carlo Novara, Simone Formentin

Resource Type: eBook.

Θέματα: Automatic control--Data processing, System design--Data processing, Systems engineering--Data processing

Categories: TECHNOLOGY & ENGINEERING / Electronics / General

Computer Organization and Design RISC-V Edition : The Hardware Software Interface

Συγγραφείς: David A. Patterson, John L. Hennessy

Resource Type: eBook.

Θέματα: Computer engineering, Computer organization, Computer interfaces, System design--Data processing, Computer architecture

Categories: COMPUTERS / Computer Architecture, COMPUTERS / Hardware / Chips & Processors, COMPUTERS / Computer Engineering, TECHNOLOGY & ENGINEERING / Engineering (General)

Automatic Methods for the Refinement of System Models

Συγγραφείς: Julia Seiter, Robert Wille, Rolf Drechsler

Resource Type: eBook.

Θέματα: System design--Data processing

Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Computer Architecture, TECHNOLOGY & ENGINEERING / Electronics / General

Rechnerorganisation und Rechnerentwurf : Die Hardware/Software-Schnittstelle

Συγγραφείς: David Patterson, John LeRoy Hennessy

Resource Type: eBook.

Θέματα: Computer organization, System design--Data processing, Computer architecture, Computer interfaces

Categories: COMPUTERS / Computer Architecture, COMPUTERS / General, LAW / General

Hierarchical auto-associative polynomial convolutional neural networks

Συγγραφείς: Martell, Patrick Keith

Πηγή: Graduate Theses and Dissertations

Θεματικοί όροι: Neural networks (Computer science), System design Data processing, Polynomials, Electrical Engineering, Convolutional Neural Network, Polynomial, CNN, Classification, MNIST

Relation: https://ecommons.udayton.edu/graduate_theses/1329; http://rave.ohiolink.edu/etdc/view?acc_num=dayton1513164029518038

Διαθεσιμότητα: https://ecommons.udayton.edu/graduate_theses/1329
http://rave.ohiolink.edu/etdc/view?acc_num=dayton1513164029518038

Convolutional neural network optimization using genetic algorithms

Συγγραφείς: Reiling, Anthony Joseph

Πηγή: Graduate Theses and Dissertations

Θεματικοί όροι: Genetic algorithms Data processing, Neural networks (Computer science), System design Data processing, Artificial Intelligence, Computer Engineering, Computer Science, deep learning hyper parameter genetic algorithm evolutionary computation convolutional neural network optimization CNN DL GA CIFAR10

Relation: https://ecommons.udayton.edu/graduate_theses/1337; http://rave.ohiolink.edu/etdc/view?acc_num=dayton1512662981172387

Διαθεσιμότητα: https://ecommons.udayton.edu/graduate_theses/1337
http://rave.ohiolink.edu/etdc/view?acc_num=dayton1512662981172387

Safe urban growth : an integrated ICT solution for unstandardized and distributed information handling

Συγγραφείς: Agadakos, Yiannis, Makantasis, Konstantinos, Partsinevelos, Panagiotis, Papadakis, Georgios, Doulamis, Anastasios, IEEE 14th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM)

Θεματικοί όροι: City planning -- Technological innovations, City planning -- Information technology, Geographic information systems, System design -- Data processing

Relation: https://www.um.edu.mt/library/oar/handle/123456789/125083

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/125083
https://doi.org/10.1109/WoWMoM.2013.6583498

Measurement Uncertainty Expert (MU-X) : an expert system for the evaluation of the uncertainty of measurements according to the ISO guide document 'Guide to the expression of uncertainty in measurement'

Συγγραφείς: Giardini, Walter.

Θεματικοί όροι: Expert systems (Computer science), Uncertainty (Information theory), System design Data processing

Διαθεσιμότητα: https://doi.org/10.26180/19558666.v1
https://figshare.com/articles/thesis/Measurement_Uncertainty_Expert_MU-X_an_expert_system_for_the_evaluation_of_the_uncertainty_of_measurements_according_to_the_ISO_guide_document_Guide_to_the_expression_of_uncertainty_in_measurement_/19558666

Επιτάχυνση προσομοίωσης με χρήση της τεχνικής FPGA-in-the-Loop

Συγγραφείς: Λουκιανός, Εμμανουήλ Λ.

Συνεισφορές: Ψαράκης, Μιχαήλ

Θεματικοί όροι: Field programmable gate arrays -- Design and construction, System design -- Data processing, Προσομοίωση

Περιγραφή αρχείου: application/pdf

Relation: http://dione.lib.unipi.gr/xmlui/handle/unipi/6366; 621.39'5 ΛΟΥ

Διαθεσιμότητα: http://dione.lib.unipi.gr/xmlui/handle/unipi/6366

DACS: an interactive computer program to aid in the design and analysis of linear control systems

Συγγραφείς: Lewis, W. Ivan

Συνεισφορές: Mechanical Engineering

Θεματικοί όροι: Automatic control, LD5655.V855 1985.L484, Computer simulation, System design -- Data processing

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/10919/76039

Development of a soft error vulnerability analysis framework for FPGA devices

Συγγραφείς: Αγιακάτσικας, Δημήτριος Σ.

Συνεισφορές: Ψαράκης, Μιχαήλ

Θεματικοί όροι: Field programmable gate arrays -- Design and construction, System design -- Data processing, Adaptive computing systems, Integrated circuits

Περιγραφή αρχείου: application/pdf

Relation: http://dione.lib.unipi.gr/xmlui/handle/unipi/6148; 621.39'5 ΑΓΙ

Διαθεσιμότητα: http://dione.lib.unipi.gr/xmlui/handle/unipi/6148

Υλοποίηση του αλγόριθμου ευθυγράμμισης ακολουθίας Smith-Waterman σε ενσωματωμένη πλατφόρμα FPGA

Συγγραφείς: Τζότα, Γεωργία

Συνεισφορές: Ψαράκης, Μιχαήλ

Θεματικοί όροι: Field programmable gate arrays -- Design and construction, System design -- Data processing, Σχεδιασμός συστημάτων, Integrated circuits -- Very large scale integration

Περιγραφή αρχείου: application/pdf

Relation: https://dione.lib.unipi.gr/xmlui/handle/unipi/5863; 621.395 ΤΖΟ

Διαθεσιμότητα: https://dione.lib.unipi.gr/xmlui/handle/unipi/5863

Σχεδιασμός & ανάπτυξη πληροφοριακού συστήματος ασαφούς υποστήριξης απόφασης στην εφαρμογή εναλλακτικών σεναρίων διαχείρισης ενέργειας σε κτίρια

Συγγραφείς: Χριστιάς Παναγιώτης Ν.()

Συνεισφορές: Μη διαθέσιμο, Επιβλέπων: Μη διαθέσιμο

Θεματικοί όροι: Buildings--Energy conservation--Data processing, Buildings--Environmental engineering--Data processing, System design--Data processing, Decision support systems

Περιγραφή αρχείου: application/pdf

Relation: info:eu-repo/grantAgreement/EC/FP7/246686; http://purl.tuc.gr/dl/dias/E42410A9-60F0-4755-9D51-4EFA1DF4B467

Διαθεσιμότητα: http://purl.tuc.gr/dl/dias/E42410A9-60F0-4755-9D51-4EFA1DF4B467