Enumeration on graph mosaics
- 期刊名称Journal of Knot Theory and Its Ramifications
- 作者Hong, Kyungpyo; Oh, Seungsang
- 卷第26卷
- 期第5期
- 印刷ISSN0218-2165
- 电子ISSN1793-6527
- 文件大小353.60KB
- 发表时间2017-04
- DOI10.1142/S0218216517500328
On minimising the maximum expected verification timeMancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Salvo, Ivano; Tronci, Enrico · Information Processing Letters · 2017
SyLVaaS: System Level Formal Verification as a Service*Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico; Bistarelli, Stefano; Formisano, Andrea; Maratea, Marco; Torroni, Paolo · Fundamenta Informaticae · 2016
Anytime system level verification via parallel random exhaustive hardware in the loop simulationMancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico · Microprocessors and Microsystems · 2016
[IEEE 2014 17th Euromicro Conference on Digital System Design (DSD) - Verona, Italy (2014.8.27-2014.8.29)] 2014 17th Euromicro Conference on Digital System Design - Anytime System Level Verification via Random Exhaustive Hardware in the Loop SimulationMancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico · 2014
[IEEE 2015 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Turku, Finland (2015.3.4-2015.3.6)] 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - SyLVaaS: System Level Formal Verification as a ServiceMancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico · 2015
[IEEE 2014 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Torino, Italy (2014.02.12-2014.02.14)] 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - System Level Formal Verification via Distributed Multi-core Hardware in the Loop SimulationMancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico · 2014
DNA Codeword Design: Theory and ApplicationsGarzon, Max H. · Parallel Processing Letters · 2014
THE PAIRWISE SORTING NETWORKPARBERRY, IAN · Parallel Processing Letters · 1992
VOTING MECHANISMS IN ASYNCHRONOUS BYZANTINE ENVIRONMENTSPELC, ANDRZEJ · Parallel Processing Letters · 2006
GPU ACCELERATION OF NUMERICAL WEATHER PREDICTIONMICHALAKES, JOHN; VACHHARAJANI, MANISH · Parallel Processing Letters · 2008
AUTHOR INDEX Volume 22Parallel Processing Letters · 2012
ASPECTS OF BIOMOLECULAR COMPUTINGNAGY, NAYA; AKL, SELIM G. · Parallel Processing Letters · 2007
AUTHOR INDEX VOLUME 6 (1996)Parallel Processing Letters · 1996
LEADER-BASED CONSENSUSMOSTEFAOUI, A.; RAYNAL, M. · Parallel Processing Letters · 2001