4.1 Contributo Atti Congressi/Articoli in extenso

4.1 Contributo Atti Congressi/Articoli in extenso Home page tipologia

Sfoglia

Iscriviti a questa tipologia per ricevere ogni giorno la notifica via e-mail di nuovi arrivi RSS Feed RSS Feed RSS Feed
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 4.128
TitoloData di depositoAutore(i)
Heuristic partitioning of real-time tasks on multi-processors21-set-2020Mascitti, A.; Cucinotta, T.; Abeni, L.
An Architecture for Declarative Real-Time Scheduling on Linux21-set-2020Serra, Gabriele; Ara, Gabriele; Fara, Pietro; Cucinotta, Tommaso
Comparative Evaluation of Kernel Bypass Mechanisms for High-performance Inter-container Communications21-set-2020Ara, G.; Cucinotta, T.; Abeni, L.; Vitucci, C.
Driven Manipulator with Variable Stiffness Structure4-set-2020Sozer, C.; Paterno', Linda; Tortora, G.; Menciassi, A.
Field experiments on dielectric elastomer generators integrated on a U-OWC wave energy converter2-set-2020Arena, F.; Daniele, L.; Fiamma, V.; Fontana, M.; Malara, G.; Moretti, G.; Romolo, A.; Papini, G. P. R.; Scialo, A.; Vertechy, R.
Inkjet printed thin-film electro-Adhesive device: Manufacturing and characterization2-set-2020Berdozzi, N.; Chen, Y.; Luzi, L.; Bocchieri, G.; Fontana, M.; Fassi, I.; Molinari Tosatti, L.; Vertechy, R.
Analysis of dielectric fluid transducers2-set-2020Moretti, G.; Duranti, M.; Righi, M.; Vertechy, R.; Fontana, M.
L’impatto delle certificazioni territoriali sulle performance delle imprese: una verifica empirica su “Città Slow28-ago-2020LA ROCCA Elvira, Tiziana; Abbate, Tindara; D'Amico, Augusto; Crupi, Antonio
Variability meets Security: Quantitative security modeling and analysis of highly customizable attack scenarios19-ago-2020ter Beek, M. H.; Legay, A.; Lafuente, A. L.; Vandin, A.
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems19-ago-2020ter Beek, M. H.; Legay, A.; Lluch Lafuente, A.; Vandin, A.
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository19-ago-2020Perez-Verona, I. C.; Tribastone, M.; Vandin, A.
Counterpart semantics for a second-order mu-calculus19-ago-2020Gadducci, F; Lluch Lafuente, A; Vandin, A
Towards a Maude tool for model checking temporal graph properties19-ago-2020Vandin, A; Luch Lafuente, A
State space c-reductions of concurrent systems in rewriting logic19-ago-2020Lluch Lafuente, A; Meseguer, J; Vandin, A
Specification and verification of modal properties for structured systems19-ago-2020Vandin, A
Modelling and analyzing adaptive self-assembly strategies with Maude19-ago-2020Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Exploiting over- and under-approximations for infinite-state counterpart models19-ago-2020Gadducci, F; Lluch Lafuente, A; Vandin, A
A conceptual framework for adaptation19-ago-2020Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
MultiVeStA: Statistical model checking for discrete event simulators19-ago-2020Sebastio, S; Vandin, A
Adaptable transition systems19-ago-2020Bruni, R; Corradini, A; Gadducci, F; Lluch Lafuente, A; Vandin, A
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 4.128

Scopri

Per lingua
Accesso al fulltext
 
 
 
Powered by IRIS-about IRIS-Utilizzo dei cookie
Logo CINECA  Copyright © 2020