101
Verification and Evaluation of Computer and Communication Systems [E-Book] : 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings /

Full text 
Favorites
Saved in:
102
Progress in Artificial Intelligence and Pattern Recognition [E-Book] : 8th International Congress on Artificial Intelligence and Pattern Recognition, IWAIPR 2023, Varadero, Cuba, September 27-29, 2023, Proceedings /

Full text 
Favorites
Saved in:
103
Model and Data Engineering [E-Book] : 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings /

Full text 
Favorites
Saved in:
104
Advances in Computer Graphics [E-Book] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part IV /
Bi, Lei
2024

Full text 
Favorites
Saved in:
105
Pattern Recognition and Computer Vision [E-Book] : 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part I /

Full text 
Favorites
Saved in:
106
Pattern Recognition and Computer Vision [E-Book] : 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part II /

Full text 
Favorites
Saved in:
107
Recommender Systems [E-Book] : Frontiers and Practices /

Full text 
Favorites
Saved in:
108
Pattern Recognition and Computer Vision [E-Book] : 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XII /

Full text 
Favorites
Saved in:
109
Advances in Computer Graphics [E-Book] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28-September 1, 2023, Proceedings, Part II /
Bi, Lei
2024

Full text 
Favorites
Saved in:
110
Pattern Recognition and Computer Vision [E-Book] : 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VIII /

Full text 
Favorites
Saved in:
111
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II /
Table of Contents: “... Embedded Systems modeled in SystemC -- Automatically Enforcing Rust Trait Properties -- Borrowable Fractional Ownership Types for Verification -- Runtime Verification -- TP-DejaVu: Combining Operational and Declarative Runtime Verification -- Synthesizing...”

Full text 
Favorites
Saved in:
112
Verification, Model Checking, and Abstract Interpretation [E-Book] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I /

Full text 
Favorites
Saved in:
113
Web and Internet Economics [E-Book] : 19th International Conference, WINE 2023, Shanghai, China, December 4-8, 2023, Proceedings /

Full text 
Favorites
Saved in:
114
Distributed Computing and Intelligent Technology [E-Book] : 20th International Conference, ICDCIT 2024, Bhubaneswar, India, January 17-20, 2024, Proceedings /

Full text 
Favorites
Saved in:
115
Information Security Applications [E-Book] : 24th International Conference, WISA 2023, Jeju Island, South Korea, August 23-25, 2023, Revised Selected Papers /
Kim, Howon
2024
Table of Contents: “... Implementation of the Classic McEliece on ARMv8 processors -- Evaluating KpqC Algorithm Submissions: A Balanced and Clean Benchmarking Approach....”

Full text 
Favorites
Saved in:
116
Edge Computing - EDGE 2023 [E-Book] : 7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings /
Feng, Jun
2024
Table of Contents: “...Research and Application of Low Voltage Distributed Power Supply Control System -- Optimized Edge-cCCN Based Model for the Detection of DDoS Attack in IoT Environment -- RuCIL: Enabling Privacy-Enhanced Edge Computing for Federated Learning -- Designing...”

Full text 
Favorites
Saved in:
117
Internet of Things - ICIOT 2023 [E-Book] : 8th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings /

Full text 
Favorites
Saved in:
118
Advances in Computer Graphics [E-Book] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part I /
Bi, Lei
2024

Full text 
Favorites
Saved in:
119
Programming Heterogeneous Hardware via Managed Runtime Systems [E-Book] /

Full text 
Favorites
Saved in:
120
Advances in Computer Graphics [E-Book] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28 - September 1, 2023, Proceedings, Part III /
Bi, Lei
2024

Full text 
Favorites
Saved in:

Narrow Search Results