Cargando…

Advanced BDD optimization

BDD and SAT are major concepts in VLSI CADNew objective functions for design space exploration require new algorithms for BDD optimizationLatest trend: fusion of the concepts BDD and SATMajor impulses come from Artificial Intelligence (AI)Unifying view, transfers the latest theoretical insights into...

Descripción completa

Detalles Bibliográficos
Autores principales:	Ebendt, Rudiger, Fey, Görschwin, Drechsler, Rolf
Lenguaje:	eng
Publicado:	Springer 2005
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2283225

Ejemplares similares

Optimizing the Microstructure and Corrosion Resistance of BDD Coating to Improve the Service Life of Ti/BDD Coated Electrode
por: Lu, Xin ru, et al.
Publicado: (2019)

Debug automation from pre-silicon to post-silicon
por: Dehbashi, Mehdi, et al.
Publicado: (2015)

Practical Test Automation: Learn to Use Jasmine, RSpec, and Cucumber Effectively for Your TDD and BDD
por: Matsinopoulos, Panos
Publicado: (2020)

Cucumber recipes : automate anything with BDD tools and techniques
por: Dees, Ian, et al.
Publicado: (2014)

In-memory computing: synthesis and optimization
por: Shirinzadeh, Saeideh, et al.
Publicado: (2019)

BDD in action : behavior-driven development for the whole software lifecycle
por: Smart, John Ferguson
Publicado: (2015)

Electrochemical DNA biosensor based on the BDD nanograss array electrode
por: Jin, Huali, et al.
Publicado: (2013)

Flexible Boron-Doped Diamond (BDD) Electrodes for Plant Monitoring
por: Tago, Shoko, et al.
Publicado: (2017)

Evaluation of a specialist service model for treating body dysmorphic disorder (BDD): application of National Institute for Health and Clinical Excellence Guidelines for BDD (NICE, 2006)
por: Govender, Anusha
Publicado: (2021)

Testing Python : applying unit testing, TDD, BDD, and acceptance testing
por: Sale, David
Publicado: (2014)

Simultaneous Voltammetric/Amperometric Determination of Sulfide and Nitrite in Water at BDD Electrode
por: Baciu, Anamaria, et al.
Publicado: (2015)

Cathodically Pretreated AuNPs–BDD Electrode for Detection of Hexavalent Chromium
por: Xu, Yuhao, et al.
Publicado: (2020)

Generating Extended Resolution Proofs with a BDD-Based SAT Solver
por: Bryant, Randal E., et al.
Publicado: (2021)

Untargeted metabolomic analysis of metabolites related to body dysmorphic disorder (BDD)
por: Wang, Yawen, et al.
Publicado: (2023)

Advanced Boolean techniques: selected papers from the 13th international workshop on Boolean problems
por: Drechsler, Rolf, et al.
Publicado: (2019)

Associations between body dysmorphic disorder (BDD) with the dental health component of the index of orthodontic treatment need (IOTN-DHC) and other BDD risk factors in orthodontic patients: A preliminary study
por: Sobouti, Farhad, et al.
Publicado: (2023)

Synergetic effect in water treatment with mesoporous TiO(2)/BDD hybrid electrode
por: Suzuki, Norihiro, et al.
Publicado: (2020)

Comorbidity and therapeutic response of body dysmorphic disorder (BDD) in autism spectrum disorder (ASD)
por: Pedrero, A. Alvarez, et al.
Publicado: (2021)

Electrooxidation Using Nb/BDD as Post-Treatment of a Reverse Osmosis Concentrate in the Petrochemical Industry
por: Wohlmuth da Silva, Salatiel, et al.
Publicado: (2019)

Experimental data on the degradation of caffeine by photo-electro-fenton using BDD electrodes at pilot plant
por: Lopez-Saavedra, Natalia, et al.
Publicado: (2018)

Effect of Carbon Layer Thickness on the Electrocatalytic Oxidation of Glucose in a Ni/BDD Composite Electrode
por: Long, Hangyu, et al.
Publicado: (2023)

Construction of Z-Scheme TiO(2)/Au/BDD Electrodes for an Enhanced Electrocatalytic Performance
por: Zhang, Kai, et al.
Publicado: (2023)

Highly Sensitive Measurement of Bio-Electric Potentials by Boron-Doped Diamond (BDD) Electrodes for Plant Monitoring
por: Ochiai, Tsuyoshi, et al.
Publicado: (2015)

A Novel System to Measure Infants’ Nutritive Sucking During Breastfeeding: the Breastfeeding Diagnostic Device (BDD)
Publicado: (2018)

Induction of ER Stress by an AAV5 BDD FVIII Construct Is Dependent on the Strength of the Hepatic-Specific Promoter
por: Fong, Sylvia, et al.
Publicado: (2020)

Body Dysmorphic Disorder (BDD): Prevalence in the general population of Pakistan and its association with social media usage
por: Azeem, S., et al.
Publicado: (2023)

Body Dysmorphic Disorder Questionnaire-Dermatology Version (BDD-DV): formation and validation of the Polish language version
por: Czernecka, Agnieszka, et al.
Publicado: (2023)

Instant Cucumber BDD how-to: a short and quick guide to mastering behavior-driven software development with Cucumber
por: Ye, Wayne
Publicado: (2013)

Research on the mechanism and reaction conditions of electrochemical preparation of persulfate in a split-cell reactor using BDD anode
por: Zhang, Feng, et al.
Publicado: (2020)

Preparation of a novel poly-(di-ionic liquid)/BDD-modified electrode for the detection of tetrachloro-p-benzoquinone
por: Guo, Yanni, et al.
Publicado: (2023)

Therapist-guided, Internet-based cognitive–behavioural therapy for body dysmorphic disorder (BDD-NET): a feasibility study
por: Enander, Jesper, et al.
Publicado: (2014)

Prevalence of symptoms of body dysmorphic disorder (BDD) and associated features in Swiss military recruits: a self-report survey
por: Drüge, Marie, et al.
Publicado: (2021)

High-Profile VRU Detection on Resource-Constrained Hardware Using YOLOv3/v4 on BDD100K
por: Ortiz Castelló, Vicent, et al.
Publicado: (2020)

Psychometric Evaluation of the Yale-Brown Obsessive-Compulsive Scale Modified for Body Dysmorphic Disorder for Adolescents (BDD-YBOCS-A)
por: Monzani, Benedetta, et al.
Publicado: (2022)

Recent advances in computational optimization: results of the workshop on computational optimization and numerical search and optimization 2018
por: Fidanova, Stefka
Publicado: (2019)

Rapid establishment of a HEK 293 cell line expressing FVIII-BDD using AAV site-specific integration plasmids
por: Liu, Xiaomei, et al.
Publicado: (2014)

Recent advances in computational optimization: results of the workshop on computational optimization WCO 2017
por: Fidanova, Stefka
Publicado: (2018)

Spectral techniques in VLSI CAD
por: Thornton, Mitchell Aaron, et al.
Publicado: (2001)

Graphene Oxide Electroreduced onto Boron-Doped Diamond and Electrodecorated with Silver (Ag/GO/BDD) Electrode for Tetracycline Detection in Aqueous Solution
por: Negrea, Sorina, et al.
Publicado: (2021)

Effect of Persulfate Activation by Electrogenerated H(2)O(2) and Anodic Oxidation on the Color Removal of Dye Solutions at Pt and BDD Anodes
por: Yao, Yifan, et al.
Publicado: (2022)

Cannot write session to /tmp/vufind_sessions/sess_jdmndlhb658k5o6t201do0pp2v