Pascal

Results: 3744



#Item
691

haRVey: satisfaisabilit´ e et th´ eories Diego Caminha B. de Oliveira (Univ. Rio Grande do Norte, Br´esil) David D´eharbe? (Univ. Rio Grande do Norte, Br´esil), Pascal Fontaine?? (LORIA – Universit´e de Nancy)

Add to Reading List

Source URL: www.montefiore.ulg.ac.be

Language: French - Date: 2007-07-30 11:44:30
    692

    TDL Recommendations to NIS (WG3/SRA) Editors: Pascal Bisson, Jim Clarke, Amardeo Sarma, Daan Velthausz, Volkmar Lotz, Arthur Leijtens, Stefan Bumerl Contributors: community members at large

    Add to Reading List

    Source URL: www.trustindigitallife.eu

    Language: English - Date: 2016-02-14 17:03:46
      693

      veriT: an open, trustable and efficient SMT-solver Thomas Bouton2 , Diego Caminha B. de Oliveira2 , David D´eharbe1 , and Pascal Fontaine2 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

      Add to Reading List

      Source URL: www.montefiore.ulg.ac.be

      Language: English - Date: 2009-07-30 08:28:54
        694

        GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine

        Add to Reading List

        Source URL: www.montefiore.ulg.ac.be

        Language: English - Date: 2011-03-31 07:54:02
          695

          VigilNet: An Integrated Sensor Network System for Energy-Efficient Surveillance Tian He, Sudha Krishnamurthy, Liqian Luo, Ting Yan, Lin Gu, Radu Stoleru, Gang Zhou, Qing Cao, Pascal Vicaire, John A. Stankovic and Tarek F

          Add to Reading List

          Source URL: faculty.cs.tamu.edu

          Language: English - Date: 2006-11-16 16:28:00
            696

            Published in IET Information Security 1(3):106–110, Strengthening Hardware AES Implementations against Fault Attacks Marc Joye 1 , Pascal Manet 2 and Jean-Baptiste Rigaud 3 1

            Add to Reading List

            Source URL: joye.site88.net

            Language: English - Date: 2015-09-04 19:43:41
              697

              Vote-Independence: A Powerful Privacy Notion for Voting Protocols? Jannik Dreier, Pascal Lafourcade, and Yassine Lakhnech Universit´e Grenoble 1, CNRS, Verimag, FRANCE

              Add to Reading List

              Source URL: www.lsv.ens-cachan.fr

              Language: English - Date: 2012-12-05 06:09:37
                698

                Computational soundness of static equivalence V´eronique Cortier1 , Steve Kremer2 , and Pascal Lafourcade3 1 LORIA, CNRS & INRIA LSV, CNRS & ENS Cachan & INRIA

                Add to Reading List

                Source URL: www.lsv.ens-cachan.fr

                Language: English - Date: 2010-03-25 09:09:53
                  699

                  Achieving Real-Time Target Tracking Using Wireless Sensor Networks Tian He§ , Pascal Vicaire† , Ting Yan† , Liqian Luo‡ , Lin Gu† , Gang Zhou† , Radu Stoleru† , Qing Cao‡ , John A. Stankovic† and Tarek A

                  Add to Reading List

                  Source URL: faculty.cs.tamu.edu

                  Language: English - Date: 2012-01-29 02:55:30
                    700

                    Simulation of Quantum Computations in Lisp Brecht Desmet, Ellie D’Hondt, Pascal Costanza, and Theo D’Hondt 1

                    Add to Reading List

                    Source URL: www.european-lisp-workshop.org

                    Language: English - Date: 2009-10-20 14:15:19
                      UPDATE