المؤلفون: De Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/2407.14572

المؤلفون: De Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/2407.14159

المؤلفون: De Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/2406.09099

المؤلفون: De Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/2405.21009

المؤلفون: De Palma, Giuseppe, Giallorenzo, Saverio, Laneve, Cosimo, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

المصدر: EPTCS 392, 2023, pp. 40-52

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2310.20391

المؤلفون: de Palma, Giuseppe, Giallorenzo, Saverio, Laneve, Cosimo, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

المساهمون: Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Fondements opérationnels, logiques et algébriques des systèmes logiciels (OLAS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)-Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), University of Southern Denmark (SDU), ANR-23-CE25-0012,SmartCloud,Adaptivité Dynamique Intelligente pour les Systèmes de Cloud Computing(2023)

المصدر: ISSN: 1433-2779.

مصطلحات موضوعية: Scheduling, Serverless, Cost Equations, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

الاتاحة: https://hal.science/hal-04887650
https://hal.science/hal-04887650v1/document
https://hal.science/hal-04887650v1/file/sttt2024.pdf
https://doi.org/10.1007/s10009-024-00776-9

المؤلفون: De Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/2205.10176

المؤلفون: de Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

المساهمون: Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Fondements opérationnels, logiques et algébriques des systèmes logiciels (OLAS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)-Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), University of Southern Denmark (SDU), ANR-23-CE25-0012,SmartCloud,Adaptivité Dynamique Intelligente pour les Systèmes de Cloud Computing(2023)

المصدر: Lecture Notes in Computer Science ; COORDINATION 2024 - 26th IFIP WG 6.1 International Conference on Coordination Models and Languages - 26th IFIP WG 6.1 International Conference ; https://inria.hal.science/hal-04826364 ; COORDINATION 2024 - 26th IFIP WG 6.1 International Conference on Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, Jun 2024, Groningen, Netherlands. pp.201-218, ⟨10.1007/978-3-031-62697-5_11⟩ ; https://link.springer.com/book/10.1007/978-3-031-62697-5

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: Groningen, Netherlands

الاتاحة: https://inria.hal.science/hal-04826364
https://inria.hal.science/hal-04826364v1/document
https://inria.hal.science/hal-04826364v1/file/coordination2024.pdf
https://doi.org/10.1007/978-3-031-62697-5_11

المؤلفون: Asperti, Andrea, Trentin, Matteo

مصطلحات موضوعية: Computer Science - Neural and Evolutionary Computing, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2002.07514

المؤلفون: Palma, Giuseppe De, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

المساهمون: Palma, Giuseppe De, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

مصطلحات موضوعية: Cloud computing, Functions-as-a-Service, Formal methods

وصف الملف: STAMPA

Relation: volume:25; issue:6; firstpage:94; lastpage:99; numberofpages:6; journal:IT PROFESSIONAL; https://hdl.handle.net/11585/955211; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85183973339; https://ieeexplore.ieee.org/document/10411728

الاتاحة: https://hdl.handle.net/11585/955211
https://doi.org/10.1109/MITP.2023.3333071
https://ieeexplore.ieee.org/document/10411728

المؤلفون: De Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

المساهمون: Giuseppe De Palma and Saverio Giallorenzo and Jacopo Mauro and Matteo Trentin and Gianluigi Zavattaro

مصطلحات موضوعية: Serverless, Function Scheduling, Declarative Languages, Tutorial

وصف الملف: application/pdf

Relation: Is Part Of OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)

الاتاحة: https://doi.org/10.4230/OASIcs.Microservices.2020-2022.5
https://nbn-resolving.org/urn:nbn:de:0030-drops-194671
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Microservices.2020-2022.5

المؤلفون: De Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

المساهمون: De Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

مصطلحات موضوعية: Serverless, Scheduling, Topology-awareness

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-1-6654-8143-4; info:eu-repo/semantics/altIdentifier/wos/WOS:000873111600038; ispartofbook:2022 IEEE International Conference on Web Services (ICWS); IEEE International Conference on Web Services; firstpage:337; lastpage:342; numberofpages:6; https://hdl.handle.net/11585/894726; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85139232084; https://ieeexplore.ieee.org/document/9885760

الاتاحة: https://hdl.handle.net/11585/894726
https://doi.org/10.1109/ICWS55610.2022.00056
https://ieeexplore.ieee.org/document/9885760

المؤلفون: De Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

المصدر: De Palma , G , Giallorenzo , S , Mauro , J , Trentin , M & Zavattaro , G 2023 , ' Formally Verifying Function Scheduling Properties in Serverless Applications ' , IT Professional , vol. 25 , no. 6 , pp. 94-99 . https://doi.org/10.1109/mitp.2023.3333071

وصف الملف: application/pdf

الاتاحة: https://portal.findresearcher.sdu.dk/da/publications/6d98c9d4-1fe7-4f49-a803-bff35df2263c
https://doi.org/10.1109/mitp.2023.3333071
https://findresearcher.sdu.dk/ws/files/256786712/Formally_Verifying_Function_Scheduling_Properties_in_Serverless_Applications.pdf

المؤلفون: De Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

المصدر: IEEE Internet Computing ; page 1-8 ; ISSN 1089-7801 1941-0131

الاتاحة: https://doi.org/10.1109/mic.2024.3513035
http://xplorestaging.ieee.org/ielx8/4236/5226613/10787384.pdf?arnumber=10787384

المؤلفون: DE PALMA, GIUSEPPE, GIALLORENZO, SAVERIO, ZAVATTARO, GIANLUIGI, Mauro, Jacopo, Trentin, Matteo

Relation: https://doi.org/10.5281/zenodo.10786291; https://doi.org/10.5281/zenodo.10786292; oai:zenodo.org:10786292

الاتاحة: https://doi.org/10.5281/zenodo.10786292

المؤلفون: Giuseppe De Palma and Saverio Giallorenzo and Jacopo Mauro and Matteo Trentin and Gianluigi Zavattaro, De Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

مصطلحات الفهرس: Serverless, Function Scheduling, Declarative Languages, Tutorial, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Microservices.2020-2022.5
Is Part Of OASIcs, Volume 111, Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020/2022)

المؤلفون: De Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

الاتاحة: http://dx.doi.org/10.2139/ssrn.4789486

المؤلفون: Trentin, Matteo

المساهمون: Asperti, Andrea

مصطلحات موضوعية: Variational Autoencoder,Deep learning,Fréchet Inception Distance,Two-Stage VAE,Reti neurali, Informatica [L-DM270]

وصف الملف: application/pdf

Relation: http://amslaurea.unibo.it/19138/1/Tesi_Trentin.pdf; Trentin, Matteo (2019) Estensione a due stadi di modelli VAE per la generazione di immagini. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

الاتاحة: http://amslaurea.unibo.it/19138/
http://amslaurea.unibo.it/19138/1/Tesi_Trentin.pdf

المؤلفون: De Palma, Giuseppe, Giallorenzo, Saverio, Mauro, Jacopo, Trentin, Matteo, Zavattaro, Gianluigi

الاتاحة: http://dx.doi.org/10.2139/ssrn.4591771

المؤلفون: Trentin, Matteo

المساهمون: Gubitta, Paolo

مصطلحات موضوعية: resilienza, Settore SECS-P/10 - Organizzazione Aziendale

وصف الملف: application/pdf

Relation: 2021-07; http://hdl.handle.net/20.500.12608/22238

الاتاحة: https://hdl.handle.net/20.500.12608/22238