Sfoglia per Autore
Complexity certification of C++ templates
2008-01-01 Covino, Emanuele; Pani, Giovanni
Extending C++ static computation of polynomial-time algorithms
2008-01-01 Pani, Giovanni; Covino, Emanuele; Daniele, Scrimieri
Complexity certification of C++ template metaprogramming (extended version)
2009-01-01 Pani, Giovanni; Covino, Emanuele
Template Metaprogramming, Partial Evaluation and Computational Complexity Classes
2010-01-01 Covino, Emanuele; Pani, Giovanni
Bluetooth and filesystem to manage a ubiquitous mesh network
2010-01-01 N., Corriero; Covino, Emanuele; Pani, Giovanni; E., Zhupa
A tool for the evaluation of the complexity of programs using C++ templetates
2011-01-01 Corriero, N; Covino, Emanuele; Pani, Giovanni
HSFS: a compress filesystem for metadata files
2011-01-01 N., Corriero; Covino, Emanuele; G., D'Amore; Pani, Giovanni
A Compress Filesystem to Improve the Files Contents Search
2011-01-01 Covino, Emanuele; Corriero, ; Pani, Giovanni
An approach to use FB-AODV with Android
2011-01-01 N., Corriero; Covino, Emanuele; A., Mottola
A Formal Approach for Modeling Interactive Visual Interfaces
2011-01-01 Covino, Emanuele; Pani, Giovanni
A specialized recursive language for capturing time-space complexity classes
2015-01-01 Covino, Emanuele; Pani, Giovanni
Predicative recursion, diagonalization, and slow-growing hierarchies of time-bounded programs
2015-01-01 Covino, Emanuele; Pani, Giovanni
A slow-growing hierarchy of time-bounded programs
2017-01-01 Covino, Emanuele
Diagonalization and Elementary Complexity
2018-01-01 Covino, Emanuele; Pani, Giovanni
Diagonalization and the complexity of programs
2018-01-01 Covino, Emanuele
On the complexity of programs with nested loops
2019-01-01 Covino, Emanuele; Pani, Giovanni
A tool for the analysis of MANET Routing Protocols based on Abstract State Machines
2020-01-01 Bianchi, Alessandro; Covino, Emanuele; Pani, Giovanni; Pizzutilo, Sebastiano
Analysis of Mobile Networks’ Protocols Based on Abstract State Machines
2021-01-01 Covino, Emanuele; Pani, Giovanni
A Java Application for Modeling and Simulating Mobile Ad-hoc NETworks
2021-01-01 Covino, Emanuele; Pani, Giovanni
A Tool for the Analysis of MANET Routing Protocols based on Abstract State Machines (book version),
2021-01-01 Covino, Emanuele; Pani, Giovanni; Bianchi, Alessandro; Pizzutilo, Sebastiano
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