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

Authors: Roffe Samaniego, Norma Frida

Subject Terms: 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)

File Description: Texto; application/pdf

Access URL: https://hdl.handle.net/11285/648388

Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis

Authors: Puri, Disha, Ray, Sandip, Hao, Kecheng, Xie, Fei

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

Subject Terms: 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)

File Description: application/pdf

Access URL: http://arxiv.org/pdf/1406.1562
http://arxiv.org/abs/1406.1562
https://doaj.org/article/7e73fa9873b84d0a82280fcfbb0701bc

Integrating Artificial Intelligence With Design

Authors: Sabyasachi Pramanik, Ankur Gupta, Rohit Anand, Sandip Roy, Rajesh Bose

Resource Type: eBook.

Subjects: Product design--Data processing, System design--Data processing, Industrial design--Data processing, Artificial intelligence--Industrial applications

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Design, Graphics & Media / General, DESIGN / General

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

Authors: Paulino, Patrick Roniel M.

Source: Computer Technology Master's Theses

Subject Terms: System design—Data processing, Electronic data processing, Computer security, Data protection, Information Security

File Description: 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

Availability: 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

Authors: Abhaya Kumar Sahoo

Resource Type: eBook.

Subjects: 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

Authors: Wang Jianhong, Ricardo A. Ramirez-Mendoza, Ruben Morales-Menendez

Resource Type: eBook.

Subjects: System design--Data processing, Automatic control--Data processing, Systems engineering--Data processing

Categories: MATHEMATICS / Optimization

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

Authors: David Patterson, John LeRoy Hennessy

Resource Type: eBook.

Subjects: 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

Contributors: Ng, Suk Fung., Chinese University of Hong Kong Graduate School. Division of Systems Engineering and Engineering Management.

Subject Terms: System design--Data Processing, Industrial location--Mathematical models, Graph theory, Heuristic programming

File Description: electronic resource; remote; microform; microfiche; 1 online resource (xiv, 222 p. : ill.)

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

Availability: 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

Authors: Carlo Novara, Simone Formentin

Resource Type: eBook.

Subjects: 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

Authors: David A. Patterson, John L. Hennessy

Resource Type: eBook.

Subjects: 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

Authors: Julia Seiter, Robert Wille, Rolf Drechsler

Resource Type: eBook.

Subjects: System design--Data processing

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

Rechnerorganisation und Rechnerentwurf : Die Hardware/Software-Schnittstelle

Authors: David Patterson, John LeRoy Hennessy

Resource Type: eBook.

Subjects: 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

Authors: Martell, Patrick Keith

Source: Graduate Theses and Dissertations

Subject Terms: 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

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

Convolutional neural network optimization using genetic algorithms

Authors: Reiling, Anthony Joseph

Source: Graduate Theses and Dissertations

Subject Terms: 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

Availability: 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

Authors: Agadakos, Yiannis, Makantasis, Konstantinos, Partsinevelos, Panagiotis, Papadakis, Georgios, Doulamis, Anastasios, IEEE 14th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM)

Subject Terms: 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

Availability: 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'

Authors: Giardini, Walter.

Subject Terms: Expert systems (Computer science), Uncertainty (Information theory), System design Data processing

Availability: 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

Authors: Λουκιανός, Εμμανουήλ Λ.

Contributors: Ψαράκης, Μιχαήλ

Subject Terms: Field programmable gate arrays -- Design and construction, System design -- Data processing, Προσομοίωση

File Description: application/pdf

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

Availability: 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

Authors: Lewis, W. Ivan

Contributors: Mechanical Engineering

Subject Terms: Automatic control, LD5655.V855 1985.L484, Computer simulation, System design -- Data processing

File Description: application/pdf

Access URL: http://hdl.handle.net/10919/76039

Development of a soft error vulnerability analysis framework for FPGA devices

Authors: Αγιακάτσικας, Δημήτριος Σ.

Contributors: Ψαράκης, Μιχαήλ

Subject Terms: Field programmable gate arrays -- Design and construction, System design -- Data processing, Adaptive computing systems, Integrated circuits

File Description: application/pdf

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

Availability: http://dione.lib.unipi.gr/xmlui/handle/unipi/6148

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

Authors: Τζότα, Γεωργία

Contributors: Ψαράκης, Μιχαήλ

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

File Description: application/pdf

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

Availability: https://dione.lib.unipi.gr/xmlui/handle/unipi/5863