1
Material Type:
Livro
Computational Logistics: 13th International Conference, ICCL 2022, Barcelona, Spain, September 21-23, 2022, Proceedings
de Armas, Jesica ; Ramalhinho, Helena ; Voß, Stefan de Armas, Jesica ; Ramalhinho, Helena ; Voß, Stefan
Cham: Springer International Publishing AG 2022
Sem texto completo
2
Material Type:
Capítulo de Livro
Towards Efficient Data-Flow Test Data Generation
Su, Ting ; Zhang, Chengyu ; Yan, Yichen ; Fan, Lingling ; Liu, Yang ; Fu, Zhoulai ; Su, Zhendong Bowen, Jonathan P. ; Xu, Qiwen ; Li, Qin
Theories of Programming and Formal Methods, p.257-293
[Periódico revisado por pares]
Cham: Springer Nature Switzerland
Sem texto completo
3
Material Type:
Capítulo de Livro
Equivalence Checking of Code Transformation by Numerical and Symbolic Approaches
Sugawara, Shunpei ; Takahashi, Keichi ; Shimomura, Yoichi ; Egawa, Ryusuke ; Takizawa, Hiroyuki Shen, Hong ; Takizawa, Hiroyuki ; Hyuk Park, Jong ; Tian, Hui ; Egawa, Ryusuke ; Hanawa, Toshihiro
Parallel and Distributed Computing, Applications and Technologies, p.373-386
[Periódico revisado por pares]
Cham: Springer Nature Switzerland
Sem texto completo
4
Material Type:
Capítulo de Livro
Automated Synthesis of Software Contracts with KindSpec
Alpuente, María ; Villanueva, Alicia Giacobazzi, Roberto ; Gallagher, John P ; Lopez-Garcia, Pedro ; Gallagher, John P. ; Giacobazzi, Roberto ; Lopez-Garcia, Pedro
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.51-71
[Periódico revisado por pares]
Switzerland: Springer
Sem texto completo
5
Material Type:
Livro
Fundamentals of Trace and Log Analysis: A Pattern-Oriented Approach to Monitoring, Diagnostics, and Debugging
Vostokov, Dmitry
Berkeley, CA: Apress L. P 2023
Sem texto completo
6
Material Type:
Ata de Congresso
Trends in Anode Carbon Production Projects
Santangelo, Derek Tomsett, Alan
Light Metals 2020, p.1174-1175
Cham: Springer International Publishing
Sem texto completo
7
Material Type:
Capítulo de Livro
What is the Natural Abstraction Level of an Algorithm?
Prinz, Andreas Riccobene, Elvinia ; Schewe, Klaus-Dieter ; Raschke, Alexander ; Riccobene, Elvinia ; Schewe, Klaus-Dieter ; Raschke, Alexander
Logic, Computation and Rigorous Methods, 2021, Vol.12750, p.199-214
[Periódico revisado por pares]
Switzerland: Springer International Publishing AG
Sem texto completo
8
Material Type:
Capítulo de Livro
The Dpex-Framework: Towards Full WFMS Support for Decentralized Process Execution
Sturm, Christian ; Jablonski, Stefan Burattin, Andrea ; Di Francescomarino, Chiara ; Sadiq, Shazia ; Janiesch, Christian
Business Process Management Forum, p.20-37
Cham: Springer Nature Switzerland
Sem texto completo
9
Material Type:
Capítulo de Livro
Dynamic Group Convolution for Accelerating Convolutional Neural Networks
Su, Zhuo ; Fang, Linpu ; Kang, Wenxiong ; Hu, Dewen ; Pietikäinen, Matti ; Liu, Li Bischof, Horst ; Frahm, Jan-Michael ; Brox, Thomas ; Vedaldi, Andrea ; Brox, Thomas ; Frahm, Jan-Michael ; Bischof, Horst ; Vedaldi, Andrea
Computer Vision - ECCV 2020, 2020, Vol.12351, p.138-155
[Periódico revisado por pares]
Switzerland: Springer International Publishing AG
Sem texto completo
10
Material Type:
Capítulo de Livro
Diorthotis: A Parallel Batch Evaluator for Programming Assignments
Karakasidis, Alexandros Fürlinger, Karl ; Zeinalipour, Demetris ; Blanco Heras, Dora ; Diehl, Patrick ; Cojean, Terry ; Kirkeby, Maja Hanne ; Di Sanzo, Pierangelo ; Herodotou, Herodotos ; Nardelli, Matteo ; Trihinas, Demetris ; Pallis, George ; Balouek, Daniel
Euro-Par 2023: Parallel Processing Workshops, p.215-218
[Periódico revisado por pares]
Cham: Springer Nature Switzerland
Sem texto completo