Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Fadil Kallat"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 301, Iss Proc. PxTP 2019, Pp 51-65 (2019)
We introduce an approach that aims to combine the usage of satisfiability modulo theories (SMT) solvers with the Combinatory Logic Synthesizer (CL)S framework. (CL)S is a tool for the automatic composition of software components from a user-specified
Externí odkaz:
https://doaj.org/article/9136cd5bcbe0401ab50c41c736710019
Autor:
Alexander Mages, Carina Mieth, Jens Hetzler, Fadil Kallat, Jakob Rehof, Christian Riest, Tristan Schafer
Publikováno v:
2022 Winter Simulation Conference (WSC).
Publikováno v:
Procedia CIRP. 104:1440-1445
Simulations are a common tool in the warehouse planning and adoption process for evaluating and comparing variants of a storage system. But simulation modeling is a complex and time-consuming task. Due to limited resources, often not all possible sys
Publikováno v:
Procedia CIRP
There is a high degree of flexibility in the design of production systems when it comes to the selection and configuration of machines. Simulation supports this complex decision process. However, modeling various configurations in a simulation enviro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::08dd7556b7d74e5a6ba0c33747d96b24
https://publica.fraunhofer.de/handle/publica/267511
https://publica.fraunhofer.de/handle/publica/267511