„Compilers“
Suchergebnisse
10.000+ Treffer
-
GUITARES: graph attention network for building knowledge graph-based trust-aware recommender systems
-
Spatiotemporal graph learning driven by multivariate KAN for urban road network traffic prediction
-
Quantum-resilient security for 6G networks: a comprehensive survey on challenges, solutions, and research opportunities
-
Hierarchy aware-based multi-task learning for user location prediction
-
LMF-Net: a Mamba-based enhancement network for low-light object detection
-
Exploring AI and quantum computing synergies in holographic counterpart frameworks for IoT security and privacy
-
Euro-Par 2018: Parallel Processing Workshops – Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers
-
Automated Technology for Verification and Analysis – 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
-
Euro-Par 2018: Parallel Processing – 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings
-
Principles of Modeling – Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
-
Reliable Software Technologies – Ada-Europe 2017 – 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
-
Euro-Par 2017: Parallel Processing – 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings
-
Theory and Applications of Formal Argumentation – 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
-
Euro-Par 2017: Parallel Processing Workshops – Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers
-
Graph Transformation, Specifications, and Nets – In Memory of Hartmut Ehrig
-
Programming Languages and Systems – 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
-
Hardware and Software: Verification and Testing – 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
-
Critical Systems: Formal Methods and Automated Verification – Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
-
Advanced Parallel Processing Technologies – 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings
-
Rules and Reasoning – International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings