Pubblicazioni

  • A. Zanarini; M. Milano; G. Pesant, Improved algorithm for the soft global cardinality constraint, in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3990, pp. 288 - 300 (atti di: Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimization, Cork, Ireland, June 2006) [Contributo in Atti di convegno]

  • G. Pari; M. Ruggiero; A. Guerri; L. Benini; M. Milano;D. Bertozzi; A. Andrei, A Cooperative, accurate solving framework for optimal allocation, scheduling and frequency selection on energy-efficient MPSoCs, in: Proc. of the International Symposium on System-on-Chip 2006, TAMPERE, Jari Nurmi, 2006, -, pp. 183 - 186 (atti di: International Symposium on System-on-Chip 2006, Tampere Finland, Nov. 2006) [Contributo in Atti di convegno]

  • D. Bertozzi; A. Guerri; M.Milano; F. Poletti; M. Ruggiero, Communication-Aware Allocation and Scheduling Framework for Stream-Oriented Multi-Processor Systems-on-Chip, in: DATE '06: Proceedings of the conference on Design, automation and test in Europe, MUNICH, European Design and Automation Association, 2006, pp. 3 - 8 (atti di: Conference on Design, automation and test in Europe, MUNICH, Germany, March 2006) [Contributo in Atti di convegno]

  • M. Milano; M. Lombardi, Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs, in: ., «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3709, pp. 299 - 313 (atti di: International confedence on Principles and Practice of Constraint Programming, Nantes, Set 2006) [Contributo in Atti di convegno]

  • A. Guerri; M. Milano, The importance of Relaxations and Benders Cuts in Decomposition Techniques: Two Case Studies, in: null, 2006, 3709, pp. - - - (atti di: International Conference on Principles and Practice of Constraint Programming, Nantes, Set. 2006) [Contributo in Atti di convegno]

  • M. Boreale; R. Bruni; L. Caires; R. De Nicola; I. Lanese; M. Loreti; F. Martins; U. Montanari; A. Ravara; D. Sangiorgi; V. Vasconcelos; G. Zavattaro;, SCC: a Service Centered Calculus, in: M. BRAVETTI, G. ZAVATTARO, Web Services and Formal Methods, BERLIN, Springer, 2006, 4184, pp. 38 - 57 (atti di: Third International Workshop on Web Services and Formal Methods, Vienna, 8-9 Settembre 2006) [Contributo in Atti di convegno]

  • S. Carpineti; G. Castagna; C. Laneve; L. Padovani, A formal account of contracts for web services, in: Web Services and Formal Methods, Third International Workshop, WS-FM 2006, Proceedings, Heidelberg, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4184, pp. 148 - 162 (atti di: Web Services and Formal Methods, Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006) [Contributo in Atti di convegno]

  • G. Sousa Pavani; H. Waldman; F. Callegati; A. Campi; W. Cerroni, Adaptive Routing in Optical Packet Switching Networks using Ant Colony Optimization, in: Proceedings of ICT 2006, AVEIRO, Instituto Telecomunicações – Pólo de Aveiro, 2006(atti di: ICT 2006 - 13th International Conference on Telecommunications, Funchal, Madeira island, Portugal, 9-12 May 2006) [Contributo in Atti di convegno]

  • F. Callegati; W. Cerroni; L. H. Bonani; F. R. Barbosa; E. Moschim; G. S. Pavani, Congestion Resolution in Optical Burst/Packet Switching with Limited Wavelength Conversion, in: Communications: A Global Bridge - Proceedings of IEEE GLOBECOM 2006, PISCATAWAY, NJ, IEEE, 2006(atti di: IEEE GLOBECOM 2006 - 2006 Global Telecommunications Conference, San Francisco, CA, USA, 27/11-01/12/2006) [Contributo in Atti di convegno]

  • F. Callegati; W. Cerroni; C. Raffaelli, Impact of Optical Packet Loss and Reordering on TCP Performance, in: Communications: A Global Bridge - Proceedings of IEEE GLOBECOM 2006, PISCATAWAY, NJ, IEEE, 2006(atti di: IEEE GLOBECOM 2006 - 2006 Global Telecommunications Conference, San Francisco, CA, USA, 27/11-01/12/2006) [Contributo in Atti di convegno]

  • F. Callegati; A. Campi; W. Cerroni, Efficient Implementation of Scheduling Algorithms for Optical Burst Switching, in: Examining the Case for Optical Burst Switching, s.l, s.n, 2006(atti di: The Seventh International Workshop on Optical Networking Technologies - IEEE GLOBECOM 2006, San Francisco, CA, USA, 27/11/2006) [Contributo in Atti di convegno]

  • F. Callegati; A. Campi; W. Cerroni, Efficient Implementation of Scheduling Algorithms for Optical Burst/Packet Switching, in: Proceedings of ONDM 2006, COPENHAGEN, Technical University of Denmark, 2006(atti di: ONDM 2006 - 10th Conference on Optical Network Design and Modelling., Copenhagen, Denmark, 22-24/05/2006) [Contributo in Atti di convegno]

  • F. Callegati; W. Cerroni, Which trade-off between time and wavelength congestion resolution in Optical Burst or Packet Switching?, in: Proceedings of Photonics in Switching 2006, PISCATAWAY, NJ, IEEE, 2006, pp. 48 - 50 (atti di: 2006 International Conference on Photonics in Switching, Heraklion, Crete, Greece, 16-18/10/2006) [Contributo in Atti di convegno]

  • Molesini Ambra; Denti Enrico; Omicini Andrea, Metodologie per l'ingegneria del software: approccio ad agenti, in: Atti Congresso Annuale AICA 2006, FIRENZE, Alinea Editrice, 2006, 1, pp. 271 - 280 (atti di: XLIV Congresso Annuale dell'Associazione Italiana per l'Informatica ed il Calcolo Automatico (AICA 2006), Cesena, Italy, 21-22 settembre 2006) [Contributo in Atti di convegno]

  • S. Bellavia; S. Lodi; B. Morini, Inferences on Kernel Density Estimates by Solving Nonlinear Systems, in: Proceedings 18th International Conference on Scientific and Statistical Database Management SSDBM 2006, LOS ALAMITOS, CALIFORNIA, IEEE Computer Society, 2006, pp. 389 - 397 (atti di: 18th International Conference on Scientific and Statistical Database Management, Vienna, Austria, 3-5 Luglio 2006) [Contributo in Atti di convegno]

  • S. Lodi; G. Moro; C. Sartori, Stream Clustering Based on Kernel Density Estimation, in: ECAI 2006 17th European Conference on Artificial Intelligence, AMSTERDAM, IOS Press, 2006, 141, pp. 799 - 800 (atti di: The 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 29 Agosto - 1 Settembre 2006) [Contributo in Atti di convegno]

  • G. Buratti; D. Montesi, XQuery Full-Text Optimization through a Formal Algebra, in: Proceedings of the 2nd International Advanced Database Conference (IADC-2006), San Diego, California, June 2006., SAN DIEGO, CA, US Education Service, 2006, pp. 71 - 75 (atti di: 2nd International Advanced Database Conference (IADC-2006), San Diego, California, USA, 27-29 June 2006) [Contributo in Atti di convegno]

  • G. Buratti; D. Montesi, Full-Text Capabilities for Querying XML Repositories: a Formal Model, in: Proceedings of the 10th WSEAS International Conference on Computers, ATHENS, WSEAS Press, 2006, pp. 738 - 743 (atti di: 10th WSEAS International Conference on Computers (part of the 10th CSCC Multiconference), Athens, Greece, 13-15 July 2006) [Contributo in Atti di convegno]

  • A. Bolognesi; P. Ciancarini, Searching over Metapositions in Kriegspiel, in: Lecture Notes in Computer Sciences Revised papers from 4th Int. Conf. on Computer and Games, BERLIN - HEIDELBERG, Springer, 2006, LNCS 3846, pp. 246 - 261 (atti di: 4th Int. Conf. on Computer and Games, Ramat-Gan, Israel, July 2004) [Contributo in Atti di convegno]

  • G. Buratti; D. Montesi, A Data Model and Algebra for Querying XML Documents, in: Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), WASHINGTON, DC, IEEE Computer Society, 2006, pp. 482 - 486 (atti di: 1st International Workshop on XML Data Management Tools and Techniques (XANTEC'06) in conjunction with DEXA 2006, Krakow, 4-8 September 2006) [Contributo in Atti di convegno]