Davide

Results: 678



#Item
261

Automatic generation of JIT compilers for dynamic languages in .NET? Davide Ancona1 , Carl Friedrich Bolz2 , Antonio Cuni1 , and Armin Rigo2 1 2

Add to Reading List

Source URL: bitbucket.org

Language: English - Date: 2016-03-02 19:53:16
    262

    Istituto di Psicologia e Terapia Cognitivo Comportamentale Spring 2015 Open Day Direzione: prof. Aldo Galeazzi e prof. Davide Dèttore

    Add to Reading List

    Source URL: www.istitutomiller.it

    - Date: 2015-04-08 04:08:24
      263

      A foundational view of co-LP? Davide Ancona1 and Agostino Dovier2 1 University of Genova, DIBRIS, ITALY University of Udine, DIMI, ITALY

      Add to Reading List

      Source URL: www.dmi.unict.it

      Language: English - Date: 2013-09-18 04:53:03
        264

        Formally-based semi-automatic implementation of an open security protocol Alfredo Pirontia , Davide Pozzaa , Riccardo Sistoa,∗ a Politecnico di Torino, Dip. di Automatica e Informatica

        Add to Reading List

        Source URL: alfredo.pironti.eu

        Language: English - Date: 2011-10-27 08:18:05
          265

          On the Expressiveness and Decidability of Higher-Order Process Calculi I,II Ivan Lanesea , Jorge A. P´erezb , Davide Sangiorgia,∗, Alan Schmittc b CITI a Focus Team, Universit`

          Add to Reading List

          Source URL: www.irisa.fr

          Language: English - Date: 2011-10-19 09:27:06
            266

            On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi Ivan Lanese1 , Jorge A. Pérez2 , Davide Sangiorgi1 , and Alan Schmitt3 1 2

            Add to Reading List

            Source URL: www.irisa.fr

            Language: English - Date: 2011-10-19 09:27:06
              267

              Using Structural Information and User Feedback to Improve IR-based Traceability Recovery Annibale Panichella1 , Collin McMillan2 , Evan Moritz4 , Davide Palmieri3 , Rocco Oliveto3 , Denys Poshyvanyk4 , Andrea De Lucia1 1

              Add to Reading List

              Source URL: www.sesa.dmi.unisa.it

              Language: English - Date: 2013-01-27 10:16:10
                268

                Sample-based abstraction for hybrid relational MDPs Sample-based abstraction for hybrid relational MDPs Davide Nitti

                Add to Reading List

                Source URL: ewrl.files.wordpress.com

                Language: English - Date: 2015-06-22 05:16:04
                  269

                  Honeybot, Your Man in the Middle for Automated Social Engineering Tobias Lauinger, Veikko Pankakoski, Davide Balzarotti, Engin Kirda EURECOM Sophia-Antipolis, France {lauinger, pankakos, balzarot, kirda}@eurecom.fr

                  Add to Reading List

                  Source URL: tobias.lauinger.name

                  Language: English - Date: 2013-01-07 17:08:39
                    270

                    HRMS, 24th Colloquium, Dijon, France, Aug, 2015 HIGH-COHERENCE MID-INFRARED FREQUENCY COMB GENERATION AND APPLICATIONS IACOPO GALLI, FRANCESCO CAPPELLI, PABLO CANCIO, GIOVANNI GIUSFREDI, DAVIDE MAZZOTTI, SAVERIO

                    Add to Reading List

                    Source URL: vesta.u-bourgogne.fr

                    Language: English - Date: 2015-05-18 06:13:56
                      UPDATE