A Minimal Core Calculus for Solidity Contracts
2019-01-01 Bartoletti, M.; Galletta, L.; Murgia, M.
Sinkless Orientation Made Simple
2023-01-01 Balliu, Alkida; Korhonen, Janne H.; Kuhn, Fabian; Lievonen, Henrik; Olivetti, Dennis; Pai, Shreyas; Paz, Ami; Rybicki, Joel; Schmid, Stefan; Studený, Jan; Suomela, Jukka; Uitto, Jara
Distributed Maximal Matching and Maximal Independent Set on Hypergraphs
2023-01-01 Balliu, Alkida; Brandt, Sebastian; Kuhn, Fabian; Olivetti, Dennis
Optimal Deterministic Massively Parallel Connectivity on Forests
2023-01-01 Balliu, Alkida; Latypov, Rustam; Maus, Yannic; Olivetti, Dennis; Uitto, Jara
Exponential Speedup over Locality in MPC with Optimal Memory
2022-01-01 Balliu, Alkida; Brandt, Sebastian; Fischer, Manuela; Latypov, Rustam; Maus, Yannic; Olivetti, Dennis; Uitto, Jara
Efficient Classification of Locally Checkable Problems in Regular Trees
2022-01-01 Balliu, Alkida; Brandt, Sebastian; Chang, Yi-Jun; Olivetti, Dennis; Studený, Jan; Suomela, Jukka
Preliminary results of a survey on the use of self-adaptation in industry
2022-01-01 Weyns, Danny; Gerostathopoulos, Ilias; Abbas, Nadeem; Andersson, Jesper; Biffl, Stefan; Brada, Premek; Bures, Tomas; Di Salle, Amleto; Lago, Patricia; Musil, Angelika; Musil, Juergen; Pelliccione, Patrizio
Significance of Continuous Compliance in Automotive
2022-01-01 Shahrokni, Ali; Pelliccione, Patrizio
Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes
2022-01-01 Lima, Keila; Nguyen, Ngoc-Thanh; Heldal, Rogardt; Knauss, Eric; Oyetoyan, Tosin Daniel; Pelliccione, Patrizio; Kristensen, Lars Michael
Quality Metrics in Software Architecture
2023-01-01 Silva, Samira; Tuyishime, Adiel; Santilli, Tiziano; Pelliccione, Patrizio; Iovino, Ludovico
Standardisation in Digital Twin Architectures in Manufacturing
2023-01-01 Ferko, Enxhi; Bucaioni, Alessio; Pelliccione, Patrizio; Behnam, Moris
JSIMutate: understanding performance results through mutations
2022-01-01 Laurent, Thomas; Arcaini, Paolo; Trubiani, Catia; Ventresque, Anthony
Performance Modeling and Analysis of Design Patterns for Microservice Systems
2023-01-01 Pinciroli, Riccardo; Aleti, Aldeida; Trubiani, Catia
Proceedings of the Event IPSP2018
2019-01-01 Bazzanella, D.; Colombi, S.; Franchi, R.; Nardin, A.; Nespolo, J.; Salvagni, M.; Scalet, M.; Tubini, and N.; Amelio, I.; Di Giovanni, M.; Endrizzi, M.; Huber, S.; Scappini, D.; Haghani, A. Saha and R.; Bisadi, Z.; Celli, M.; Lafirenze, S. J. A.; Puglia, C.; Singh, M.; Vecchi, C.; Villa, S.
Batch: Machine learning inference serving on serverless platforms with adaptive batching
2020-01-01 Ali, Ahsan; Pinciroli, Riccardo; Yan, Feng; Smirni, Evgenia
On Model-Based Performance Analysis of Collective Adaptive Systems
2022-01-01 Murgia, Maurizio; Pinciroli, Riccardo; Trubiani, Catia; Tuosto, Emilio
Optimal population mix in pool depletion systems with two-class workload
2017-01-01 Cerotti, D.; Gribaudo, M.; Pinciroli, R.; Serazzi, G.
Capacity Planning of Fog Computing Infrastructures for Smart Monitoring
2018-01-01 Pinciroli, Riccardo; Gribaudo, Marco; Roveri, Manuel; Serazzi, Giuseppe
CEDULE: A scheduling framework for burstable performance in cloud computing
2018-01-01 Ali, A.; Pinciroli, R.; Yan, F.; Smirni, E.
Modeling power consumption in multicore CPUs with multithreading and frequency scaling
2015-01-01 Cerotti, D.; Gribaudo, M.; Piazzolla, P.; Pinciroli, R.; Serazzi, G.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Minimal Core Calculus for Solidity Contracts | 1-gen-2019 | Bartoletti, M.; Galletta, L.; Murgia, M. | |
| Sinkless Orientation Made Simple | 1-gen-2023 | Balliu, Alkida; Korhonen, Janne H.; Kuhn, Fabian; Lievonen, Henrik; Olivetti, Dennis; Pai, Shreyas; Paz, Ami; Rybicki, Joel; Schmid, Stefan; Studený, Jan; Suomela, Jukka; Uitto, Jara | |
| Distributed Maximal Matching and Maximal Independent Set on Hypergraphs | 1-gen-2023 | Balliu, Alkida; Brandt, Sebastian; Kuhn, Fabian; Olivetti, Dennis | |
| Optimal Deterministic Massively Parallel Connectivity on Forests | 1-gen-2023 | Balliu, Alkida; Latypov, Rustam; Maus, Yannic; Olivetti, Dennis; Uitto, Jara | |
| Exponential Speedup over Locality in MPC with Optimal Memory | 1-gen-2022 | Balliu, Alkida; Brandt, Sebastian; Fischer, Manuela; Latypov, Rustam; Maus, Yannic; Olivetti, Dennis; Uitto, Jara | |
| Efficient Classification of Locally Checkable Problems in Regular Trees | 1-gen-2022 | Balliu, Alkida; Brandt, Sebastian; Chang, Yi-Jun; Olivetti, Dennis; Studený, Jan; Suomela, Jukka | |
| Preliminary results of a survey on the use of self-adaptation in industry | 1-gen-2022 | Weyns, Danny; Gerostathopoulos, Ilias; Abbas, Nadeem; Andersson, Jesper; Biffl, Stefan; Brada, Premek; Bures, Tomas; Di Salle, Amleto; Lago, Patricia; Musil, Angelika; Musil, Juergen; Pelliccione, Patrizio | |
| Significance of Continuous Compliance in Automotive | 1-gen-2022 | Shahrokni, Ali; Pelliccione, Patrizio | |
| Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes | 1-gen-2022 | Lima, Keila; Nguyen, Ngoc-Thanh; Heldal, Rogardt; Knauss, Eric; Oyetoyan, Tosin Daniel; Pelliccione, Patrizio; Kristensen, Lars Michael | |
| Quality Metrics in Software Architecture | 1-gen-2023 | Silva, Samira; Tuyishime, Adiel; Santilli, Tiziano; Pelliccione, Patrizio; Iovino, Ludovico | |
| Standardisation in Digital Twin Architectures in Manufacturing | 1-gen-2023 | Ferko, Enxhi; Bucaioni, Alessio; Pelliccione, Patrizio; Behnam, Moris | |
| JSIMutate: understanding performance results through mutations | 1-gen-2022 | Laurent, Thomas; Arcaini, Paolo; Trubiani, Catia; Ventresque, Anthony | |
| Performance Modeling and Analysis of Design Patterns for Microservice Systems | 1-gen-2023 | Pinciroli, Riccardo; Aleti, Aldeida; Trubiani, Catia | |
| Proceedings of the Event IPSP2018 | 1-gen-2019 | Bazzanella, D.; Colombi, S.; Franchi, R.; Nardin, A.; Nespolo, J.; Salvagni, M.; Scalet, M.; Tubini, and N.; Amelio, I.; Di Giovanni, M.; Endrizzi, M.; Huber, S.; Scappini, D.; Haghani, A. Saha and R.; Bisadi, Z.; Celli, M.; Lafirenze, S. J. A.; Puglia, C.; Singh, M.; Vecchi, C.; Villa, S. | |
| Batch: Machine learning inference serving on serverless platforms with adaptive batching | 1-gen-2020 | Ali, Ahsan; Pinciroli, Riccardo; Yan, Feng; Smirni, Evgenia | |
| On Model-Based Performance Analysis of Collective Adaptive Systems | 1-gen-2022 | Murgia, Maurizio; Pinciroli, Riccardo; Trubiani, Catia; Tuosto, Emilio | |
| Optimal population mix in pool depletion systems with two-class workload | 1-gen-2017 | Cerotti, D.; Gribaudo, M.; Pinciroli, R.; Serazzi, G. | |
| Capacity Planning of Fog Computing Infrastructures for Smart Monitoring | 1-gen-2018 | Pinciroli, Riccardo; Gribaudo, Marco; Roveri, Manuel; Serazzi, Giuseppe | |
| CEDULE: A scheduling framework for burstable performance in cloud computing | 1-gen-2018 | Ali, A.; Pinciroli, R.; Yan, F.; Smirni, E. | |
| Modeling power consumption in multicore CPUs with multithreading and frequency scaling | 1-gen-2015 | Cerotti, D.; Gribaudo, M.; Piazzolla, P.; Pinciroli, R.; Serazzi, G. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1389
Data di pubblicazione
- 2020 - 2026492
- 2010 - 2019632
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE37
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM18
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...32
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...13
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN COMPUTER SCIENCE42
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...21
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...8
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS5
- FRONTIERS IN ARTIFICIAL INTELLIGE...4
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory7
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng791
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1182
- open101
- reserved96
- partially open10