Bibsonomy :: author  ::

bookmarks

publications

(27)

• Persuasive advertising under Bertrand competition: A differential game.
  Roberto Cellini and Luca Lambertini and Andrea Mantovani Oper. Res. Lett. 36 381-384 (2008)
  to dblp by dblp on 2008-06-14 00:00:00
  | URL | BibTeX  
• Multi-stage Benders Decomposition for Optimizing Multicore Architectures.
  Luca Benini and Michele Lombardi and Marco Mantovani and Michela Milano and Martino Ruggiero CPAIOR 36-50 (2008)
  to dblp by dblp on 2008-05-23 00:00:00
  | URL | BibTeX  
• Simulating spin systems on IANUS, an FPGA-based computer.
  Francesco Belletti and M. Cotallo and A. Cruz and L. A. Fernández and A. Gordillo and Andrea Maiorano and Filippo Mantovani and Enzo Marinari and Victor Martin-Mayor and Antonio Munoz Sudupe and Denis Navarro and Sergio Perez Gaviro and Juan Jesus Ruiz-Lorenzo and Sebastiano Fabio Schifano and Daniele Sciretti and A. Tarancón and Raffaele Tripiccione and Jose Luis Velasco Computer Physics Communications 178 208-216 (2008)
  to dblp by dblp on 2008-03-31 00:00:00
  | URL | BibTeX  
• The eureka tool for software model checking.
  Alessandro Armando and Massimo Benerecetti and Dario Carotenuto and Jacopo Mantovani and Pasquale Spica ASE 541-542 (2007)
  to dblp by dblp on 2008-02-07 00:00:00
  | URL | BibTeX  
• IANUS: an FPGA-based System for High Performance Scientific Computing
  Francesco Belletti and M. Cotallo and A. Cruz and Luis Antonio Fernandez and A. Gordillo and Andrea Maiorano and Filippo Mantovani and Enzo Marinari and Victor Martin-Mayor and Antonio Munoz Sudupe and Denis Navarro and Sergio Perez Gaviro and M. Rossi and Juan Jesus Ruiz-Lorenzo and Sebastiano Fabio Schifano and Daniele Sciretti and Alfonso Tarancon and Raffaele Tripiccione and Jose Luis Velasco CoRR abs/0710.3535 (2007)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Simulating spin systems on IANUS, an FPGA-based computer
  Francesco Belletti and M. Cotallo and A. Cruz and Luis Antonio Fernandez and A. Gordillo and Andrea Maiorano and Filippo Mantovani and Enzo Marinari and Victor Martin-Mayor and Antonio Munoz Sudupe and Denis Navarro and Sergio Perez Gaviro and Juan Jesus Ruiz-Lorenzo and Sebastiano Fabio Schifano and Daniele Sciretti and Alfonso Tarancon and Raffaele Tripiccione and Jose Luis Velasco CoRR abs/0704.3573 (2007)
  to dblp by dblp on 2008-01-02 00:00:00
  | URL | BibTeX  
• Self-adaptive Security at Application Level: a Proposal.
  Alberto Ferrante and Antonio Vincenzo Taddeo and Mariagiovanna Sami and Fabrizio Mantovani and Jurijs Fridkins ReCoSoC 154-160 (2007)
  to dblp by dblp on 2007-10-05 00:00:00
  | URL | BibTeX  
• Abstraction Refinement of Linear Programs with Arrays.
  Alessandro Armando and Massimo Benerecetti and Jacopo Mantovani TACAS 373-388 (2007)
  to dblp by dblp on 2007-07-31 00:00:00
  | URL | BibTeX  
• Fuzzy Expert System for Gyroscope Fault Detection.
  Alfredo Pereira and Fernando Moura-Pires and Rita Almeida Ribeiro and Luís Correia and Nuno Viana and F. Javier Varas and Gianaldo Mantovani and Pier L. Bargellini and Rosario Perez-Bonilla and Alessandro Donati ESM 200-203 (2002)
  to dblp by dblp on 2007-06-02 00:00:00
  | URL | BibTeX  
• A lightweight parallel java execution environment for embedded multiprocessor systems-on-chip.
  Marco Mantovani and Simone Leardini and Martino Ruggiero and Andrea Acquaviva and Luca Benini ACM Great Lakes Symposium on VLSI 509-512 (2007)
  to dblp by dblp on 2007-05-16 00:00:00
  | URL | BibTeX