INESC-ID

Results: 423



#Item
61Identifiers.org: integration tool for heterogeneous datasets Camille Laibe1, Sarala Wimalaratne1, Nick Juty1, Nicolas Le Novère2, Henning Hermjakob1 European Molecular Biology Laboratory, European Bioinformatics Institu

Identifiers.org: integration tool for heterogeneous datasets Camille Laibe1, Sarala Wimalaratne1, Nick Juty1, Nicolas Le Novère2, Henning Hermjakob1 European Molecular Biology Laboratory, European Bioinformatics Institu

Add to Reading List

Source URL: dils2014.inesc-id.pt

- Date: 2016-07-28 13:22:46
    62OSARE  Opportunistic Speculation in Actively REplicated Transactional Systems  Roberto Palmieri, Francesco Quaglia, Paolo Romano

    OSARE Opportunistic Speculation in Actively REplicated Transactional Systems Roberto Palmieri, Francesco Quaglia, Paolo Romano

    Add to Reading List

    Source URL: www.gsd.inesc-id.pt

    - Date: 2012-04-18 12:46:08
      63Verifying	
  Transac.onal	
  Programs	
  	
   with	
   Programmer-­‐Defined	
  Conflict	
  Detec.on	
   Omer	
  Subasi,	
  Serdar	
  Tasiran	
  (Koç	
  University)	
   	
  Tim	
  Harris	
  (Microso

      Verifying  Transac.onal  Programs     with   Programmer-­‐Defined  Conflict  Detec.on   Omer  Subasi,  Serdar  Tasiran  (Koç  University)    Tim  Harris  (Microso

      Add to Reading List

      Source URL: www.gsd.inesc-id.pt

      - Date: 2012-04-26 09:42:24
        6456  IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOL. 59, NO. 1, JANUARY 2010 Measuring and Extraction of Biological Information on New Handheld Biochip-Based Microsystem

        56 IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOL. 59, NO. 1, JANUARY 2010 Measuring and Extraction of Biological Information on New Handheld Biochip-Based Microsystem

        Add to Reading List

        Source URL: www.inesc-id.pt

        - Date: 2010-01-18 09:18:42
          651  Method to Design General RNS Reverse Converters for Extended Moduli Sets Hector Pettenghi, Member, IEEE, Ricardo Chaves, Member, IEEE, and Leonel Sousa, Senior Member, IEEE

          1 Method to Design General RNS Reverse Converters for Extended Moduli Sets Hector Pettenghi, Member, IEEE, Ricardo Chaves, Member, IEEE, and Leonel Sousa, Senior Member, IEEE

          Add to Reading List

          Source URL: www.inesc-id.pt

          - Date: 2013-12-23 08:11:08
            66MEECElectrónica de Computadores46712

            MEECElectrónica de Computadores46712

            Add to Reading List

            Source URL: sips.inesc-id.pt

            - Date: 2009-01-19 14:05:29
              67IMPROVING APPLICATION FAULT-TOLERANCE WITH DIVERSE COMPONENT REPLICATION João Soares, Nuno Preguiça CITI – DI / FCT / Univ. Nova Lisboa

              IMPROVING APPLICATION FAULT-TOLERANCE WITH DIVERSE COMPONENT REPLICATION João Soares, Nuno Preguiça CITI – DI / FCT / Univ. Nova Lisboa

              Add to Reading List

              Source URL: www.gsd.inesc-id.pt

              - Date: 2012-04-18 12:46:09
                68Distributed STMs   STMs are being employed in new scenarios:   Database caches in three-tier web apps (FénixEDU)   HPC programming language (X10)   In-memory cloud data grids (Coherence, Infinispan)

                Distributed STMs   STMs are being employed in new scenarios:   Database caches in three-tier web apps (FénixEDU)   HPC programming language (X10)   In-memory cloud data grids (Coherence, Infinispan)

                Add to Reading List

                Source URL: www.gsd.inesc-id.pt

                - Date: 2012-04-18 12:46:08
                  69Sócrates e Passos Coelho lideram twitómetro - SIC Notícias

                  Sócrates e Passos Coelho lideram twitómetro - SIC Notícias

                  Add to Reading List

                  Source URL: dmir.inesc-id.pt

                  - Date: 2011-09-08 13:28:02
                    70J.S. Lee and J.W. Kim (Advanced Devices Cmup. LG Electronics Institute of Technoloa, 16 Woomyon-Dung, Seocho-Gu. SeoulKorea) Modulo (2

                    J.S. Lee and J.W. Kim (Advanced Devices Cmup. LG Electronics Institute of Technoloa, 16 Woomyon-Dung, Seocho-Gu. SeoulKorea) Modulo (2"+ 1) multiplication: The product ( P ) of two numbers (X,Y ) modulo (2" + I

                    Add to Reading List

                    Source URL: www.inesc-id.pt

                    - Date: 2007-02-23 05:24:21