BERNARDO, MARCO
BERNARDO, MARCO
DIP. DI SCIENZE DELL'INFORMAZIONE
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 secondi).
Causal Reversibility Implies Time Reversibility
2023 Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C.
Comparing the QoS of Internet Audio Mechanisms via Formal Methods
2001 Aldini A.; Gorrieri R.; Roccetti M.; Bernardo M.
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet
1998 Bernardo M.; Gorrieri R.; Roccetti M.
QoS evaluation of IP telephony services: A specification language based simulation software tool
2003 Roccetti M.; Aldini A.; Bernardo M.; Gorrieri R.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Causal Reversibility Implies Time Reversibility | Bernardo M.; Lanese I.; Marin A.; Mezzina C.A.; Rossi S.; Sacerdoti Coen C. | 2023-01-01 | - | Springer Science and Business Media Deutschland GmbH | 4.01 Contributo in Atti di convegno | paper.pdf |
| Comparing the QoS of Internet Audio Mechanisms via Formal Methods | Aldini A.; Gorrieri R.; Roccetti M.; Bernardo M. | 2001-01-01 | ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION | - | 1.01 Articolo in rivista | - |
| Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet | Bernardo M.; Gorrieri R.; Roccetti M. | 1998-01-01 | FORMAL ASPECTS OF COMPUTING | - | 1.01 Articolo in rivista | - |
| QoS evaluation of IP telephony services: A specification language based simulation software tool | Roccetti M.; Aldini A.; Bernardo M.; Gorrieri R. | 2003-01-01 | SYSTEMS ANALYSIS, MODELLING, SIMULATION | - | 1.01 Articolo in rivista | - |