Výsledky vyhľadávania - acm: b.: hardware/b.6: logic design/b.6.3: design cad/b.6.3.0: automatisation synthesis~

Easy SoC design with VC1 SystemC adapters.

Autori: Ouadjaout, S. Houzet, D.

Zdroj: Euromicro Symposium on Digital System Design, 2004. DSD 2004; 2004, p316-323, 8p

Place and route for mixed signal CMOS circuit

Autori: Lao, Eric STAR, ABES

Prispievatelia: Lao, Eric STAR, ABES

Predmety: Circuits intégrés, [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], Automatisation, Layout, Circuits mixtes, CAD Tools, Outils de CAO, Intergrated signal, Dessin des masques, Placement routage, Global analog routing, Automation, Placement analogique, Place and route, Mixed signal, Analog Placement, Routage global analogique

Popis súboru: application/pdf

Prístupová URL adresa: https://theses.hal.science/tel-02924679v1

Place and route for mixed signal CMOS circuit ; Placement et routage de circuits mixtes analogiques-numériques CMOS

Autori: Lao, Eric Circuits Intégrés Numériques et Analogiques (CIAN) LIP6 a ďalší

Prispievatelia: Lao, Eric Circuits Intégrés Numériques et Analogiques (CIAN) LIP6 a ďalší

Zdroj: https://theses.hal.science/tel-02924679 ; Architectures Matérielles [cs.AR]. Sorbonne Université, 2018. Français. ⟨NNT : 2018SORUS575⟩.

Predmety: Intergrated signal, Automation, Analog Placement, Global analog routing, Mixed signal, Place and route, Layout, CAD Tools, Automatisation, Placement analogique, Routage global analogique, Circuits intégrés, Circuits mixtes, Placement routage, Dessin des masques, Outils de CAO, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]

Relation: NNT: 2018SORUS575

Dostupnosť: https://theses.hal.science/tel-02924679
https://theses.hal.science/tel-02924679v1/document
https://theses.hal.science/tel-02924679v1/file/LAO_Eric_these_2018.pdf

Quantum computing hardware in the cloud: Should a computational chemist care?

Autori: Rossi, Alessandro Baity, Paul G. Schäfer, Vera M. a ďalší

Zdroj: International Journal of Quantum Chemistry; 7/15/2021, Vol. 121 Issue 14, p1-15, 15p

Predmety: QUANTUM computing, QUANTUM computers, CLOUD computing, ION traps, CHEMISTS

KNOWLEDGE-DRIVEN DESIGN FOR ADDITIVE MANUFACTURING: A FRAMEWORK FOR DESIGN ADAPTATION.

Autori: Schaechtl, Paul Goetz, Stefan Schleich, Benjamin a ďalší

Zdroj: Proceedings of the Design Society; Jul2023, Vol. 3, p2405-2414, 10p

Predmety: THREE-dimensional printing, MANUFACTURED products, TECHNOLOGICAL innovations, DESIGN & technology, GUIDELINES

Near-linear wirelength estimation for FPGA placement.

Alternate Title: Évaluation quasi-linéaire de Ia Iongueur do fil pour placement sur FPGA. (French)

Autori: Xu, M. Grewal, G. Areibi, S. a ďalší

Zdroj: Canadian Journal of Electrical & Computer Engineering; Summer2009, Vol. 34 Issue 3, p125-132, 8p

Predmety: INTEGRATED circuits, WIRE, ESTIMATION theory, LENGTH measurement, FIELD programmable gate arrays, CRITICAL path analysis

Automation of the conversion of an aeronautical CAD model in a CAM model : software prototype in the framework of the USIQUICK Project

Autori: Derigent, William UL, Thèses

Prispievatelia: Derigent, William UL, Thèses

Predmety: Gammes d'usinage-Automatisation, [SPI.OTHER] Engineering Sciences [physics]/Other, CFAO, Systèmes de, Industrie aéronautique, Avions -- Conception et construction

Prístupová URL adresa: https://hal.univ-lorraine.fr/tel-01746653v1

Book of Abstracts ESMRMB 2024 Online 40th Annual Scientific Meeting 2–5 October 2024.

Zdroj: MAGMA: Magnetic Resonance Materials in Physics, Biology & Medicine; 2024 Suppl 1, Vol. 37, p1-781, 781p

Predmety: MAGNETIC resonance imaging, FOCAL cortical dysplasia, PHYSICAL & theoretical chemistry, DIFFUSION tensor imaging, DIFFUSION magnetic resonance imaging, POLYMERSOMES, ISLANDS of Langerhans, SEASHELLS

Methodology for automation studies and for automatic generation of safety Programmable Logic Controller code ; Méthodologie pour les études d’automatisation et la génération automatique de programmes Automates Programmables Industrielssûrs de fonctionnement. Application aux Equipements d’Alimentation des Lignes Électrifiées

Autori: Coupat, Raphaël Reims Riera, Bernard

Prispievatelia: Coupat, Raphaël Reims Riera, Bernard

Zdroj: Theses.fr

Predmety: Systèmes à Evénements Discrets, Commande sûre de fonctionnement, Génération de code API, Modélisation de Domaine Spécifique, Système Homme-Machine, Discrete Event System, Safety control, PLC code generation, Domain Specific Modeling, Human-Machine Interface, archi, manag

Relation: 10670/1.02cl2f; http://www.theses.fr/2014REIMS019/document

Dostupnosť: http://www.theses.fr/2014REIMS019/document

PROCESSUS D’AUTOMATISATION DES MARCHÉS FINANCIERS.

Alternate Title: Financial Markets Automation. (English)

Autori: THOUILLEZ, Thomas

Zdroj: Marché et Organisations; 2024, Issue 49, p39-65, 27p

Predmety: FINANCIAL markets, AUTOMATION, ALGORITHMIC trading (Securities), MICROSTRUCTURE, SECURITIES trading, INFORMATION technology, STOCKBROKERS, BUSINESS models

Canadian Associations. (English)

Zdroj: Associations Canada; 2024, Issue 45, p1-1462, 1462p

Canadian Associations.

Zdroj: Associations Canada; 2021, Issue 42, p1-1493, 1493p

Méthodologie pour les études d'automatisation et la génération automatique de programmes Automates Programmables Industrielssûrs de fonctionnement. Application aux Equipements d'Alimentation des Lignes Électrifiées

Methodology for automation studies and for automatic generation of safety Programmable Logic Controller code

Autori: Coupat, Raphaël

Thesis Advisors: Reims, Riera, Bernard

Predmety: Systèmes à Evénements Discrets, Commande sûre de fonctionnement, Génération de code API, Modélisation de Domaine Spécifique, Système Homme-Machine, Discrete Event System, Safety control, PLC code generation, Domain Specific Modeling, Human-Machine Interface

Dostupnosť: http://www.theses.fr/2014REIMS019/document

PLD implementation of control algorithms: design and validation [power electronics].

Autori: Carmeli, S. Lazzaroni, M. Monti, A.

Zdroj: ISCAS '98 Proceedings of the 1998 IEEE International Symposium on Circuits & Systems (Cat No98CH36187); 1998, Issue 3, p514-514, 1p

A design flow to automatically Generate on chip monitors during high-level synthesis of Hardware accelarators

Un flot de conception pour générer automatiquement des moniteurs sur puce pendant la synthèse de haut niveau d'accélérateurs matériels

Autori: Ben Hammouda, Mohamed

Thesis Advisors: Brest, Lagadec, Loïc

Predmety: Synthèse de haut niveau (HLS), Accélérateur matériel (HWAcc), Moniteur sur puce (OCM), Propriétés, Flot de contrôle, Erreurs, High-Level Synthesis (HLS), Hardware Accelerator (HWacc), On-Chip Monitor (OCM), Assertions, Control Flow, Errors

Dostupnosť: http://www.theses.fr/2014BRES0115/document

A new functional approach for a geometrical assistance during the first stages of product design

Autori: Pallez, Denis

Prispievatelia: Pallez, Denis

Predmety: synthèse de forme, génération automatique de la forme, functional design, CAD, shape synthesis, conception fonctionnelle assistée, [INFO] Computer Science [cs], CAO

Popis súboru: application/pdf

Prístupová URL adresa: https://theses.hal.science/tel-00266453v1

CAD – Automatisation in der Bauplanung

Autori: Klaus Hüttner

Zdroj: CAD: Architektur automatisch? ISBN: 9783035600957
CAD: Architektur automatisch? ISBN: 9783528087760

Prístupová URL adresa: http://link.springer.com/content/pdf/10.1007%2F978-3-322-88859-4_15.pdf
http://link.springer.com/chapter/10.1007/978-3-322-88859-4_15

A SOA-Based Engineering Process Model for the Life Cycle Management of System-of-Systems in Industry 4.0.

Autori: Urgese, Gianvito Azzoni, Paolo van Deventer, Jan a ďalší

Zdroj: Applied Sciences (2076-3417); Aug2022, Vol. 12 Issue 15, p7730-7730, 22p

Predmety: LIFE cycles (Biology), ENGINEERING models, PRODUCTION engineering, INDUSTRY 4.0, VALUE chains, VALUE engineering, REQUIREMENTS engineering

Proof Automation for Atelier B Rules Verification ; Automatisation des preuves pour la vérification des règles de l'Atelier B

Autori: Jacquel, Mélanie Centre d'études et de recherche en informatique et communications (CEDRIC) Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers Cnam (Cnam) a ďalší

Prispievatelia: Jacquel, Mélanie Centre d'études et de recherche en informatique et communications (CEDRIC) Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers Cnam (Cnam) a ďalší

Zdroj: https://theses.hal.science/tel-00840484 ; Logique en informatique [cs.LO]. Conservatoire national des arts et metiers - CNAM, 2013. Français. ⟨NNT : 2013CNAM0860⟩.

Predmety: Verification, Automated Theorem Proving, Superdéduction, B Method, Atelier B Rules, Zenon, Déduction automatique, Coq, Règles de l'Atelier B, Méthode B, Vérification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: NNT: 2013CNAM0860

Dostupnosť: https://theses.hal.science/tel-00840484
https://theses.hal.science/tel-00840484v1/document
https://theses.hal.science/tel-00840484v1/file/ThA_se_-_JACQUEL_-_MA_lanie.pdf

Index.

Autori: Nof, Shimon Y.

Zdroj: Handbook of Industrial Robotics; 1999, p1319-1348, 30p