QUER, Stefano

QUER, Stefano  

Dipartimento di Automatica e Informatica  

S. Quer  

002893  

Mostra records
Risultati 1 - 20 di 116 (tempo di esecuzione: 0.035 secondi).
Citazione Data di pubblicazione Autori File
A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem / Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Quer, Stefano. - ELETTRONICO. - (2016). ((Intervento presentato al convegno 27th Annual Symposium on Combinatorial Pattern Matching tenutosi a Tel Aviv, Israel nel June 27 - 29, 2016. 1-gen-2016 BORIA, NICOLASCABODI, GianpieroCAMURATI, Paolo EnricoPALENA, MARCOPASINI, PAOLOQUER, Stefano -
A BMC-Based Formulation for the Scheduling Problem in Highly Constrained Hardware Systems / Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - 89:4(2003), pp. 623-638. [10.1016/S1571-0661(05)82547-2] 1-gen-2003 CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + -
A BMC-Based Formulation for the Scheduling Problem of Hardware Systems / Cabodi, Gianpiero; A., Kondratiev; Lavagno, Luciano; Nocco, Sergio; Quer, Stefano; Y., Watanabe. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 7:(2005), pp. 102-117. 1-gen-2005 CABODI, GianpieroLAVAGNO, LucianoNOCCO, SERGIOQUER, Stefano + -
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem / Nocco, Sergio; Quer, Stefano. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 29:12(2010), pp. 2027-2040. [10.1109/TCAD.2010.2061631] 1-gen-2010 NOCCO, SERGIOQUER, Stefano riv10-02.pdf
A Parallel Approach to Symbolic Traversal Based on Set Partitioning / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lioy, Antonio; Poncino, M.; Quer, Stefano. - (1997). ((Intervento presentato al convegno CHARME’97: Correct Hardware Methodologies. 1-gen-1997 CABODI, GianpieroCAMURATI, Paolo EnricoLIOY, ANTONIOM. PoncinoQUER, Stefano -
A Probabilistic and Approximated Approach to Circuit-Based Formal Verification / Nocco, Sergio; Quer, Stefano. - In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION. - ISSN 1574-0617. - 5:(2008), pp. 105-126. 1-gen-2008 NOCCO, SERGIOQUER, Stefano -
Accelerated Analysis of Simulation Dumps through Parallelization on Multicore Architectures / Calabrese, A.; Bernardi, P.; Littardi, S.; Quer, S.. - ELETTRONICO. - (2020), pp. 1-1. ((Intervento presentato al convegno International Test Conference 2020 (ITC2020) nel 3-5 November 2020. 1-gen-2020 A. CalabreseP. BernardiS. LittardiS. Quer poster.pdf
Accelerated Analysis of Simulation Dumps through Parallelization on Multicore Architectures / Appello, D.; Bernardi, P.; Calabrese, A.; Littardi, S.; Pollaccia, G.; Quer, S.; Tancorre, V.; Ugioli, R.. - (2021), pp. 69-74. ((Intervento presentato al convegno 24th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2021 tenutosi a aut nel 2021 [10.1109/DDECS52668.2021.9417048]. 1-gen-2021 Bernardi P.Calabrese A.Littardi S.Quer S. + 09417048.pdf
Accurate and Efficient Visual Search on Embedded Systems / Massimo, Balestri; Cabodi, Gianpiero; Gianluca, Francini; Garbo, Alessandro; Loiacono, Carmelo; Patti, Denis; Quer, Stefano. - ELETTRONICO. - (2015). ((Intervento presentato al convegno International conference on advanced in computing, communication and information technology tenutosi a Birmingham nel 26-27 Maggio 2015. 1-gen-2015 CABODI, GianpieroGARBO, ALESSANDROLOIACONO, CARMELOPATTI, DENISQUER, Stefano + -
Advanced Programming and Problem-Solving Strategies in C. Part II: Algorithms and Data Structures / Quer, Stefano. - STAMPA. - II:(2017), pp. 1-443. 1-gen-2017 QUER, Stefano -
Advanced Programming and Problem-Solving Strategies in C. Part IV: Exam-Based Problems / Quer, Stefano. - STAMPA. - IV:(2017), pp. 1-227. 1-gen-2017 QUER, Stefano -
Advanced Programming and Problem-Solving Strategies in C. Part II: Algorithms and Data Structures / Quer, Stefano. - STAMPA. - II:(2018), pp. 1-453. 1-gen-2018 STEFANO QUER -
Advanced Programming and Problem-Solving Strategies in C. Part IV: Exam-Based Problems / Quer, Stefano. - STAMPA. - IV:(2018), pp. 1-235. 1-gen-2018 QUER, Stefano -
Advancements in Mixed BDD and SAT Techniques / Cabodi, Gianpiero; Quer, Stefano. - (2004). 1-gen-2004 CABODI, GianpieroQUER, Stefano -
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti / Camurati, Paolo Enrico; Quer, Stefano. - STAMPA. - (2013), pp. 1-234. 1-gen-2013 CAMURATI, Paolo EnricoQUER, Stefano book.pdf
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti / Camurati, Paolo Enrico; Quer, Stefano. - STAMPA. - (2017), pp. 1-305. 1-gen-2017 CAMURATI, Paolo EnricoQUER, Stefano -
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti / Camurati, Paolo Enrico; Quer, Stefano. - STAMPA. - (2016), pp. 1-291. 1-gen-2016 CAMURATI, Paolo EnricoQUER, Stefano book.pdf
Algoritmi e programmazione: richiami di teoria con prove d'esame ed esercizi svolti. Seconda edizione / Camurati, Paolo Enrico; Quer, Stefano. - STAMPA. - (2014), pp. 1-234. 1-gen-2014 CAMURATI, Paolo EnricoQUER, Stefano -
Are BDDs Still Alive within Sequential Verification? / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - 7:(2005), pp. 129-142. 1-gen-2005 CABODI, GianpieroNOCCO, SERGIOQUER, Stefano -
Auxiliary Variables for BDD-based Representation and Manipulation of Boolean Functions / Cabodi, Gianpiero; Camurati, Paolo Enrico; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 3:(1998), pp. 309-340. 1-gen-1998 CABODI, GianpieroCAMURATI, Paolo EnricoQUER, Stefano -