11573/1716791 - 2024 -
A Delay-Efficient Implementation of Quantum Carry Select Adders Massini, Annalisa; Mingardi, Federico - 04b Atto di convegno in volume
congresso: International Parallel and Distributed Processing Symposium (San Francisco)
libro: 2024 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) - ()
11573/1682473 - 2023 -
Realizing Optimal All-to-All Personalized Communication Using Butterfly-Based Networks Izzi, Daniele; Massini, Annalisa - 01a Articolo in rivista
rivista: IEEE ACCESS (Piscataway NJ: Institute of Electrical and Electronics Engineers) pp. 51064-51083 - issn: 2169-3536 - wos: WOS:001006200600001 (0) - scopus: 2-s2.0-85161067376 (0)
11573/1655677 - 2022 -
A Bayesian Approach to Network Monitoring for Progressive Failure Localization Arrigoni, V; Bartolini, N; Massini, A; Trombetti, F - 01a Articolo in rivista
rivista: IEEE-ACM TRANSACTIONS ON NETWORKING (Attuale:IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 445 HOES LANE, PISCATAWAY, USA, NJ, 08855
ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 1-14 - issn: 1063-6692 - wos: WOS:000852219800001 (2) - scopus: 2-s2.0-85137922642 (3)
11573/1678515 - 2022 -
All-to-All Personalized Communication on Fat-Trees Using Latin Squares Izzi, Daniele; Massini, Annalisa - 04b Atto di convegno in volume
congresso: 30th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2022 (Split, Croatia)
libro: 2022 International Conference on Software, Telecommunications and Computer Networks (SoftCOM) - (978-953-290-117-7)
11573/1513003 - 2021 -
Topology Agnostic Bounds on Minimum Requirements for Network Failure Identification Arrigoni, V.; Bartolini, N.; Massini, A. - 01a Articolo in rivista
rivista: IEEE ACCESS (Piscataway NJ: Institute of Electrical and Electronics Engineers) pp. 6076-6086 - issn: 2169-3536 - wos: WOS:000608192400001 (1) - scopus: 2-s2.0-85099089121 (2)
11573/1578353 - 2021 -
Failure localization through progressive network tomography Arrigoni, V.; Bartolini, N.; Massini, A.; Trombetti, F. - 04b Atto di convegno in volume
congresso: 40th IEEE Conference on Computer Communications, INFOCOM 2021 (Vancouver, BC, Canada - online)
libro: Proceedings - IEEE INFOCOM - (978-1-6654-0325-2)
11573/1578314 - 2021 -
Efficiently Parallelizable Strassen-Based Multiplication of a Matrix by its Transpose Arrigoni, Viviana; Maggioli, Filippo; Massini, Annalisa; Rodolà, Emanuele - 04b Atto di convegno in volume
congresso: International Conference on Parallel Processing (ICPP) (online)
libro: 50th International Conference on Parallel Processing - (9781450390682)
11573/1621446 - 2021 -
A New Perspective for Rearrangeability of MINs Gerald Cabangcla, Fitz; Izzi, Daniele; Massini, Annalisa - 04b Atto di convegno in volume
congresso: 2021 International Conference on Software, Telecommunications and Computer Networks (SoftCOM) (Hvar, Croatia)
libro: 2021 International Conference on Software, Telecommunications and Computer Networks (SoftCOM) - (978-953-290-109-2)
11573/1549368 - 2021 -
On checking equivalence of simulation scripts Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 01a Articolo in rivista
rivista: THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING ([Amsterdam] : Elsevier B.V.) pp. 100640- - issn: 2352-2208 - wos: WOS:000632385700002 (3) - scopus: 2-s2.0-85099785572 (4)
11573/1550780 - 2021 -
A Constraint Optimization–Based Sense and Response System for Interactive Business Performance Management Mari, F.; Massini, A.; Melatti, I.; Tronci, E. - 01a Articolo in rivista
rivista: APPLIED ARTIFICIAL INTELLIGENCE (Washington DC: Hemisphere Pub. Co., c1987-) pp. 353-372 - issn: 0883-9514 - wos: WOS:000621702600001 (2) - scopus: 2-s2.0-85101605471 (2)
11573/1390446 - 2020 -
In silico clinical trials through AI and statistical model checking Alimguzhin, V.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E. - 04b Atto di convegno in volume
congresso: 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019 (Rende; Italy)
libro: Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019 - ()
11573/1393731 - 2020 -
Hybrid Solver for Quasi Block Diagonal Linear Systems Arrigoni, Viviana; Massini, Annalisa - 04b Atto di convegno in volume
congresso: Parallel Processing and Applied Mathematics (Bialystok, Poland, September 8-11, 2019)
libro: Parallel Processing and Applied Mathematics - (978-3-030-43228-7; 978-3-030-43229-4)
11573/1393018 - 2020 -
On Fundamental Bounds on Failure Identifiability by Boolean Network Tomography Bartolini, N.; He, T.; Arrigoni, V.; Massini, A.; Trombetti, F.; Khamfroush, H. - 01a Articolo in rivista
rivista: IEEE-ACM TRANSACTIONS ON NETWORKING (Attuale:IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 445 HOES LANE, PISCATAWAY, USA, NJ, 08855
ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 588-601 - issn: 1063-6692 - wos: WOS:000528838300012 (17) - scopus: 2-s2.0-85079627747 (24)
11573/1359936 - 2020 -
Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking Calabrese, A.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E. - 04b Atto di convegno in volume
congresso: 2019 Joint RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion and of the RCRA Incontri e Confronti Workshop, RCRA + RiCeRcA 2019 (Rende; Italy)
libro: CEUR Workshop Proceedings - ()
11573/1550783 - 2020 -
Optimal all-To-All personalized communication on Butterfly networks through a reduced Latin square Izzi, D.; Massini, A. - 04b Atto di convegno in volume
congresso: 22nd IEEE International Conference on High Performance Computing and Communications, 18th IEEE International Conference on Smart City and 6th IEEE International Conference on Data Science and Systems, HPCC-SmartCity-DSS 2020 (Fiji)
libro: Proceedings - 2020 IEEE 22nd International Conference on High Performance Computing and Communications, IEEE 18th International Conference on Smart City and IEEE 6th International Conference on Data Science and Systems, HPCC-SmartCity-DSS 2020 - (978-1-7281-7649-9)
11573/1501463 - 2020 -
Monte carlo based statistical model checking of cyber-physical systems: A review Pappagallo, A.; Massini, A.; Tronci, E. - 01a Articolo in rivista
rivista: INFORMATION (Basel: Molecular Diversity Preservation International) pp. 1-24 - issn: 2078-2489 - wos: WOS:000602078000001 (7) - scopus: 2-s2.0-85098738223 (15)
11573/1113211 - 2018 -
Massive NGS data analysis reveals hundreds of potential novel gene fusions in human cell lines Gioiosa, Silvia; Bolis, Marco; Flati, Tiziano; Massini, Annalisa; Garattini, Enrico; Chillemi, Giovanni; Fratelli, Maddalena; Castrignanò, Tiziana - 01a Articolo in rivista
rivista: GIGASCIENCE (London : BioMed Central) pp. 1-8 - issn: 2047-217X - wos: WOS:000456726600001 (5) - scopus: 2-s2.0-85055858553 (6)
11573/1123936 - 2018 -
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction. Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, Stefano; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, And B. - 04b Atto di convegno in volume
congresso: 25th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2018 (Oxford, UK)
libro: Proceedings of the 25th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2018 - ()
11573/941556 - 2017 -
On minimising the maximum expected verification time Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Salvo, Ivano; Tronci, Enrico - 01a Articolo in rivista
rivista: INFORMATION PROCESSING LETTERS (-Amsterdam : Elsevier Science
-Amsterdam : North-Holland) pp. 8-16 - issn: 0020-0190 - wos: WOS:000399506600002 (12) - scopus: 2-s2.0-85013018705 (31)
11573/1021396 - 2017 -
Parallelization of cycle-based logic simulation Mancini, Toni; Massini, Annalisa; Tronci, Enrico - 01a Articolo in rivista
rivista: PARALLEL PROCESSING LETTERS (World Scientific Publishing Company:PO Box 128, Farrer Road, Singapore 912805 Singapore:011 65 6 4665775, EMAIL: journal@wspc.com.sg, INTERNET: http://www.wspc.com.sg, http://www.worldscinet.com, Fax: 011 65 6 4677667) pp. 1-16 - issn: 0129-6264 - wos: WOS:000404065100004 (0) - scopus: 2-s2.0-85028012700 (0)
11573/869353 - 2016 -
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; Krüger, T H C; Egli, M; Ille, F; Leeners, B - 04b Atto di convegno in volume
congresso: BIOMAT 2015 (Roorkee, Uttarakhand, India)
libro: BIOMAT 2015. Proceedings of the International Symposium on Mathematical and Computational Biology - (978-981-3141-90-2)
11573/864155 - 2016 -
Anytime system level verification via parallel random exhaustive hardware in the loop simulation Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 01a Articolo in rivista
rivista: MICROPROCESSORS AND MICROSYSTEMS (Butterworth Heinemann Publishers:Linacre House Jordan Hill, Oxford OX2 8DP United Kingdom:011 44 1865 314569, EMAIL: bhmarketing@repp.co.uk, INTERNET: http://www.laxtonsprices.co.uk, Fax: 011 44 1865 314569) pp. 12-28 - issn: 0141-9331 - wos: WOS:000370456500002 (13) - scopus: 2-s2.0-84954475986 (33)
11573/928859 - 2016 -
SyLVaaS: System level formal verification as a service Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 01a Articolo in rivista
rivista: FUNDAMENTA INFORMATICAE (IOS Press:Nieuwe Hemweg 6B, 1013 BG Amsterdam Netherlands:011 31 20 6883355, EMAIL: r.tosendjojo@iospress.nl, INTERNET: http://www.iospress.nl, Fax: 011 31 20 6203419) pp. 101-132 - issn: 0169-2968 - wos: WOS:000391744500005 (16) - scopus: 2-s2.0-85008315342 (34)
11573/645263 - 2015 -
SyLVaaS: system level formal verification as a service Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 23rd Euromicro International Conference on Parallel, distributed and network-based Processing (PDP 2015) (Turku)
libro: Proceedings of the 23rd Euromicro International Conference on Parallel, distributed and network-based Processing (PDP 2015) - (978-1-4799-8490-9)
11573/869372 - 2015 -
Simulator semantics for system level formal verification Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: Sixth International Symposium on Games, Automata, Logics and Formal Verification (Genova)
libro: Logics and Formal Verification 2015 (GandALF’15) - ()
11573/778370 - 2015 -
Computing biological model parameters by parallel statistical model checking Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor - 04b Atto di convegno in volume
congresso: Third International Conference, IWBBIO (Granada, Spain)
libro: Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. - (9783319164823; 9783319164830)
11573/536138 - 2014 -
System level formal verification via distributed multi-core hardware in the loop simulation Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014 (Torino, Italy)
libro: Proc. of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP 2014) - (9781479927296)
11573/645262 - 2014 -
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 17th EuroMicro Conference on Digital System Design ()
libro: Proceedings of the 17th EuroMicro Conference on Digital System Design - ()
11573/645261 - 2014 -
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records Tronci, Enrico; Mancini, Toni; Salvo, Ivano; Sinisi, Stefano; Mari, Federico; Melatti, Igor; Massini, Annalisa; Davi', Francesco; T., Dierkes; R., Ehrig; S., Roeblitz; B., Leeners; T. H. C., Krüger; M., Egli; F., Ille - 04b Atto di convegno in volume
congresso: 14th Conference in Formal Methods in Computer-Aided Design ()
libro: Proceedings of the 14th Conference in Formal Methods in Computer-Aided Design - ()
11573/514610 - 2013 -
System level formal verification via model checking driven simulation Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Fabio, Merli; Tronci, Enrico - 04b Atto di convegno in volume
congresso: 25th International Conference on Computer Aided Verification, CAV 2013 (Saint Petersburg, Russia)
libro: Proceedings of CAV 2013 - 25th International Conference on Computer Aided Verification - (9783642397981; 9783642397998)
11573/434665 - 2012 -
P&P: an asynchronous and distributed protocol for mobile sensor deployment Bartolini, Novella; Massini, Annalisa; Silvestri, Simone - 01a Articolo in rivista
rivista: WIRELESS NETWORKS (Attuale:KLUWER ACADEMIC PUBL, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 381-399 - issn: 1022-0038 - wos: WOS:000303202000003 (4) - scopus: 2-s2.0-84862576642 (3)
11573/443210 - 2012 -
Accelerating the production of synthetic seismograms by a multicore processor cluster with multiple GPUs Ferdinando, Alessi; Massini, Annalisa; Roberto, Basili - 04b Atto di convegno in volume
congresso: 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2012 (Garching)
libro: Proceedings of the 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing - (9780769546339; 9781467302265)
11573/463732 - 2012 -
High Performance Parallelization of COMPSYN on a Cluster of Multicore Processors with GPUs Ferdinando, Alessi; Massini, Annalisa; Roberto, Basili - 04b Atto di convegno in volume
congresso: International Conference on Computational Science (ICCS) (Omaha, NE)
libro: Proceedings of the International Conference on Computational Science - ()
11573/380238 - 2011 -
On Adaptive Density Deployment to Mitigate the Sink-Hole Problem in Mobile Sensor Networks Bartolini, Novella; Calamoneri, Tiziana; Massini, Annalisa; Silvestri, Simone - 01a Articolo in rivista
rivista: MOBILE NETWORKS AND APPLICATIONS (Baltzer Science Publishers BV:PO Box 221, 1400 AE Bussum Netherlands:011 31 35 6954250, EMAIL: publish@baltzer.nl, INTERNET: http://www.baltzer.nl, Fax: 011 31 35 6954258) pp. 134-145 - issn: 1383-469X - wos: WOS:000286615400013 (13) - scopus: 2-s2.0-79751529780 (14)
11573/364037 - 2010 -
Push & Pull: autonomous deployment of mobile sensors for a complete coverage Bartolini, Novella; Calamoneri, Tiziana; Fusco, Emanuele Guido; Massini, Annalisa; Silvestri, Simone - 01a Articolo in rivista
rivista: WIRELESS NETWORKS (Attuale:KLUWER ACADEMIC PUBL, VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311 GZ
ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: http://www.acm.org, Fax: (212)944-1318) pp. 607-625 - issn: 1022-0038 - wos: WOS:000275558500003 (38) - scopus: 2-s2.0-77953362827 (49)
11573/224921 - 2009 -
Variable Density Deployment and Topology Control for the Solution of the Sink-Hole Problem Bartolini, Novella; Calamoneri, Tiziana; Massini, Annalisa; Silvestri, Simone - 04b Atto di convegno in volume
congresso: 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness/3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications (Palmas, SPAIN)
libro: Proceedings di 6th Int.l ICST Conferente on Heterogeneous Networking for Quality, Reliability, Security and Robustness (QShine 2009) - (9783642106248; 9783642106255)
11573/224940 - 2009 -
Autonomous deployment of heterogeneous mobile sensors Bartolini, Novella; Calamoneri, Tiziana; T., La Porta; Massini, Annalisa; Silvestri, Simone - 04b Atto di convegno in volume
congresso: 17th IEEE International Conference on Network Protocols, ICNP '09 (Princeton, NJ)
libro: Proceedings di 17th IEEE Int.l Conference on Networks Protocols (ICNP ’09) - (9781424446346; 9781424446353)
11573/226925 - 2009 -
P&P protocol: Local coordination of mobile sensors for self-deployment Bartolini, Novella; Massini, Annalisa; Silvestri, Simone - 04b Atto di convegno in volume
congresso: 12th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems, MSWiM'09 (Tenerife, Canary Islands)
libro: ACM Proceedings of International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems - (9781605586168)
11573/44587 - 2009 -
Antibandwidth of Complete k-ary Trees Calamoneri, Tiziana; Massini, Annalisa; L., Torok; I., Vrto - 01a Articolo in rivista
rivista: DISCRETE MATHEMATICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 6408-6414 - issn: 0012-365X - wos: WOS:000272312600012 (4) - scopus: 2-s2.0-70350573011 (5)
11573/194522 - 2009 -
Using the LCP based Decomposition for Permutation Routing on (2 log N -1) Stage Interconnection Networks Massini, Annalisa; M. T., Raffa - 04b Atto di convegno in volume
congresso: International Conference on Parallel and Distributed Computing and Networks (PDCN 2009) (Innsbruck, Vienna)
libro: Proc. IASTED International Conference on Parallel and Distributed Computing and Networks - ()
11573/357683 - 2008 -
Snap and Spread: a self-deployment algorithm for mobile sensor networks Bartolini, Novella; Calamoneri, Tiziana; Fusco, Emanuele Guido; Massini, Annalisa; Silvestri, Simone - 04b Atto di convegno in volume
congresso: International Conference on Distributed Computing (Santorini Island, Greece)
libro: 4th Int.l Conference on Distributed Computing (DCOSS ’08), Lecture Notes in Computer Science - (9783540691693)
11573/359346 - 2008 -
Autonomous deployment of self-organizing mobile sensors for a complete coverage Bartolini, Novella; Calamoneri, Tiziana; Fusco, Emanuele Guido; Massini, Annalisa; Silvestri, Simone - 04b Atto di convegno in volume
congresso: 3rd International Workshop on Self-Organizing Systems (Vienna, Austria,)
libro: Proc. of 3rd International Workshop on Self-Organizing Systems (IWSOS 2008) - (9783540921561; 9783540921578)
11573/43795 - 2006 -
Nearly optimal three dimensional layout of hypercube networks Calamoneri, Tiziana; Massini, Annalisa - 01a Articolo in rivista
rivista: NETWORKS (John Wiley & Sons Incorporated:Customer Service, 111 River Street:Hoboken, NJ 07030:(800)225-5945, (201)748-6000, EMAIL: societyinfo@wiley.com, INTERNET: http://www.wiley.com, Fax: (212)748-6551) pp. 1-8 - issn: 0028-3045 - wos: WOS:000234527100001 (1) - scopus: 2-s2.0-33645319200 (2)
congresso: 11th International Symposium on Graph Drawing (Perugia, Italy)
libro: Graph Drawing - ()
Calamoneri, Tiziana; Massini, Annalisa; L˘Ubomir, Torok; I., Vrto - 04b Atto di convegno in volume
congresso: 5-th Cracow Conference on Graph Theory (Ustron; Poland)
libro: 5-th Cracow Conference on Graph Theory - ()
11573/235145 - 2004 -
Efficient algorithms for checking the equivalence of multistage interconnection networks Calamoneri, Tiziana; Massini, Annalisa - 01a Articolo in rivista
rivista: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING (New York, N.Y. : Academic Press, c1984-) pp. 135-150 - issn: 0743-7315 - wos: WOS:000188063800011 (4) - scopus: 2-s2.0-1642420417 (9)
11573/52824 - 2003 -
Nearly Optimal Three Dimensional Layout of Hypercubes Calamoneri, Tiziana; Massini, Annalisa - 04b Atto di convegno in volume
congresso: 11th International Symposium on Graph Drawing (Perugia, Italy)
libro: Graph Drawing - ()
Calamoneri, Tiziana; Massini, Annalisa; Imrich, Vrto - 01a Articolo in rivista
rivista: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 503-513 - issn: 0304-3975 - wos: WOS:000186014900005 (7) - scopus: 2-s2.0-0141955996 (6)
11573/44586 - 2003 -
All-to-all personalized communication on multistage
interconnection networks Massini, Annalisa - 01a Articolo in rivista
rivista: DISCRETE APPLIED MATHEMATICS (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 435-446 - issn: 0166-218X - wos: WOS:000183168800008 (14) - scopus: 2-s2.0-84867936156 (19)
11573/193998 - 2002 -
Parallel Sorting of n-strings in Kn Time De Biase, Giuseppe Alberto; Massini, Annalisa - 04b Atto di convegno in volume
libro: International Conference on Communications in Computing - ()
11573/124566 - 2001 -
Optimal Three-Dimensional Layout of Interconnection Networks Calamoneri, Tiziana; Massini, Annalisa - 01a Articolo in rivista
rivista: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 263-279 - issn: 0304-3975 - wos: WOS:000167792100013 (5) - scopus: 2-s2.0-0034910959 (7)
11573/253132 - 2001 -
A New Approach to the Rearrangeability of (2 log N-1) Stage MINs Calamoneri, Tiziana; Massini, Annalisa - 04b Atto di convegno in volume
libro: IASTED International Symposium Applied Informatics (AI'01) - ()
11573/249461 - 2000 -
The shuffled mesh: a flexible and efficient model for parallel computing Bongiovanni, Giancarlo; De Biase, Giuseppe Alberto; Massini, Annalisa; Monti, Angelo - 01a Articolo in rivista
rivista: TELECOMMUNICATION SYSTEMS (Baltzer Science Publishers BV:PO Box 221, 1400 AE Bussum Netherlands:011 31 35 6954250, EMAIL: publish@baltzer.nl, INTERNET: http://www.baltzer.nl, Fax: 011 31 35 6954258) pp. 21-27 - issn: 1018-4864 - wos: WOS:000086709100003 (0) - scopus: 2-s2.0-26444467210 (0)
11573/193993 - 2000 -
All-to-all personalized communication on multistage interconnection networks Massini, Annalisa - 04b Atto di convegno in volume
congresso: International Conference on Communications in Computing (Las Vegas, Nevada, USA)
libro: International Conference on Communications in Computing (CIC'2000) - ()
11573/242674 - 1999 -
Efficiently checking the equivalence of multistage interconnection networks Calamoneri, Tiziana; Massini, Annalisa - 04b Atto di convegno in volume
libro: 11th IASTED International Conference on Parallel and Distributed Computing Systems (PDCS'99) - ()
11573/256318 - 1999 -
An Optimal Layout of Multigrid Networks Calamoneri, Tiziana; Massini, Annalisa - 01a Articolo in rivista
rivista: INFORMATION PROCESSING LETTERS (-Amsterdam : Elsevier Science
-Amsterdam : North-Holland) pp. 137-141 - issn: 0020-0190 - wos: WOS:000084628800011 (3) - scopus: 2-s2.0-0033607407 (4)
11573/242675 - 1998 -
Pipelined addition, accumulation and multiplication of binary numbers on cellular automata A., Clementi; De Biase, Giuseppe Alberto; Massini, Annalisa - 04b Atto di convegno in volume
congresso: Fourth Joint Conference on Information Science (Research Triangle Park, North Carolina, USA)
libro: Proceedings of the Joint Conference on Information Sciences - ()
11573/247608 - 1998 -
The Shuffled Mesh: A Flexible and Efficient Model for Parallel Computing Bongiovanni, Giancarlo; De Biase, Giuseppe Alberto; Massini, Annalisa; Monti, Angelo - 04b Atto di convegno in volume
congresso: 6th International Conference on Telecommunication Systems (Nashville, USA)
libro: Proc. 6th International Conference on Telecommunication Systems - ()
11573/247490 - 1998 -
A virtually nonblocking self-routing permutation network which routes packets in O(logN) time De Biase, Giuseppe Alberto; Massini, Annalisa - 01a Articolo in rivista
rivista: TELECOMMUNICATION SYSTEMS (Baltzer Science Publishers BV:PO Box 221, 1400 AE Bussum Netherlands:011 31 35 6954250, EMAIL: publish@baltzer.nl, INTERNET: http://www.baltzer.nl, Fax: 011 31 35 6954258) pp. 135-147 - issn: 1018-4864 - wos: (0) - scopus: 2-s2.0-26444455030 (0)
11573/52381 - 1997 -
On Three-Dimensional Layout of Networks Calamoneri, Tiziana; Massini, Annalisa - 04b Atto di convegno in volume
congresso: Graph Drawing 97 ()
libro: 5th International Symposium on Graph Drawing (GD'97) - (9783540639381)
11573/1091950 - 1995 -
An 0(log2 N) Depth Asymptotically Nonblocking Self-Routing Permutation Network De Biase, G. A.; Ferrone, Claudia; Massini, A. - 01a Articolo in rivista
rivista: IEEE TRANSACTIONS ON COMPUTERS (IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667) pp. 1047-1051 - issn: 0018-9340 - wos: WOS:A1995RQ17500009 (2) - scopus: 2-s2.0-0029360214 (3)
11573/396143 - 1995 -
Parallel Arithmetic on Optical Computers by Redundant Binary Number Representation De Biase, Giuseppe Alberto; Massini, Annalisa - 04b Atto di convegno in volume
congresso: International Conference on Applications of Photonic Technology, Sensing, Signal Processing, Communications (Toronto, Canada)
libro: Proceedings of the International Conference on Applications of Photonic Technology, Sensing, Signal Processing, Communications - (9780306450112)
11573/1091953 - 1994 -
High efficiency redundant binary number representations for parallel arithmetic on optical computers De Biase, G. A.; Massini, A. - 01a Articolo in rivista
rivista: OPTICS AND LASER TECHNOLOGY (Butterworth Heinemann Publishers:Linacre House Jordan Hill, Oxford OX2 8DP United Kingdom:011 44 1865 314569, EMAIL: bhmarketing@repp.co.uk, INTERNET: http://www.laxtonsprices.co.uk, Fax: 011 44 1865 314569) pp. 219-224 - issn: 0030-3992 - wos: WOS:A1994PB72700003 (13) - scopus: 2-s2.0-0028484447 (17)
11573/396304 - 1993 -
A QUASI-NONBLOCKING SELF-ROUTING NETWORK WHICH ROUTES PACKETS IN LOG2N TIME De Biase, Giuseppe Alberto; C., Ferrone; Massini, Annalisa - 04b Atto di convegno in volume
congresso: 12TH ANNUAL JOINT CONF OF THE IEEE COMPUTER AND COMMUNICATION SOCIETIES - NETWORKING : FOUNDATION FOR THE FUTURE ( INFOCOM 93 ) (SAN FRANCISCO, CA)
libro: Proceedings Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies. Networking: Foundation for the Future - (9780818635809)
11573/505641 - 1993 -
Redundant binary number representation for an inherently parallel arithmetic on optical computers De Biase, Giuseppe Alberto; Massini, Annalisa - 01a Articolo in rivista
rivista: APPLIED OPTICS (-Washington, DC: Optical Society of America
-Easton, Pa. : Optical Society of America, c1962?]-c1989.) pp. 659-664 - issn: 0003-6935 - wos: WOS:A1993KL51000002 (8) - scopus: 2-s2.0-0000906124 (11)
11573/1092030 - 1990 -
Parallel optical arithmetic on images by a redundant binary number representation De Biase, G A; Massini, A - 01a Articolo in rivista
rivista: APPLIED OPTICS (-Washington, DC: Optical Society of America
-Easton, Pa. : Optical Society of America, c1962?]-c1989.) pp. 1587-1589 - issn: 0003-6935 - wos: WOS:A1990CZ97800004 (2) - scopus: 2-s2.0-84975647206 (2)