Pubblicazioni

The size of BDDs and other data structures in temporal logics model checking

2016 - IEEE TRANSACTIONS ON COMPUTERS
Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco

Parallel d-Pipeline: A Cuckoo Hashing Implementation for Increased Throughput

2016 - IEEE TRANSACTIONS ON COMPUTERS
Pontarelli, S; Reviriego, P; Maestro, Ja

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma