Pubblicazioni il cui periodico è "LECTURE NOTES IN COMPUTER SCIENCE"

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Numero di pubblicazioni : 208.

Curatela Squillero, Giovanni; Sim, Kevin (2017)
Applications of Evolutionary Computation (Part I). [Curatela]
[img]
Preview

Curatela Squillero, Giovanni; Sim, Kevin (2017)
Applications of Evolutionary Computation (Part II). [Curatela]
[img]
Preview

Curatela Squillero, Giovanni; Burelli, Paolo (2016)
Applications of Evolutionary Computation (Part I). [Curatela]
[img]
Preview

Curatela Squillero, Giovanni; Burelli, Paolo (2016)
Applications of Evolutionary Computation (Part II). [Curatela]
[img]
Preview

Articolo in atti di convegno Augusto, Adriano; Conforti, Raffaele; Dumas, Marlon; La Rosa, Marcello; Bruno, Giorgio (2016)
Automated Discovery of Structured Process Models: Discover Structured vs. Discover and Structure. In: 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016. pp. 313-329 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Sanna, Andrea; Lamberti, Fabrizio; Bazzano, Federica; Maggio, Luigi; (2016)
Developing touch-less interfaces to interact with 3D contents in public exhibitions. In: 3rd International Conference on Augmented Reality, Virtual Reality, and Computer Graphics (AVR 2016), Otranto, Lecce, Italy,, June 15-18. pp. 293-303 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Baldi, Mauro Maria; Perboli, Guido; Tadei, Roberto (2016)
Driver maneuvers inference through machine learning. In: 2nd International Workshop on Machine Learning, Optimization and Big Data, MOD 2016, ita, 2016. pp. 182-192 [Disponibilità ristretta]
Scopus: 0
[img]

Articolo in atti di convegno Tadei, Roberto; Fadda, Edoardo; Gobbato, Luca; Perboli, Guido; Rosano, Mariangela (2016)
An ICT-Based Reference Model for E-grocery in Smart Cities. In: First International Conference, Smart-CT 2016, Málaga, Spain, June 15-17, 2016, Málaga, Spain, June 15-17. pp. 22-31
Scopus: 0
[img] [img]
Preview

Articolo in atti di convegno Bazzano, Federica; Gentilini, Federico; Lamberti, Fabrizio; Sanna, Andrea; Paravati, Gianluca; Gatteschi, Valentina; Gaspardone, Marco (2016)
Immersive virtual reality-based simulation to support the design of natural human-robot Interfaces for service robotic applications. In: 3rd International Conference on Augmented Reality, Virtual Reality, and Computer Graphics (AVR 2016), Otranto, Lecce, Italy, June 15-18, 2016. pp. 1-33
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Azimi, Sarah; Du, Boyang; Sterpone, Luca (2016)
A New Simulation-Based Fault Injection Approach for the Evaluation of Transient Errors in GPGPUs. In: Architecture of Computing Systems -- ARCS 2016, Norimberga, 4 - 7 April 2016. pp. 388-400
Scopus: 0

Articolo in atti di convegno Bardini, Roberta; Benso, Alfredo; Di Carlo, Stefano; Politano, Gianfranco; Savino, Alessandro (2016)
Using Nets-Within-Nets for Modeling Differentiating Cells in the Epigenetic Landscape. In: 4th International Conference on Bioinformatics and Biomedical Engineering (IWBBIO), Granada, Spain, April 20-22, 2016. pp. 315-321
Scopus: 0
[img]
Preview
[img]

Articolo in atti di convegno Dos Santos, A.; Strada, F.; Bottino, A (2016)
The design of an augmented reality collaborative game for sustainable development. In: Games and Learning Alliance conference 2016, Utrecth (NL), 5-7 December 2016. pp. 15-23
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Rossi, F.; Savino, A.; Giannini, V.; Vignati A.; Mazzetti, S. ; Benso, A.; Di Carlo, S.; Politano, G.; Regge, D. (2015)
A 3D voxel neighborhood classification approach within a multiparametric MRI classifier for prostate cancer detection. In: Third International Conference on Bioinformatics and Biomedical Engineering (IWBBIO), Granada, ES, 15-17 Apr. 2015. pp. 231-239
Scopus: 0
[img]
Preview
[img]

Articolo in atti di convegno Ghinamo, Giorgio; Corbi, Cecilia; Lovisolo, Piero; Lingua, Andrea; Aicardi, Irene; Grasso, Nives (2015)
Accurate positioning and orientation estimation in urban environment based on 3D models. In: 18th International Conference on Image Analysis and Processing, ICIAP 2015 BioFor, CTMR, RHEUMA, ISCA, MADiMa, SBMI, and QoEM, ita, 2015. pp. 185-192
Web of Science: 1 - Scopus: 2

Articolo in atti di convegno Doina Bucur;Giovanni Iacca;Giovanni Squillero;Alberto Tonda (2015)
Black Holes and Revelations: Using Evolutionary Algorithms to Uncover Vulnerabilities in Disruption-Tolerant NetworksApplications of Evolutionary Computation. In: EvoAPPS. pp. 29-41 [Disponibilità ristretta]
Scopus: 3
[img]

Articolo in atti di convegno Giovanni Squillero (2015)
Chromatic Selection - An Oversimplified Approach to Multi-objective OptimizationApplications of Evolutionary Computation. In: EvoAPPS. pp. 681-689 [Disponibilità ristretta]
Scopus: 0
[img]

Articolo in atti di convegno Diniz Dos Santos, Alysson; Fraternali, Piero; (2015)
A Comparison of Methodological Frameworks for Digital Learning Game Design. In: 4th International Conference Games and Learning Alliance, Roma (IT), 9-11/12/2015. pp. 111-120 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Politano G.; Savino A.; Vasciaveo A. (2015)
Gene Expression vs. Network Attractors. In: Third International Conference on Bioinformatics and Biomedical Engineering (IWBBIO), Granada, ES, 15-17 Apr. 2015. pp. 623-629
Scopus: 0
[img]
Preview
[img]

Articolo in atti di convegno Cicala, Luca; Angelino, Cesario Vincenzo; Raimondo, Nadir; Baccaglini, Enrico; Gavelli, Marco (2015)
An H.264 sensor aided encoder for aerial video sequences with in-the-loop metadata enhancement. In: 16th International Conference, ACIVS 2015, Catania, Italy, October 26-29, 2015. pp. 853-863
Web of Science: 0 - Scopus: 0
[img] [img]
Preview

Articolo in atti di convegno Capozzoli A.; Chinnici M.; Perino M.; Serale G. (2015)
Review on Performance Metrics for Energy Efficiency in Data Center: The Role of Thermal Management. In: E2DC 2014, Cambridge. pp. 135-151
Web of Science: 3 - Scopus: 5

Articolo in atti di convegno Sanna A.; Manuri F.; Piumatti G.; Paravati G.; Lamberti F.; Pezzolla P. (2015)
A flexible AR-based training system for industrial maintenance. In: 2nd International Conference on Augmented and Virtual Reality, Lecce, Italy, August 31 - September 3, 2015. pp. 314-331
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Silvia Colabrese;Dario Rossi;Marco Mellia (2014)
Aggregation of Statistical Data from Passive Probes: Techniques and Best Practices. In: Traffic Monitoring and Analysis, London, 14/4/2014. pp. 38-50
Web of Science: 1 - Scopus: 0
[img]
Preview

Articolo in atti di convegno Bettassa Copet P.; Sisto R. (2014)
Automated Formal Verification of Application-specific Security Properties. In: Engineering Secure Software and Systems (ESSOS), Munich, Germany, 26-28/2/2014. pp. 45-59
Scopus: 1

Articolo in atti di convegno Canavese D.; Cesena E.; Ouchary R.; Pedicini M.; Roversi L. (2014)
Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion? In: FOPARA 2013, Bertinoro, August 2013. pp. 38-57
Web of Science: 1 - Scopus: 1

Articolo in atti di convegno Bruno G. (2014)
The Entity-Flow Perspective in Business Process Models. In: DEXA, Monaco Germania, Settembre 2014. pp. 464-471
Scopus: 0

Articolo in atti di convegno Zied Ben Houidi;Giuseppe Scavo;Samir Ghamri-Doudane;Alessandro Finamore;Stefano Traverso;Marco Mellia (2014)
Gold Mining in a River of Internet Content Traffic. In: 6th International Workshop on Traffic Monitoring and Analysis, TMA, London, 14/4/2014. pp. 91-103
Web of Science: 0 - Scopus: 3
[img] [img]
Preview

Articolo in atti di convegno Rodriguez Rocha O.; Figueroa C.; Vagliano I.; Moltchanov B. (2014)
Linked Data-Driven Smart Spaces. In: The 7th conference on Internet of Things and Smart Spaces ruSMART 2014, San Petersburg, 2014. pp. 3-15
Scopus: 0

Articolo in atti di convegno M. Vacca ; M. Graziano; J. Wang; F. Cairo; G. Causapruno ; G. Urgese; A. Biroli; M. Zamboni (2014)
NanoMagnet Logic: an Architectural Level Overview. In: Field Coupled Nanocomputing, Tampa Florida. pp. 223-256
Scopus: 9
[img]
Preview
[img]

Articolo in atti di convegno Giuseppe Airo Farulla; Ludovico Orlando Russo; Chiara Pintor; Daniele Pianu; Giorgio Micotti; Alice Rita Salgarella; Domenico Camboni; Marco Controzzi; Christian Cipriani; Calogero Maria Oddo; Stefano Rosa; Marco Indaco (2014)
Real-time single camera hand gesture recognition system for remote deaf-blind communication. In: 1st International Conference on Augmented and Virtual Reality - Salento AVR 2014, Lecce, 17-20 September 2014. pp. 35-52 [Disponibilità ristretta]
Web of Science: 2 - Scopus: 4
[img]

Articolo in atti di convegno Silvia Colabrese;Dario Rossi;Marco Mellia (2014)
Scalable Accurate Consolidation of Passively Measured Statistical Data. In: Passive and Active Measurement (PAM), Los Angeles, CA, March 2014. pp. 262-264
Scopus: 0
[img] [img]
Preview

Articolo in atti di convegno Anjum M.L.; Ahmad O.; Bona B.; Cho D.D. (2014)
Sensor Data Fusion using Unscented Kalman Filter for VOR-based Vision Tracking System for Mobile Robots. In: TAROS 2013, Oxford, UK, 28-30 August 2013. pp. 103-113
Web of Science: 0 - Scopus: 0
[img]
Preview

Articolo in atti di convegno Sebastian Aced Lopez; Dario Bonino; Fulvio Corno (2014)
Template-based ontology population for Smart Environments configuration. In: The 9th Semantic Web Enabled Software Engineering, Berlin (DE), December 2-5, 2013. pp. 271-278
Web of Science: 0 - Scopus: 0
[img]
Preview

Articolo in atti di convegno Vacca, M.; Frache, S.; Graziano, M.; Riente, F.; Turvani, G.;Ruo Roch, M.;Zamboni, M. (2014)
ToPoliNano: NanoMagnet Logic Circuits Design and Simulation. In: Field-Coupled Nanocomputing, Tampa (FL), 2014. pp. 274-306 [Disponibilità ristretta]
Scopus: 9
[img] [img]

Articolo in atti di convegno A. Pulimeno;M. Graziano;A. Antidormi;R. Wang;A. Zahir;G. Piccinini (2014)
Understanding a Bisferrocene Molecular QCA Wire. In: Field-Coupled Nanocomputing, Tampa (FL), 2014. pp. 307-338
Scopus: 2
[img] [img]
Preview

Articolo in atti di convegno Manuri F.; Sanna A.; Lamberti F.; Paravati G.; Pezzolla P. (2014)
A workflow analysis for implementing AR-based maintenance procedures. In: 1st International Conference on Augmented and Virtual Reality, September 17-20, 2014, Lecce, Italy. pp. 185-200
Web of Science: 1 - Scopus: 2

Articolo in atti di convegno Baralis E.; Cerquitelli T.; Chiusano S.; Grimaudo L.; Xiao X. (2013)
Analysis of Twitter Data Using a Multiple-level Clustering Strategy. In: Third International Conference on Model and Data Engineering (MEDI 2013), Amantea (Italy), September 25-27, 2013. pp. 13-24
Web of Science: 4 - Scopus: 7
[img]
Preview

Articolo in atti di convegno T.F. Vieira; A. Bottino; I. Ul Islam (2013)
Automatic Verification of Parent-Child Pairs from Face Images. In: CIARP 2013, Havana, Cuba, 20-23 November, 2013. pp. 326-333
Scopus: 3

Articolo in atti di convegno V. Minucciani; G. Garnero (2013)
Available and Implementable Technologies for Virtual Tourism: A Prototypal Station Project. In: Computational Science and Its Applications - ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013. pp. 193-204 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 6
[img]

Articolo in atti di convegno Su T.; Lyle J.;Atzeni A.;Faily S.; Virji H.; Ntanos C.; Botsikas C. (2013)
Continuous integration for web-based software infrastructures: lessons learned on the webinos project. In: HVC-2013: Ninth Haifa Verification Conference, Haifa (Israel), 5-7/11/2013. pp. 145-150
Scopus: 2

Articolo in atti di convegno Bruno G. (2013)
Coordination issues in artifact-centric business process models. In: Database and Expert Systems Applications, Prague, 26-29 August. pp. 209-223
Scopus: 2

Articolo in atti di convegno A.C. Carlini;P.D. Rosa;B. Montrucchio;I. Cenci;F. Claudio;G. Luongo;J. Spigaroli;G. Gini (2013)
Defining new structural and mobile support to improve hospital facilities access and usability. In: 2nd International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2012, Paris (FR), 27-28 August 2012. pp. 55-71 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Gaudesi M.; Marion A.; Musner T.; Squillero G.; Tonda A. (2013)
An Evolutionary Approach to Wetlands Design. In: 11th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2013, Vienna (Austria), 3-5 April 2013. pp. 177-187
Scopus: 0

Articolo in atti di convegno Doina Bucur; Giovanni Iacca; Giovanni Squillero; Alberto Tonda (2013)
An Evolutionary Framework for Routing Protocol Analysis in Wireless Sensor Networks. In: 16th European Conference on Applications of Evolutionary Computation, EvoApplications 2013, Vienna (Austria), 3-5 April 2013. pp. 1-11
Scopus: 4

Articolo in atti di convegno Angelino, Cesario Vincenzo; Cicala, Luca; De Mizio, Marco; Leoncini, Paolo; Baccaglini, E.; Gavelli, M.; Raimondo, N.; Scopigno, R. (2013)
H.264 sensor aided video encoder for UAV BLOS missions. In: 17th International Conference on Image Analysis and Processing, ICIAP 2013, Napoli, Italy, September 9-13, 2013. pp. 749-752 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 1
[img]

Articolo in atti di convegno Alberto Tonda;Evelyne Lutton;Giovanni Squillero;Pierre-Henri Wuillemin (2013)
A Memetic Approach to Bayesian Network Structure Learning. In: 16th European Conference, EvoApplications 2013, Vienna (Austria), April 3-5, 2013. pp. 102-111 [Disponibilità ristretta]
Scopus: 5
[img]

Articolo in atti di convegno Karimiyan Alidash H.; Calimera A.; Macii E.; Poncino M.; Macii A. (2013)
On-Chip NBTI and PBTI Tracking Through an All-Digital Aging Monitor Architecture. In: 22nd International Workshop, PATMOS, September 4-6, 2012, Newcastle upon Tyne, UK. pp. 155-165
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Cutillo L.A.; Lioy A. (2013)
Towards privacy-by-design peer-to-peer cloud computing. In: TRUSTBUS-2013, Prague (Czech Republic), 28-29 August 2013. pp. 85-96 [Disponibilità ristretta]
Scopus: 0
[img]

Articolo in atti di convegno J. Du, M. Indri, D. Dresscher, S. Stramigioli (2012)
Autonomous Exploration Using Kinect and Laser Range Finder. In: 13th Annual Conference on Towards Autonomous Robotic Systems, TAROS 2012 and 15th Annual FIRA RoboWorld Congress, Bristol (UK), 20-23 August 2012. pp. 420-421
Scopus: 1
[img]
Preview

Articolo in atti di convegno G. Bruno (2012)
Combining information and activities in business processes. In: 23rd International Conference on Database and Expert Systems Applications, DEXA 2012, Vienna (Austria), 3-6 September 2012. pp. 481-488
Scopus: 0

Articolo in atti di convegno A. Bottino; A. Laurentini (2012)
The Intrinsic Dimensionality of Attractiveness: A Study in Face Profiles. In: 17th Iberoamerican Congress on Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, CIARP 2012, Buenos Aires (Argentina), 3-6 September 2012. pp. 59-66
Scopus: 3
[img]
Preview
[img]

Articolo in atti di convegno Nicolas Boria; Jérôme Monnot; Vangelis Th. Paschos (2012)
Reoptimization of Some Maximum Weight Induced Hereditary Subgraph Problems. In: 0th Latin American Symposium, Arequipa (Peru), April 16-20, 2012. pp. 73-84
Web of Science: 0 - Scopus: 1
[img] [img]
Preview

Articolo in atti di convegno Faily S., Lyle J., Paul A., Atzeni A., Blomme D., Desruelle H., And Bangalore K. (2012)
Requirements Sensemaking using Concept Maps. In: HCSE-2012: 4th International Conference on Human-Centred Software Engineering, Toulouse (France), October 29-31, 2012. pp. 217-232
Scopus: 4

Articolo in atti di convegno Faisal Razzak (2012)
Semantic Web Technologies' Role in Smart Environments. In: OTM 2012 Workshops. pp. 54-58 [Disponibilità ristretta]
Scopus: 0
[img]

Capitolo di libro Costamagna, Erik; Spanò, Antonia Teresa (2012)
Semantic models for Architectural Heritage documentation. In: Progress in cultural heritage preservation, EUROMED 2012 / Ioannides, M., Fritsch, D., Leissner, J., Davies, R., Remondino, F., Caffo, R. Springer-Verlag Berlin Heidelberg, Berlino, pp. 241-250. ISBN 978-3-642-34233-2 [Disponibilità ristretta]
Scopus: 1
[img]

Articolo in atti di convegno E. Cesena, M. Pedicini, L. Roversi (2012)
Typing a Core Binary-Field Arithmetic in a Light Logic. In: Second International Workshop, FOPARA 2011, Revised Selected Papers, Madrid, Spain, May 2011. pp. 19-35
Scopus: 2

Articolo in atti di convegno G. Bruno,A. Villa (2012)
An ontology-based model for SME network contracts. In: Confederated International Workshops on On the Move to Meaningful Internet Systems, OTM 2012: OTM Academy, Industry Case Studies Program, EI2N 2012, INBAST 2012, META4eS 2012, OnToContent 2012, ORM 2012, SeDeS 2012, SINCOM 2012, and SOMOCO 2012, Rome (Italy), 10-14 September 2012. pp. 85-92
Scopus: 8
[img]
Preview

Articolo in atti di convegno Xu Z.; Coors V. (2011)
Application of System Dynamics, GIS and 3D Visualization in a Study of Residential Sustainability. In: 2011 International Conference on Computational Science and Its Applications, ICCSA 2011, Santander (Spain), 2011, 20-23 June. pp. 300-314 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 1
[img]

Curatela C. Di Chio, A. Brabazon, G.A. Di Caro, R. Drechsler, M. Farooq, J. Grahl, G. Greenfield, C. Prins, J. Romero, G. Squillero, E. Tarantino, A.G.B. Tettamanzi, N. Urquhart, A. Sima Uyar (2011)
Applications of Evolutionary ComputationEvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino, Italy, April 27-29, 2011, Proceedings, Part II. [Curatela]

Articolo in atti di convegno Hofstede, Rick; Drago, Idilio; Moura, Giovane C.M.; Pras, Aiko (2011)
Carrier ethernet OAM: An overview and comparison to IP OAM. In: 5th International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2011, Nancy, France, 2011. pp. 112-123 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 2
[img]

Articolo in atti di convegno Baralis E.; Cerquitelli T.; Chiusano S.; Grand A.; Grimaudo L. (2011)
An Efficient Itemset Mining Approach for Data Streams. In: 15th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2011, Kaiserslautern (DE), September 12- 14, 2011. pp. 515-523 [Disponibilità ristretta]
Web of Science: 3 - Scopus: 4
[img]

Articolo in atti di convegno E. Sanchez; G. Squillero; A. Tonda (2011)
Evolution of Test Programs Exploiting a FSM Processor Model. In: EvoApplications 2011: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Torino (ITA), April 27-29, 2011. pp. 162-171
Web of Science: 0 - Scopus: 1
[img] [img]
Preview

Articolo in atti di convegno Berbecaru D., Lioy A., Aime M.D. (2011)
Exploiting proxy-based federated identity management in wireless roaming access. In: 8th International Conference, TrustBus 2011, Toulouse (FR), August 29 - September 2, 2011. pp. 13-23 [Disponibilità ristretta]
Scopus: 1
[img]

Articolo in atti di convegno Hofstede, Rick; Drago, Idilio; Sperotto, Anna; Pras, Aiko (2011)
Flow monitoring experiences at the ethernet-layer. In: 17th International Workshop on Energy-Aware Communications, EUNICE 2011, Dresden, Germany, 2011. pp. 134-145 [Disponibilità ristretta]
Web of Science: 2 - Scopus: 2
[img]

Articolo in atti di convegno Di Carlo, S.; Politano, G.; Prinetto, P.; Savino, A.; Scionti, A. (2011)
Genetic Defect Based March Test Generation for SRAM. In: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, EvoApplications 2011, Torino (IT), April 27-29 2011. pp. 141-150
Web of Science: 0 - Scopus: 1
[img] [img]
Preview

Articolo in atti di convegno Della Croce F.; Grosso A.; Salassa F. (2011)
A Matheuristic Approach for the Total Completion Time Two-Machines Permutation Flow Shop Problem. In: 11th European Conference, EvoCOP 2011, Torino (IT), April 27-29, 2011. pp. 38-47 [Disponibilità ristretta]
Web of Science: 4 - Scopus: 8
[img]

Articolo in atti di convegno Alessandro Finamore; Marco Mellia; Michela Meo (2011)
Mining Unclassified Traffic Using Automatic Clustering Techniques. In: Traffic Monitoring and Analysis, Vienna, 27/4/2011. pp. 150-163 [Disponibilità ristretta]
Web of Science: 6 - Scopus: 12
[img] [img]

Articolo in atti di convegno T.G. Crainic; S. Mancini; G. Perboli; R. Tadei (2011)
Multi-start heuristics for the Two-Echelon Vehicle Routing Problem. In: 11th European Conference, EvoCOP 2011, Torino (IT), April 27-29, 201. pp. 179-190
Web of Science: 25 - Scopus: 41
[img] [img]
Preview

Articolo in atti di convegno Castagna R.; Chiolerio A.; Margaria V. (2011)
Music Translation of Tertiary Protein Structure: Auditory Patterns of the Protein Folding. In: EvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, EvoApplications 2011, Torino (ITA), April 27-29, 201. pp. 214-222 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Ricca F., Marchetto A., Torchiano M. (2011)
On the Difficulty of Computing the Truck Factor. In: 12th International Conference on Product-Focused Software Process Improvement, PROFES 2011, Torre Canne (IT), June 20-22, 2011. pp. 337-351 [Disponibilità ristretta]
Scopus: 6
[img]

Articolo in atti di convegno Procaccianti G., Vetrò A., Ardito L., Morisio M. (2011)
Profiling Power Consumption on Desktop Computer Systems. In: 1st International Conference on Information and Communication on Technology for the Fight Against Global Warming, ICT-GLOW 2011, Toulouse (FR), August 30-31, 2011. pp. 110-123
Scopus: 6
[img]
Preview

Articolo in atti di convegno Restagno L., Akkermans V., Rizzo G., Servetti A. (2011)
A Semantic Web Annotation Tool for a Web-Based Audio Sequencer. In: 11th International Conference, ICWE 2011, Paphos (CY), June 20-24, 2011. pp. 289-303
Web of Science: 0 - Scopus: 0
[img]
Preview
[img]

Articolo in atti di convegno K. Lingasubramanian; A. Calimera; A. Macii; E. Macii; M. Poncino (2011)
Sub-row sleep transistor insertion for concurrent clock-gating and power-gating. In: 21st International Workshop on Power and Timing Modeling, Optimization, and Simulation, PATMOS 2011, Madrid (SP), September 26-29, 2011. pp. 214-225 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Raguseo E., Ferro E. (2011)
eGovernment and organizational changes: towards anextended governance model. In: 10th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2011, 28 August-2 September 2011, Delft (Netherlands). pp. 418-430
Scopus: 3
[img]
Preview
[img]

Articolo in atti di convegno H. Karimiyan;A. Calimera;A. Macii;E. Macii;M. Poncino (2011)
An on-chip all-digital PV-monitoring architecture for digital IPs. In: 21st International Workshop on Power and Timing Modeling, Optimization, and Simulation, PATMOS 2011, Madrid (SP), September 26-29, 2011. pp. 162-172 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Baralis E.; Bruno G.; Chiusano S.; Domenici V.C.; Mahoto N.A.; Petrigni C. (2010)
Analysis of Medical Pathways by means of Frequent Closed Sequences. In: 14th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, Cardiff (UK), 8-10 September 2010. pp. 418-425 [Disponibilità ristretta]
Web of Science: 7 - Scopus: 13
[img]

Articolo in atti di convegno Cesena E.; Loehr H.; Ramunno G.; Sadeghi A.R.; Vernizzi D. (2010)
Anonymous authentication with TLS and DAA. In: Third International Conference, TRUST 2010, Berlin (Germany), June 21-23, 2010. pp. 47-62
Web of Science: 8 - Scopus: 16

Articolo di rivista Misuraca G.; Ferro E.; Caroleo B. (2010)
Assessing Emerging ICT-Enabled Governance Models in European Cities: Results from a Mapping Survey. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 6228, pp. 168-179. - ISSN 0302-9743 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 2
[img]

Articolo in atti di convegno Alberto Bonanno; Alberto Bocca; Alberto Macii; Enrico Macii; Massimo Poncino (2010)
Data-Driven Clock Gating for Digital Filters. In: 19th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS 2009), Delft (NL), September 9-11, 2009. pp. 96-105 [Disponibilità ristretta]
Web of Science: 2 - Scopus: 4
[img]

Articolo di rivista Pironti A.; Jürjens J (2010)
Formally-Based Black-Box Monitoring of Security Protocols. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 5965/2010, pp. 79-95. - ISSN 0302-9743
Web of Science: 2 - Scopus: 4

Articolo in atti di convegno Ferro E.; Caroleo B.; Cantamessa M.; Leo M. (2010)
ICT Diffusion in an Aging Society: A Scenario Analysis. In: 9th IFIP WG 8.5 International Conference on Electronic Government, EGOV 2010, Lausanne (Switzerland), 29 August - 2 September 2010. pp. 263-274 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 3
[img]

Articolo in atti di convegno Pasero E; Raimondo G; Ruffa S. (2010)
MULP: A Multi-Layer Perceptron Application to Long-Term, Out-of-Sample Time Series Prediction. In: 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, 6-9 June 2010. pp. 566-575 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 3
[img]

Capitolo di libro Rinaudo F.; Chiabrando F.; Nex F.; Piatti D. (2010)
New instruments and technologies for Cultural Heritage survey: full integration between point clouds and digital photogrammetry. In: LECTURE NOTES IN COMPUTER SCIENCE / Ioannides M.,Fellner D.,Georgopoulos A.,Hadjimitsis D.G. Springer, Berlin, pp. 56-70. ISBN 9783642168727 [Disponibilità ristretta]
Web of Science: 3 - Scopus: 3
[img] [img]

Articolo in atti di convegno Wei L.; Calimera A.; Nannarelli A.; Macii E.; Poncino M. (2010)
On-chip Thermal Modeling Based on SPICE Simulation. In: 19th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2009, Delft (NL), September 9-11, 2009. pp. 66-75 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 14
[img]

Articolo di rivista Ferro E.; Caroleo B.; Cantamessa M.; Leo M. (2010)
Policy Incentives for Innovation Diffusion: An Agent-Based Simulation. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 6267, pp. 166-173. - ISSN 0302-9743 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 2
[img]

Articolo in atti di convegno Drago, Idilio; Pras, Aiko (2010)
Scalable service performance monitoring. In: 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, 2010. pp. 175-178 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Catuogno L.; Dmitrienko A.; Eriksson K.; Kuhlmann D.; Ramunno G.; Sadeghi A.R.; Schulz S.; Schunter M.; Winandy M.; Zhan J. (2010)
Trusted Virtual Domains - Design, Implementation and Lessons Learned. In: First International Conference, INTRUST 2009, Beijing (CN), December 17-19, 2009. pp. 156-179
Web of Science: 9 - Scopus: 34

Articolo in atti di convegno Barberis D.; Garazzino N.; Piccolo E.; Prinetto P.; Tiotto G. (2010)
A Web Based Platform for Sign Language Corpus Creation. In: 12th International Conference, ICCHP 2010, Vienna (AT), July14-16, 2010. pp. 193-199 [Disponibilità ristretta]
Web of Science: 2 - Scopus: 4
[img]

Articolo di rivista Ricciardi F; Lombardi P. (2010)
Widening the Disciplinary Scope of eParticipation. Reflections after a Research on Tourism and Cultural Heritage. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 6229, pp. 140-150. - ISSN 0302-9743 [Disponibilità ristretta]
Web of Science: 7 - Scopus: 8
[img] [img]

Articolo in atti di convegno Bottino A.; Laurentini A (2010)
The analysis of facial beauty: an emerging area of research in pattern analysis. In: 7th International Conference on Image Analysis and Recognition, ICIAR 2010, Póvoa de Varzim (PT), June 21-23, 2010. pp. 425-435
Web of Science: 8 - Scopus: 11
[img] [img]
Preview

Articolo in atti di convegno Bompard E.; Masera M.; Napoli R.; Xue F. (2009)
Assessment of structural vulnerability for power grids by network performance based on complex networks. In: Critical Information Infrastructures Security 3rd International Workshop, CRITIS 2008, Frascati (ITA), October 13-15, 2008. pp. 144-154 [Disponibilità ristretta]
Web of Science: 9 - Scopus: 11
[img]

Articolo in atti di convegno Baralis E., Cagliero L., Cerquitelli T., Garza P., Marchetti M. (2009)
Context-Aware User and Service Profiling by means of Generalized Association Rules. In: 13th International Conference on Knowledge-based and Intelligent Systems (KES'09), Santiago Chile, September 28-30, 2009. pp. 50-57
Web of Science: 4 - Scopus: 15

Articolo in atti di convegno N. Bourgeois; Della Croce Di Dojola F.; B. Escoffier; V.T. Paschos (2009)
Exact algorithms for dominating clique problems. In: 20th International Symposium, ISAAC 2009, Honolulu, Hawaii (USA), December 16-18, 2009. pp. 4-13
Web of Science: 2 - Scopus: 4

Articolo in atti di convegno Fiandrotti A.; Dario Gallucci; Enrico Masala; Juan Carlos De Martin (2009)
High-Performance H.264/SVC Video Communications in 802.11e Ad Hoc Networks. In: First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 11-12, 2008. pp. 200-210 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 4
[img]

Articolo in atti di convegno Bonino D; Corno F. (2009)
Interoperation Modeling for Intelligent Domotic Environments. In: European Conference, AmI 2009, Salzburg (AT), November 18-21, 2009. pp. 143-152 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 3
[img]

Articolo in atti di convegno Upasani G., Calimera A., Macii A., Macii E., Poncino M. (2009)
Reducing Timing Overhead in Simultaneously Clock-Gated and Power-Gated Designs by Placement-Aware Clustering. In: 19th International Workshop, PATMOS 2009, Delft (NLD), September 9-11, 2009,. pp. 227-236 [Disponibilità ristretta]
Scopus: 0
[img]

Articolo in atti di convegno Sterpone L. (2009)
Timing driven placement for fault tolerant circuits implemented on SRAM-based FPGAs. In: 5th International Workshop, ARC 2009, Karlsruhe (Germany), March 16-18, 2009. pp. 85-96
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Bottino A. (2009)
Towards an Iterative Algorithm for the Optimal Boundary Coverage of a 3D Environment. In: 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, Guadalajara (MX), November 15-18, 2009. pp. 707-715
Web of Science: 0 - Scopus: 1
[img] [img]
Preview

Articolo di rivista Bonino D; Corno F. (2008)
DogOnt - Ontology Modeling for Intelligent Domotic Environments. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 5318/2008, pp. 790-803. - ISSN 0302-9743
Web of Science: 48 - Scopus: 54
[img]
Preview

Articolo in atti di convegno Ravotto D; Sanchez E.; Schillaci M; Squillero G (2008)
An Evolutionary Methodology for Test Generation for Peripheral Cores Via Dynamic FSM Extraction. In: EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples (ITA), March 26-28, 2008. pp. 214-223 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 5
[img]

Articolo in atti di convegno Bernardi P; Christou K; Grosso M.; Michael M; Sanchez E; Sonza Reorda M (2008)
Exploiting MOEA to Automatically Generate Test Programs for Path-delay Faults in Microprocessors. In: European Workshops on the Theory and Applications of Evolutionary Computation, EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples (IT), March 26-28, 2008. pp. 224-234
Scopus: 5

Articolo in atti di convegno Calvo A; Chiò A; Castellina E; Corno F.; Farinetti L; Ghiglione P; Pasian V; And Vignola A (2008)
Eye Tracking Impact on Quality-of-Life of ALS Patients. In: 11th International Conference on Computers Helping People with Special Needs, Linz (AT), 9-11 July 2008. pp. 70-77
Web of Science: 11 - Scopus: 12
[img] [img]
Preview

Articolo in atti di convegno Fabris, Fábio; Drago, Idilio; Varejão, Flávio M. (2008)
A multi-measure nearest neighbor algorithm for time series classification. In: 11th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2008, Lisbon, Portugal, 2008. pp. 153-162 [Disponibilità ristretta]
Web of Science: 2 - Scopus: 2
[img]

Articolo di rivista Sithambaram P.; Macii A.; Macii E. (2007)
New Adaptive Encoding Schemes for Switching Activity Balancing in On-Chip Buses. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 4644, pp. 232-241. - ISSN 0302-9743 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 1
[img]

Articolo di rivista Berbecaru D; Lioy A. (2007)
On the robustness of applications based on the SSL and TLS security protocols. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 4582, pp. 248-264. - ISSN 0302-9743
Web of Science: 1 - Scopus: 0

Articolo in atti di convegno A. Susu; M. Magno; Acquaviva A.; D. Atienza; G. De Micheli (2007)
Reconfiguration Strategies for Environmentally Powered Devices: Theoretical Analysis and Experimental Validation. In: First International Conference on High-Performance Embedded Architectures and Compilers, HiPEAC 2005. pp. 341-360 [Disponibilità ristretta]
Web of Science: 6 - Scopus: 13
[img]

Articolo in atti di convegno Maurizio Morisio; Evgenia Egorova; Torchiano M. (2007)
Why software projects fail? Empirical evidence and relevant metrics. In: International Conference on Software Process and Product Measurement (Mensura 2007), Palma de Mallorca, Spain, November 5-8. pp. 299-308

Articolo in atti di convegno Lioy A.; Pala M. (2006)
Fighting e-mail abuses: the EMPE approach. In: Third European PKI Workshop: Theory and Practice, EuroPKI 2006, Turin (Italy), June 19-20, 2006. pp. 130-144 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Bruno G.; La Rosa M. (2006)
From collaboration models to BPEL processes through service models. In: BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy (FR), September 5, 2005. pp. 75-88 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 3
[img]

Articolo di rivista Ozcelebi T; De Vito F.; Tekalp M; Civanlar R; Sunay O; De Martin J.C (2006)
Optimal Cross-Layer Scheduling with Content and Packet Priorities for Optimal Video Streaming over 1xEV-DO. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 3893, pp. 76-83. - ISSN 0302-9743
Web of Science: 0 - Scopus: 2

Articolo di rivista De Vito F.; Ozcelebi T; Civanlar R; Tekalp M; De Martin J.C (2006)
Per-GOP Bitrate Adaptation for H.264 Compressed Video Sequences. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 3893, pp. 198-206. - ISSN 0302-9743
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Jingyue Li; Torchiano M.; Reidar Conradi; Odd Petter N. Slyngstad; Christian Bunse (2006)
A State-of-the-Practice Survey of Off-the-Shelf Component-Based Development Processes. In: Int. Conference on Software Reuse (ICSR9), Torino (Italy), June 12-15, 2006. pp. 16-28
Web of Science: 4 - Scopus: 3

Articolo in atti di convegno Servetti A.; De Martin J (2005)
802.11 MAC Protocol with Selective Error Detection for Speech Transmission. In: Third International Workshop, QoS-IP 2005, Catania (ITA), February 2-4, 2004. pp. 509-519 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 3
[img]

Articolo in atti di convegno Sanchez E.; Squillero G; Sonza Reorda M (2005)
Automatic Completion and Refinement of Verification Sets for Microprocessor Cores. In: EvoWorkkshops 2005: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Lausanne (CHE), March 30 - April 1, 2005. pp. 205-214
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Cibrario Bertolotti I.; Durante L.; Sisto R.; Valenzano A. (2005)
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study. In: Second International Conference, DIMVA 2005, Vienna (AT), July 7-8, 2005. pp. 69-84
Web of Science: 0 - Scopus: 3

Articolo di rivista Chavas J; Battaglia D; Cicuttin A; Zecchina R. (2005)
Construction and VHDL implementation of a fully local network with good reconstruction properties of the inputs. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 3562, pp. 385-394. - ISSN 0302-9743
Web of Science: 1 - Scopus: 1

Articolo in atti di convegno Aime M.D; Lioy A.; Ramunno G (2005)
Decentralised access control in 802.11 networks. In: 9th IFIP TC-6 TC-11International Conference, CMS 2005, Salzburg (AT), September 19 – 21, 2005. pp. 180-190
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Sithambaram P.; Macii A.; Macii E. (2005)
Design and Implementation of a Memory Generator for Low-Energy Application-Specific Block-Enabled SRAMs. In: 15th International Workshop, PATMOS 2005, Leuven (BEL), September 21-23, 2005. pp. 477-487 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Li, Jingyue; Conradi, Reidar; Slyngstad, Odd Petter N; Bunse, Christian; Torchiano, Marco; Morisio, Maurizio (2005)
An Empirical Study on Off-the-Shelf Component Usage in Industrial Projects. In: 6th International Conference on Product Focused Software Process Improvement, PROFES 2005, Oulu, Finland, June 13-15. pp. 54-68
Web of Science: 5 - Scopus: 8

Articolo in atti di convegno Bisdounis L; Blionas S; Macii E.; Nikolaidis S; Zafalon R (2005)
Energy-aware system-on-chip for 5 GHz wireless LANs. In: 15th International Workshop, PATMOS 2005, Leuven, September 21-23, 2005. pp. 166-176
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Chakraborty A; Macii E.; Poncino M (2005)
Exploiting Cross-Channel Correlation for Energy-Efficient LCD Bus Encoding. In: 15th International Workshop, PATMOS 2005, Leuven, September 21-23, 2005. pp. 297-307
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Lioy A., Ramunno G., Aime M.D., Pala M. (2005)
Motivations for a theoretical approach to WYSIWYS. In: 9th IFIP TC-6 TC-11International Conference, CMS 2005, Salzburg (AT), September 19 – 21, 2005. pp. 289-290
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno F. Freschi; M. Repetto (2005)
Multiobjective Optimization by a Modified Artificial Immune System Algorithm. In: 4th International Conference on Artificial Immune Systems, ICARIS 2005, Banff, Alta (Canada), 14-17 August 2005. pp. 248-261 [Disponibilità ristretta]
Web of Science: 29 - Scopus: 40
[img]

Articolo in atti di convegno Bottino A.; Laurentini A (2005)
Optimal positioning of sensors in 3D. In: 10th Iberoamerican Congress on Pattern Recognition, CIARP 2005, Havana (CUB), November 15-18, 2005. pp. 804-812
Web of Science: 4 - Scopus: 5

Articolo in atti di convegno Graziano M.; C. Forzan; D. Pandini (2005)
Power Supply Selective Mapping for Accurate Timing Analysis. In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, Leuven, Belgio, September 2005. pp. 267-276
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Li, Jingyue; Conradi, Reidar; Slyngstad, Odd Petter N. ; Torchiano, Marco; Morisio, Maurizio; Bunse, Christian (2005)
Preliminary Results from a State-of-the-Practice Survey on Risk Management in Off-the-Shelf Component-Based Development. In: 4th International Conference on COTS-Based Software Systems, ICCBSS 2005, Bilbao, Spain, February 7-11. pp. 278-288
Web of Science: 3 - Scopus: 7

Articolo in atti di convegno Alfieri A.; S.L. Van De Velde; G.J. Woeginger (2005)
Roll cutting in the curtain industry. In: 13th Annual European Symposium on Algorithms, ESA 2005. pp. 283-292
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Bosca A.; G. Valetto; R. Maglione; F. Corno (2005)
Specifying Web Service Compositions on the Basis of Natural Language Requests. In: 3rd International Conference on Service-Oriented Computing, ICSOC 2005, Amsterdam (NL), 12-15 December 2005. pp. 588-593
Web of Science: 0 - Scopus: 3

Articolo in atti di convegno Baralis E.M.,Garza P., Quintarelli E., Tanca L. (2005)
Summarizing XML Data by Means of Association Rules. In: EDBT Workshops 2004, Heraklion, Crete, Greece. pp. 260-269
Web of Science: 3 - Scopus: 2

Articolo in atti di convegno Baldi M.; Risso F. (2005)
Towards Effective Portability of Packet Handling Applications Across Heterogeneous Hardware Platforms. In: IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis (FR), November 21-23, 2005. pp. 28-37
Scopus: 0
[img] [img]
Preview

Articolo in atti di convegno Ferro E., Cantamessa M., Paolucci E. (2005)
Urban Versus Regional Divide: Comparing and Classifying Digital Divide. In: International Conference on E-Government, TCGOV 2005, Bolzano (Italy), 2-4 March 2005. pp. 81-90 [Disponibilità ristretta]
Web of Science: 7 - Scopus: 7
[img]

Articolo in atti di convegno Betsy Clark, Marco Torchiano (2004)
COTS Terminology and Categories: Can We Reach a Consensus? In: Third International Conference, ICCBSS 2004, Redondo Beach (USA), February 1-4, 2004. pp. 4-5
Web of Science: 0 - Scopus: 1

Articolo di rivista De Gregorio P.; Lawlor A; Bradely P; Dawson K.A (2004)
Cellular Automata with Rare Events; Resolution of an Outstanding Problem in the Bootstrap Percolation Model. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 3305, pp. 365-374. - ISSN 0302-9743
Web of Science: 1 - Scopus: 1

Articolo in atti di convegno Carvallo, Juan P. ; Franch, Xavier; Quer, Carme; Torchiano, Marco (2004)
Characterization of a Taxonomy for Business Applications and the Relationships among them. In: Third International Conference on COTS Based Software Systems (ICCBBS), Redondo Beach; United States, February 1-4. pp. 221-231
Scopus: 15

Articolo in atti di convegno Cantamessa M.; Paolucci E.; Ferro E. (2004)
Economies of Scale in e-Government: Time for Evidence. In: Third International Conference, EGOV 2004, Zaragoza (Spain), August 30-September 3, 2004. pp. 172-177
Web of Science: 1 - Scopus: 1

Articolo in atti di convegno Lioy A.; Marian M.; Moltchanova N.; Pala M. (2004)
The EuroPKI experience. In: First European PKI Workshop: Research and Applications, EuroPKI 2004, Samos Island (GR), June 25-26, 2004. pp. 14-27
Web of Science: 2 - Scopus: 2

Articolo in atti di convegno E. Sanchez; Squillero G.; M. Violante (2004)
Exploiting HW Acceleration for Classifying Complex Test Program Generation Problems. In: EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoISAP, EvoMUSART, and EvoSTOC, Coimbra, April 5-7, 2004. pp. 230-239
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Cibrario Bertolotti I.; Durante L.; Sisto R.; Valenzano A. (2004)
Exploiting Symmetries for Testing Equivalence in the Spi Calculus. In: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, Taipei (TW), October 31-November 3, 2004. pp. 135-149
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno S. Salerno; E. Macii; Poncino M. (2004)
A Low-Power Encoding Scheme for GigaByte Video Interfaces. In: 14th International Workshop, PATMOS 2004, Santorini, September 15-17, 200. pp. 58-68
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Bottino A.; Laurentini A (2004)
Optimal positioning of sensors in 2D. In: 9th Iberoamerican Congress on Pattern Recognition, CIARP 2004, Puebla (MEX), October 26-29, 2004. pp. 53-58
Web of Science: 3 - Scopus: 6

Articolo di rivista A. Braunstein; Zecchina R. (2004)
Survey and Belief Propagation on Random K-SAT. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 2919, pp. 519-528. - ISSN 0302-9743 [Disponibilità ristretta]
Web of Science: 2 - Scopus: 8
[img]

Articolo in atti di convegno Torchiano, Marco; Jaccheri, Letizia (2003)
Assessment of Reusable COTS Attributes. In: Second International Conference on COTS Based Software Systems (ICCBBS), February 10-12. pp. 219-228
Web of Science: 1 - Scopus: 1

Articolo in atti di convegno Addino M.; Casu M.R.; Masera G.; Piccinini G.; Zamboni M. (2003)
A Block-Based Approach for SoC Global Interconnect Electrical Parameters Characterization. In: PATMOS 2002. pp. 121-130 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Martina M., Molino A., Nicola M., Vacca F. (2003)
Design of a Power Conscious, Customizable CDMA Receiver. In: Field Programmable Logic and Application. pp. 1028-1031 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 2
[img]

Articolo in atti di convegno M.R. Casu, M. Graziano, G. Masera, G. Piccinini, M. Zamboni (2003)
Effects of Temperature in Deep-Submicron Global Interconnect Optimization. In: Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, Turin, September 2003. pp. 90-100 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno F. Corno; Squillero G. (2003)
An Enhanced Framework for Microprocessor Test-Program Generation. In: 6th European Conference, EuroGP 2003, Essex (UK), April 14–16, 2003. pp. 307-315
Web of Science: 1 - Scopus: 1

Articolo di rivista F. Corno; Squillero G. (2003)
Exploiting Auto-Adaptive microGP for Highly Effective Test Programs Generation. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 2606, pp. 262-273. - ISSN 0302-9743

Articolo in atti di convegno Baldi, Mario; Ofek, Yoram; Yung, Moti (2003)
Idiosyncratic signatures for authenticated execution of management code. In: 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2003), Heidelberg. pp. 204-206
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Cibrario Bertolotti I; Durante L; Sisto R.; Valenzano A (2003)
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. In: 23rd IFIP WG 6.1 International Conference, Berlin (DE), September 29 – October 2. pp. 224-239
Web of Science: 2 - Scopus: 2

Articolo in atti di convegno Baralis E., Garza P. (2003)
Majority Classification by Means of Association Rules. In: 7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik; Croatia. pp. 35-46
Web of Science: 4 - Scopus: 10

Articolo in atti di convegno M. Martina, A. Molino, F. Quaglio, F. Vacca (2003)
A Power-Scalable Motion Estimation Architecture for Energy Constrained Applications. In: Field Programmable Logic and Application. pp. 712-721 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Bottino A; Jaulin L; Laurentini A. (2003)
Reconstructing 3D objects from silhouettes when the Relative Positions of the Viewpoints is Unknown: the case of planar orthographic views. In: CIARP 2003, Havana, Cuba, November 26-29, 2003. pp. 153-162

Articolo di rivista M. Bruno; Macii A.; M. Poncino (2003)
A Statistic Power Model for Non-synthetic RTL Operators. In: LECTURE NOTES IN COMPUTER SCIENCE, pp. 208-218. - ISSN 0302-9743

Articolo in atti di convegno Arts B; Bellu A; Benini L; Van Der Eng N; Heijligers M; Macii E.; Maro R; Milia A; Munk H; Theeuwen F (2003)
Statistical Power Estimation for Behavioral Descriptions. In: 13th International Workshop, PATMOS 2003, Turin (ITA), September 10-12, 2003. pp. 197-207
Web of Science: 0 - Scopus: 5

Articolo in atti di convegno Cibrario Bertolotti I; Durante L; Sisto R.; Valenzano A (2003)
A new knowledge representation strategy for cryptographic protocol analysis. In: 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw (PL), April 7–11, 2003. pp. 284-298
Web of Science: 2 - Scopus: 5

Articolo in atti di convegno Jaccheri, Letizia; Torchiano, Marco (2002)
Classifying COTS products. In: 7th European Conference on Software Quality, Helsinki, Finland, June 9-13. pp. 246-255
Web of Science: 3 - Scopus: 5

Articolo in atti di convegno M. Casu; M. Graziano; G. Masera; G. Piccinini; M. Prono; Zamboni M. (2002)
Clock distribution network optimization under self heating andtiming constraints. In: 12th International Workshop Power and Timing Modeling, Optimization and Simulation, PATMOS 2002, Seville (ESP), Sept. 11-13, 2002. pp. 327-344 [Disponibilità ristretta]
[img]

Articolo in atti di convegno Morisio, Maurizio; Torchiano, Marco (2002)
Definition and classification of COTS: a proposal. In: International Conference on COTS-Based Software Systems, ICCBSS 2002, Orlando, FL, USA, February 4-6. pp. 165-175
Scopus: 27

Articolo di rivista Torchiano M.; Bruno G. (2002)
Domain-Specific Instance Models in UML. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 2348, pp. 774-777. - ISSN 0302-9743
Scopus: 0

Articolo in atti di convegno M. Martina; G. Masera; G. Piccinini; F. Vacca; M. Zamboni (2002)
Energy Evaluation on a Reconfigurable, Multimedia-Oriented Wireless Sensor. In: Field-Programmable Logic and Applications. pp. 269-282 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 1
[img]

Articolo in atti di convegno Corno F; Sonza Reorda M; Squillero G. (2002)
Evolutionary Techniques for Minimizing Test Signals Application Time. In: EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN, Kinsale (IRL), April 3–4, 2002. pp. 183-189
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno R. Gaudino; V. De Feo; M. Chiaberge; C. Sansoe' (2002)
An FPGA-based node controller for a high capacity WDM optical packet network. In: FPL 2002, 12th International Conference on Field Programmable Logic and Application, Montpellier (FRA), September 2-4, 2002. pp. 1139-1143 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo di rivista Cabodi G.; S. Nocco; S. Quer (2002)
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. LNCS 2404, pp. 471-484. - ISSN 0302-9743
Scopus: 9

Articolo di rivista Benini L.; Macii A.; Macii E. (2002)
Off-Line Data Profiling Techniques to Enhance Memory Compression in Embedded Systems. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 2451, pp. 314-322. - ISSN 0302-9743 [Disponibilità ristretta]
Scopus: 2
[img]

Articolo in atti di convegno Lazzarino O.; Sanna A.; Zunino C.; Lamberti F. (2002)
A PVM-based parallel implementation of the REYES image rendering architecture. In: 9th European PVM/MPI Users' Group Meeting, Linz, Austria, September 29 - October 2. pp. 165-173
Web of Science: 1 - Scopus: 4

Articolo di rivista Rebaudengo M.; Sonza Reorda M.; Violante M. (2002)
Simulation-based analysis of SEU effects on SRAM-based FPGAs. In: LECTURE NOTES IN COMPUTER SCIENCE, vol. 2438, pp. 101-116. - ISSN 0302-9743
Web of Science: 5 - Scopus: 27

Articolo in atti di convegno Maggi P.; Sisto R. (2002)
Using SPIN to Verify Security Properties of Cryptographic Protocols. In: 9th International SPIN Workshop, Grenoble (FR), April 11–13, 2002. pp. 187-204
Web of Science: 25 - Scopus: 40

Articolo in atti di convegno Corno F; Cumani G; Sonza Reorda M; Squillero G. (2001)
ARPIA: a High-Level Evolutionary Test Signal Generator. In: EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como (ITA), April 18–20, 2001. pp. 298-306 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 1
[img]

Articolo in atti di convegno P.L. Civera; L. Macchiarulo; M. Rebaudengo M.; M. Sonza Reorda; M. Violante (2001)
FPGA-based Fault Injection Techniques for Fast Evaluation of Fault Tolerance in VLSI Circuits. In: Field-Programmable Logic and Applications 11th International Conference, FPL 2001, Belfast (GBR), Aug. 27-29, 2001. pp. 493-502 [Disponibilità ristretta]
Scopus: 3
[img]

Articolo in atti di convegno Hannotin X.; Maggi P.; Sisto R. (2001)
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study. In: Mobile Agents 5th International Conference, MA 2001, Atlanta, GA (USA), December 2–4, 2001. pp. 42-53 [Disponibilità ristretta]
Scopus: 5
[img]

Articolo in atti di convegno Risso F. (2001)
Implementation and Characterization of an Advanced Scheduler. In: Networking - ICN 2001, 1st International Conference on Networking, Part I, Colmar (FRA), July 9–13, 2001. pp. 85-97
Web of Science: 0 - Scopus: 0
[img]
Preview
[img]

Articolo in atti di convegno Cabodi G. (2001)
Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions. In: Computer Aided Verification 13th International Conference, CAV 2001, Paris (FRA), July 18–22, 2001. pp. 118-130 [Disponibilità ristretta]
Web of Science: 4 - Scopus: 4
[img]

Articolo in atti di convegno Berbecaru D.; Lioy A.; Marian M. (2001)
On the complexity of public-key certificate validation. In: Information Security 4th International Conference, ISC 2001, Malaga (ESP), October 1–3, 2001. pp. 183-203 [Disponibilità ristretta]
Scopus: 8
[img]

Articolo in atti di convegno Corno F; Sonza Reorda M; Squillero G. (2000)
Automatic Validation of Protocol Interfaces Described in VHDL. In: EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoRob, and EvoFlight, Edinburgh (GBR), April 17, 2000. pp. 205-213 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 1
[img]

Articolo in atti di convegno M. Lajolo; L. Lavagno; M. Sonza Reorda; M. Violante (2000)
Early Power Estimation for System-on-Chip Designs. In: Power and Timing Modeling, Optimization and Simulation 10th International Workshop, PATMOS 2000, Göttingen (DEU), Sep. 13-15, 2000. pp. 108-117 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero (2000)
Evolving Cellular Automata for Self-Testing Hardware. In: Third International Conference, ICES 2000, Edinburgh (GBR), April 17–19, 2000. pp. 31-40 [Disponibilità ristretta]
Web of Science: 9 - Scopus: 9
[img]

Articolo in atti di convegno Bogliolo A; Macii E.; Mihailovici V; Poncino M (2000)
Power Models for Semi-Autonomous RTL Macros. In: Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000, Göttingen (DEU), September 13–15, 2000. pp. 14-23 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno F. Corno, M. Rebaudengo, M. Sonza Reorda, M. Violante (2000)
Prediction of Power Requirements for High-Speed Circuits. In: EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoRob, and EvoFlight, Edinburgh (GBR), April 17, 2000. pp. 247-254 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Anton C; Bogliolo A.; Civera P; Colonescu I; Macii E.; Poncino M (2000)
RTL Estimation of Steering Logic Power. In: Power and Timing Modeling, Optimization and Simulation 10th International Workshop, PATMOS 2000, Göttingen (DEU), September 13–15, 2000. pp. 36-45 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno B. Parrotta; M. Rebaudengo; M. Sonza Reorda; M. Violante (2000)
Speeding-up Fault Injection Campaigns in VHDL models. In: Computer Safety, Reliability and Security 19th International Conference, SAFECOMP 2000, Rotterdam (NLD), October 24–27, 2000. pp. 27-36 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 3
[img]

Articolo in atti di convegno Iosif R.; Sisto R. (2000)
Using Garbage Collection in Model Checking. In: 7th International SPIN Workshop, Stanford, CA (USA), August 30 - September 1, 2000. pp. 20-33 [Disponibilità ristretta]
Web of Science: 9 - Scopus: 10
[img]

Articolo in atti di convegno Corno F.; Sonza Reorda M.; Squillero G. (1999)
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms. In: Evolutionary Image Analysis, Signal Processing and Telecommunications First European Workshops, EvoIASP'99 and EuroEcTel'99, Göteborg (SWE), May 26-27, 1999. pp. 182-192 [Disponibilità ristretta]
Scopus: 1
[img]

Articolo in atti di convegno Lerda F.; Sisto R. (1999)
Distributed-Memory Model Checking with SPIN. In: 5th and 6th International SPIN Workshops, Trento (ITA). Toulouse (FRA), July 5, 1999. September 21 and 24, 1999. pp. 22-39 [Disponibilità ristretta]
Web of Science: 27 - Scopus: 88
[img]

Articolo in atti di convegno Benso A., Rebaudengo M., Sonza Reorda M. (1999)
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems. In: Computer Safety, Reliability and Security 18th International Conference, SAFECOMP'99, Toulouse (FRA), September 27–29, 1999. pp. 323-335 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 5
[img]

Articolo in atti di convegno Baralis E.M.; Psaila G. (1999)
Incremental Refinement of Mining Queries. In: Data Warehousing and Knowledge Discovery First International Conference, DaWaK'99, Florence (ITA), August 30 – September 1, 1999. pp. 173-182 [Disponibilità ristretta]
Scopus: 19
[img]

Articolo in atti di convegno Corno F., Rebaudengo M., Sonza Reorda M., Violante M. (1999)
Test Pattern Generation under Low Power Constraints. In: 1st European Workshops, EvoIASP'99 and EuroEcTel'99, Göteborg (SWE), May 26-27, 1999. pp. 162-170 [Disponibilità ristretta]
Scopus: 0
[img]

Articolo in atti di convegno Demartini C.G.; R. Iosif; R. Sisto (1999)
dSPIN: A Dynamic Extension of SPIN. In: 5th and 6th International SPIN Workshops, Trento (ITA). Toulouse (FRA), July 5, 1999. September 21 and 24, 1999. pp. 261-276 [Disponibilità ristretta]
Web of Science: 15 - Scopus: 54
[img]

Articolo in atti di convegno Mario Baldi, Gian Pietro Picco, Fulvio Risso (1998)
Designing a videoconference system for active networks. In: Second International Workshop on Mobile Agents 98 (MA '98), Stuttgart (DE), Sep. 9-11, 1998. pp. 273-284
Scopus: 2
[img] [img]
Preview

Articolo in atti di convegno F. Bianchi, F. Corno, M. Rebaudengo, M. Sonza Reorda, R. Ansaloni (1997)
Boolean function manipulation on a parallel system using BDDs. In: High-Performance Computing and Networking International Conference and Exhibition, Vienna (AUT), April 28–30, 1997. pp. 916-928 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 4
[img]

Articolo in atti di convegno M. Baldi, S. Gai, G.P. Picco (1997)
Exploiting Code Mobility in Decentralized and Flexible Network Management. In: First International Workshop on Mobile Agents 97 (MA '97), Berlin. pp. 13-26
Web of Science: 20 - Scopus: 23

Articolo in atti di convegno Lioy A.; Maino F.; Mezzalama M. (1997)
Secure document management and distribution in an open network environment. In: Information and Communications Security First International Conference, ICIS '97, Beijing (CHN), November 11–14, 1997. pp. 109-117 [Disponibilità ristretta]
[img]

Articolo in atti di convegno Corno F., Prinetto P., Rebaudengo M., Sonza Reorda M. (1996)
Exploiting competing subpopulations for automatic generation of test sequences for digital circuits. In: International Conference on Evolutionary Computation — The 4th International Conference on Parallel Problem Solving from Nature, Berlin (DEU), September 22–26, 1996. pp. 791-800
Scopus: 2

Articolo in atti di convegno F. Corno, M. Damiani, L. Impagliazzo, P. Prinetto, M. Rebaudengo, G. Sartore , M. Sonza Reorda (1996)
On-line testing of an off-the-shelf microprocessor board for safety-critical applications. In: Dependable Computing — EDCC-2, 2nd European Dependable Computing Conference, Taormina (ITA), October 2–4, 1996. pp. 190-201
Scopus: 0

Articolo in atti di convegno G. Godza; M. Rebaudengo; M. Sonza Reorda (1996)
Using parallel genetic algorithms for solving the Min-Cut problem. In: High-Performance Computing and Networking International Conference and Exhibition HPCN EUROPE 1996, Brussels (BEL), April 15–19, 1996. pp. 985-986
Scopus: 0

Articolo in atti di convegno Rebaudengo M., Sonza Reorda M. (1996)
A cellular genetic algorithm for the Floorplan area optimization problem on a SIMD architecture. In: High-Performance Computing and Networking International Conference and Exhibition HPCN EUROPE 1996, Brussels (BEL), April 15–19, 1996. pp. 987-988
Scopus: 0

Articolo in atti di convegno Corno F., Prinetto P., Rebaudengo M., Sonza Reorda M. (1996)
A parallel genetic algorithm for Automatic Generation of Test Sequences for digital circuits. In: High-Performance Computing and Networking International Conference and Exhibition HPCN EUROPE 1996, Brussels (BEL), April 15–19, 1996. pp. 454-459
Scopus: 2

Articolo in atti di convegno Ceri S.; Baralis E.; Fraternali P.; Paraboschi S. (1995)
Design of active rule applications: Issues and approaches. In: Deductive and Object-Oriented Databases 4th International Conference, DOOD '95, Singapore (SGP), December 4–7, 1995. pp. 1-18
Scopus: 6

Articolo in atti di convegno P.P. Delsanto; S. Biancotto; M. Scalerandi; M. Rebaudengo; M. Sonza Reorda (1995)
Exploiting massively parallel architectures for the solution of diffusion and propagation problems. In: High-Performance Computing and Networking International Conference and Exhibition, Milan (ITA), May 3-5, 1995. pp. 1-6
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Baralis E.; Ceri S.; Paraboschi S. (1995)
Improved rule analysis by means of triggering and activation graphs. In: Rules in Database Systems 2nd International Workshop, RIDS '95, Glyfada, Athens (GRC), September 25–27, 1995. pp. 165-181
Scopus: 42

Articolo in atti di convegno Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Enzo Veiluva (1995)
A PVM tool for automatic test generation on parallel and distributed systems. In: High-Performance Computing and Networking International Conference and Exhibition, Milan (ITA), May 3–5, 1995. pp. 39-44
Web of Science: 0 - Scopus: 2

Articolo in atti di convegno Baralis E.; Ceri S.; Paraboschi S. (1995)
Run-time detection of non-terminating active rule systems. In: Deductive and Object-Oriented Databases 4th International Conference, DOOD '95, Singapore (SGP), December 4–7, 1995. pp. 38-54
Scopus: 9

Articolo in atti di convegno Cabodi G; Camurati P.; S. Quer (1995)
Transforming boolean relations by symbolic encoding. In: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main (DEU), October 2–4, 1995. pp. 161-170
Web of Science: 1 - Scopus: 1

Articolo in atti di convegno Baralis E.; Widom J. (1995)
Using delta relations to optimize condition evaluation in active databases. In: Rules in Databases systems 2nd International Workshop, RIDS '95, September 25-27, 1995, Glyfada, Athens (GRC). pp. 292-308
Scopus: 7

Articolo in atti di convegno Baralis E.; Ceri S.; Paraboschi S. (1994)
Declarative specification of constraint maintenance. In: 13th International Conference on the Entity-Relationship Approach, Manchester (GBR), December 13–16, 1994. pp. 205-222
Web of Science: 3

Articolo in atti di convegno Baldi M.; Gai S.; Jaccheri M.L.; Lago P. (1994)
Searching for PMIPS: Process Model Instructions Per Second. In: Software Process Technology, Villard de Lans (FRA), 7-9 Feb 1994. pp. 35-37

Articolo in atti di convegno Baralis E.; Ceri S.; Monteleone G.; Paraboschi S. (1994)
An intelligent database system application: The design of EMS. In: Applications of Databases 1st International Conference, ADB-94, Vadstena (SWE), June 21–23, 1994. pp. 172-189

Articolo in atti di convegno Camurati P., Corno F., Prinetto P. (1993)
A methodology for system-level design for verifiability. In: IFIPWG10.2 Advanced Research Working Conference, CHARME'93, Arles (FRA), May 24–26, 1993. pp. 80-91

Articolo in atti di convegno P. Camurati, M. Gilli, P. Prinetto, M. Sonza Reorda (1991)
The use of model checking in ATPG for sequential circuits. In: Computer-Aided Verification 2nd International Conference, CAV '90, New Brunswick, NJ (USA), June 18-21, 1990. pp. 86-95
Web of Science: 0

Articolo di rivista Campagna S., Hussain Moazzam, Violante M.
A Light-Weight Fault Tolerance Framework for Space Computing using COTS Components. In: LECTURE NOTES IN COMPUTER SCIENCE. - ISSN 0302-9743 (In stampa)

Questa lista è stata generata il Tue Jun 27 06:39:39 2017 CEST.