Did you mean: optimization

search result

Cover von Benchmarking, Measuring, and Optimizing
16th BenchCouncil International Symposium, Bench 2024, Guangzhou, China, December 4-6, 2024, Revised Selected Papers
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15519
Media group: MONOGRAPHIE
Cover von Optimizing Layout of Recursive Datatypes with Marmoset

Optimizing Layout of Recursive Datatypes with Marmoset

Or, Algorithms {+} Data Layouts {=} Efficient Programs
Author: Rainey, Mike; Newton, Ryan R.; Kulkarni, Milind
Year: 2024
Media group: LIPIcs
Cover von Benchmarking, Measuring, and Optimizing
15th BenchCouncil International Symposium, Bench 2023, Sanya, China, December 3 - 5, 2023, Revised Selected Papers
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14521
Media group: MONOGRAPHIE
Cover von Optimizing proof search by machine learning techniques
Author: Kolbe, Thomas Search for this author
Year: 1997
Publisher: Aachen, Shaker
Series: Berichte aus der Informatik
Media group: DISSERTATION
Cover von Benchmarking, Measuring, and Optimizing
14th BenchCouncil International Symposium, Bench 2022, Virtual Event, November 7 - 9, 2022, Revised Selected Papers
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13852
Media group: MONOGRAPHIE
Cover von Optimizing Quantum Circuit Parameters via SDP

Optimizing Quantum Circuit Parameters via SDP

Year: 2022
Media group: LIPIcs
Cover von Benchmarking, Measuring, and Optimizing
Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15 - 16, 2020, Revised Selected Papers
Search for this author
Year: 2021
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12614
Media group: MONOGRAPHIE
Cover von Benchmarking, Measuring, and Optimizing
Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14 - 16, 2019, Revised Selected Papers
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12093
Media group: MONOGRAPHIE
Cover von Optimizing Train Stopping Patterns for Congestion Management

Optimizing Train Stopping Patterns for Congestion Management

Year: 2017
Media group: OASICS
Cover von Optimizing Traffic Signal Timings for Mega Events

Optimizing Traffic Signal Timings for Mega Events

Year: 2016
Media group: OASICS
OPEN V 11.1.0.0