Automated Pipeline Design

Automated Pipeline Design

Show other versions (1)

Bibliographic Details
Main Authors:	Kroening, D, Paul, W
Format:	Conference item
Published:	ACM Press 2001

Similar Items

Automated pipeline design
by: Kroening, D, et al.
Published: (2001)

Proving the Correctness of Pipelined Micro−Architectures
by: Kroening, D, et al.
Published: (2000)

Automated Design of the Deep Neural Network Pipeline
by: Mia Gerber, et al.
Published: (2022-11-01)

Pipeline automation and control
Published: ([197)

Automated pipeline design algorithm with adaptive irrigation of agricultural facilities
by: Polenov Dmitry
Published: (2020-01-01)

Pipeline system automation and control /
by: 171133 Yoon, Mike S., et al.
Published: (2007)

Automation of Machine Learning Pipeline Design by an Ontology as an Integrative Meta-Learning Model
by: Maksim Aliev, et al.
Published: (2024-04-01)

The automated Galaxy-SynBioCAD pipeline for synthetic biology design and engineering
by: Joan Hérisson, et al.
Published: (2022-08-01)

Automated CMR Processing Pipeline for Research and Clinical Routine
by: Fanny Månefjord, MSc, et al.
Published: (2024-01-01)

Automated software for hydraulic simulation of pipeline operation
by: Hurgin Roman
Published: (2018-01-01)

APPIAN: Automated Pipeline for PET Image Analysis
by: Thomas Funck, et al.
Published: (2018-09-01)

The Bacteria Genome Pipeline (BAGEP): an automated, scalable workflow for bacteria genomes with Snakemake
by: Idowu B. Olawoye, et al.
Published: (2020-10-01)

A survey of automated techniques for formal software verification
by: D'Silva, V, et al.
Published: (2008)

A Survey of Automated Techniques for Formal Software Verification.
by: D'Silva, V, et al.
Published: (2008)

A Survey of Automated Techniques for Formal Software Verification
by: D'Silva, V, et al.
Published: (2008)

Automated Pipeline for Infants Continuous EEG (APICE): A flexible pipeline for developmental cognitive studies
by: Ana Fló, et al.
Published: (2022-04-01)

An automated pipeline for the identification of liver tissue in ultrasound video
by: Ockenden, E, et al.
Published: (2025)

Computational based automated pipeline corrosion data assessment /
by: Mazura Mat Din, 1974-, author 599873
Published: (2015)

Computational based automated pipeline corrosion data assessment /
by: Mazura Mat Din, 1974-, author 599873, et al.
Published: (2015)

Automated Trace Clustering Pipeline Synthesis in Process Mining
by: Iuliana Malina Grigore, et al.
Published: (2024-04-01)

Automated Machine Learning Pipeline for Traffic Count Prediction
by: Amirsaman Mahdavian, et al.
Published: (2021-10-01)

A software pipeline for automated wildlife population sampling
by: Peter K. Marsh, et al.
Published: (2023-10-01)

Challenges for the development of automated RNA-seq analyses pipelines
by: Beukers, Matthieu, et al.
Published: (2023-07-01)

An Automated Field Phenotyping Pipeline for Application in Grapevine Research
by: Anna Kicherer, et al.
Published: (2015-02-01)

MetaLab: an automated pipeline for metaproteomic data analysis
by: Kai Cheng, et al.
Published: (2017-12-01)

Auto-Prep: Efficient and Automated Data Preprocessing Pipeline
by: Mehwish Bilal, et al.
Published: (2022-01-01)

Ironsmith: An automated pipeline for QSM-based data analyses
by: Valentinos Zachariou, et al.
Published: (2022-04-01)

An Automated Pipeline for the Analysis of PET Data on the Cortical Surface
by: Arnaud Marcoux, et al.
Published: (2018-12-01)

Breast cancer survival prediction using an automated mitosis detection pipeline
by: Nikolas Stathonikos, et al.
Published: (2024-11-01)

Towards automated bounded model checking of API implementations
by: Neville, D, et al.
Published: (2016)

Automated corroding pipeline assessment using DNV-RP-F101 corroded pipeline (Part A) /
by: Cha, Mei Yuen, 1986-, et al.
Published: (2010)

DSValidator: an automated counterexample reproducibility tool for digital systems
by: Chaves, L, et al.
Published: (2018)

An automated Bayesian pipeline for rapid analysis of single-molecule binding data
by: Carlas S. Smith, et al.
Published: (2019-01-01)

Automated thermal control and monitoring system in u-shape pipeline /
by: Ahmad Faiz Ahmad, 1992-, author, et al.
Published: (2016)

System of automated monitoring and forecasting of the remaining resource of pipeline transport
by: S. O. Gaponenko, et al.
Published: (2024-04-01)

pomBseen: An automated pipeline for analysis of fission yeast images.
by: Makoto Ohira, et al.
Published: (2023-01-01)

Development of the automated temperature control system of the main gas pipeline
by: Vadim Fetisov, et al.
Published: (2023-02-01)

The development of an automated machine learning pipeline for the detection of Alzheimer’s Disease
by: Nicholas Chedid, et al.
Published: (2022-10-01)

Development of an automated imaging pipeline for the analysis of the zebrafish larval kidney.
by: Jens H Westhoff, et al.
Published: (2013-01-01)

An open-source semi-automated robotics pipeline for embryo immunohistochemistry
by: Timothy Fuqua, et al.
Published: (2021-05-01)