computing

Results: 372271



#Item
781

To appear in Formal Aspects of Computing Requirements, specifications and minimal refinement Nikos Gorogiannis† and Mark Ryan‡ †

Add to Reading List

Source URL: www.cs.bham.ac.uk.

Language: English - Date: 2009-02-25 10:33:23
    782

    Distributed Computing Prof. R. Wattenhofer BA/MA/SA/Group: Nearest Neighbor Search in Ultrametric Spaces

    Add to Reading List

    Source URL: www.tik.ee.ethz.ch

    Language: English - Date: 2018-05-04 09:19:08
      783

      Registration form for COMPUTE course “Distributed computing concepts and tools” This course will be given in the second study period of the spring term 2018, weeksStudents of all backgrounds are invited to reg

      Add to Reading List

      Source URL: cbbp.thep.lu.se

      Language: English - Date: 2018-03-04 18:00:03
        784

        Rationale for Inclusion of J-PAKE in ISO/IECFeng Hao School of Computing Science Newcastle University, UK

        Add to Reading List

        Source URL: homepages.cs.ncl.ac.uk

        Language: English - Date: 2014-02-17 04:46:08
          785

          Nontermination and Secure Information Flow ∗ Geoffrey Smith and Rafael Alp´ızar School of Computing and Information Sciences Florida International University Miami, FLUSA October 24, 2011

          Add to Reading List

          Source URL: users.cis.fiu.edu

          Language: English - Date: 2011-10-24 15:43:42
            786

            whh282a – 1 Using Eternity Variables to Specify and Prove a Serializable Database Interface Wim H. Hesselink, 6th May 2003 Dept. of Mathematics and Computing Science, Rijksuniversiteit Groningen

            Add to Reading List

            Source URL: wimhesselink.nl

            Language: English - Date: 2013-03-22 21:29:16
              787

              Cryptography module, AnswersInitially, we have L0 = 86, R0 = 83, K0 = 89. Then we run the first round, to obtain L1 = 83, R1 = 2. Also, K1 = 164. So, computing the next round, we have L2 = 9 and R2 = 2. So the out

              Add to Reading List

              Source URL: www.cs.bham.ac.uk

              Language: English - Date: 2017-11-13 11:53:55
                788

                IEEE Vancouver Kinect and Structure Sensor Hackathon IEEE Vancouver Joint Computing Chapter and the BCIT  School  of  Compu/ng  and  Academic  Studies are excited to announce that Microsoft and Occipit

                Add to Reading List

                Source URL: makonin.com

                Language: English - Date: 2018-08-09 01:36:34
                  789

                  2018 Press Release FOR IMMEDIATE RELEASE CHEMICAL COMPUTING GROUP RELEASES THE NEW VERSION OF ITS PROTEIN STRUCTURE DATABASE SYSTEM - PSILO

                  Add to Reading List

                  Source URL: www.chemcomp.com

                  Language: English - Date: 2018-04-03 12:57:23
                    790

                    Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

                    Add to Reading List

                    Source URL: www.cs.rhul.ac.uk

                    Language: English - Date: 2013-02-08 18:19:57
                      UPDATE