Fabio

Results: 1279



#Item
331

Program Verification using Constraint Handling Rules and Array Constraint Generalizations Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 University

Add to Reading List

Source URL: www.sci.unich.it

Language: English - Date: 2014-06-19 06:26:53
    332

    Using Real Relaxations During Program Specialization Fabio Fioravanti1 , Alberto Pettorossi2 , Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’, Pescara, Italy

    Add to Reading List

    Source URL: www.sci.unich.it

    Language: English - Date: 2013-07-17 03:26:19
      333

      The growth of the first black hole seeds Fabio Pacucci1, Andrea Ferrara1, Marta Volonteri2 1 Scuola Normale Superiore, Pisa, Italy 2 Institut d’Astrophysique de Paris, Paris, France

      Add to Reading List

      Source URL: events.kuoni-dmc.com

      Language: English - Date: 2015-03-19 11:47:43
        334

        A Survey of GPU-Based Volume Rendering of Unstructured Grids Cláudio T. Silva 1 João L. D. Comba 2 Steven P. Callahan 1 Fabio F. Bernardon 2

        Add to Reading List

        Source URL: vgc.poly.edu

        Language: English - Date: 2011-07-06 09:51:56
          335

          Exception Handling for Error Reporting in Parsing Expression Grammars Andr´e Murbach Maidl1 , Fabio Mascarenhas2 , Roberto Ierusalimschy1 1 Department of Computer Science – PUC-Rio – Rio de Janeiro – Brazil

          Add to Reading List

          Source URL: www.inf.puc-rio.br

          Language: English - Date: 2013-10-08 17:50:17
            336

            Fabio Mularoni Aged 17 Basilica 198

            Add to Reading List

            Source URL: veranstalter.tag-des-offenen-denkmals.de

            - Date: 2012-01-10 09:14:04
              337

              Verifying Programs via Iterated Specialization Emanuele De Angelis, Fabio Fioravanti University G. D’Annunzio, Pescara, Italy {deangelis,fioravanti}@sci.unich.it

              Add to Reading List

              Source URL: www.iasi.cnr.it

              Language: English - Date: 2013-07-25 06:11:11
                338

                A distributed method for state estimation and false data detection in power networks Fabio Pasqualetti, Ruggero Carli, and Francesco Bullo Abstract—This work presents a distributed method for control centers to monitor

                Add to Reading List

                Source URL: www.fabiopas.it

                Language: English - Date: 2011-08-05 03:21:57
                  339

                  CONFIDENTIAL. Limited circulation. For review only. The Role of Diameter in the Controllability of Complex Networks Gianluca Bianchin, Fabio Pasqualetti and Sandro Zampieri Abstract— This paper studies the controllab

                  Add to Reading List

                  Source URL: www.fabiopas.it

                  Language: English - Date: 2015-09-17 13:12:54
                    340

                    Generation of Test Data Structures Using Constraint Logic Programming Valerio Senni1 , Fabio Fioravanti2 1 Department

                    Add to Reading List

                    Source URL: www.sci.unich.it

                    Language: English - Date: 2013-09-28 05:09:03
                      UPDATE