Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

1996 Elimina filtro

9 pubblicazioni

  • Baronio, A.; Loli Piccolomini, E.; Zama, F., A method for solving the indirect approximation problem, «APPLIED MATHEMATICS AND COMPUTATION», 1996, 77, pp. 97 - 107 [Articolo in rivista]

  • Davoli, R.; Tamburini, F.; Giachini, L. -A., Scheduling data flow programs in hard real-time environments, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 1996, 1135, pp. 263 - 278 (atti di: 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996, swe, 1996) [Contributo in Atti di convegno]

  • Ciaccia P., Optimal multi-block read schedules for partitioned signature files, in: Advances in Database Technology — EDBT '96, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 1996, 1057, pp. 241 - 255 (atti di: 5th international conference on Extending Data Base Technology, EDBT 1996, Avignon, France, March 1996) [Contributo in Atti di convegno]

  • Ciaccia P.; Tiberio P.; Zezula P., Declustering of Key-Based Partitioned Signature Files, «ACM TRANSACTIONS ON DATABASE SYSTEMS», 1996, 21, pp. 295 - 338 [Articolo in rivista]

  • Ciaccia P.; Veronesi A., Dynamic declustering methods for parallel grid files, in: Parallel Computation, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 1996, 1127, pp. 110 - 123 (atti di: 3rd International Austrian Center for Parallel Computation Conference with Special Emphasis on Parallel Databases and Parallel I/O, 1996, Klagenfurt, Austria, September 1996) [Contributo in Atti di convegno]

  • Maio D.; Maltoni D.; Rizzi S., Dynamic clustering of maps in autonomous agents, «IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE», 1996, 18, pp. 1080 - 1091 [Articolo in rivista]

  • Maio D.; Rizzi S., A multi-agent approach to environment exploration, «INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS», 1996, 5, pp. 213 - 250 [Articolo in rivista]

  • Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti, Logic Tuple Spaces for the Coordination of Heterogenous Agents, in: Frontiers of Combining Systems, Dordrecht, Kluwer Academic Publishers, «APPLIED LOGIC SERIES», 1996, 3, pp. 235 - 248 (atti di: 1st International Workshop (FroCoS'96), Munich, Germany, 26-29 March 1996) [Contributo in Atti di convegno]

  • Martini, S; Masini, A, A computational interpretation of modal proofs, in: Proof Theory of Modal Logic, DORDRECHT, KLUWER ACADEMIC PUBL, 1996, pp. 213 - 241 [Capitolo/Saggio in libro]