Ic

Results: 14218



#Item
591

Empir Software Eng https://doi.orgs10664On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files

Add to Reading List

Source URL: srg.doc.ic.ac.uk

- Date: 2018-03-13 06:21:03
    592

    Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo

    Add to Reading List

    Source URL: srg.doc.ic.ac.uk

    - Date: 2017-10-17 05:46:31
      593

      Using C# for high performance network programming NAT Low latency High throughput (10-100Gbps)

      Add to Reading List

      Source URL: srepls4.doc.ic.ac.uk

      - Date: 2016-10-03 05:38:52
        594

        h e a lt h p o l ic y b r i e f 1 w w w. h e a lt h a f fa i r s .o r g

        Add to Reading List

        Source URL: healthaffairs.org

        - Date: 2017-03-27 10:57:39
          595

          Artificial Intelligence and Human Thinking

          Add to Reading List

          Source URL: www.doc.ic.ac.uk

          - Date: 2017-04-10 05:28:08
            596

            Programming in Logic Without Logic Programming Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,} _____________________________________________________________________

            Add to Reading List

            Source URL: www.doc.ic.ac.uk

            - Date: 2015-11-14 06:19:31
              597

              Dynamic Race Detection for C++11 tifact * Complete st

              Add to Reading List

              Source URL: www.doc.ic.ac.uk

              - Date: 2017-06-15 17:14:58
                598

                A Certified Roundoff Error Bounds Using Semidefinite Programming arXiv:1507.03331v7 [cs.NA] 25 NovVICTOR MAGRON, CNRS Verimag

                Add to Reading List

                Source URL: www.doc.ic.ac.uk

                - Date: 2017-06-15 17:14:58
                  599

                  Müstilisest minevikust: Taevast langevad kumavroosad tulekivid ja kivid 28 oktoober 2015 Roosa ränikvi (http://ichef.bbci.co.uk/images/ic/976×549/p025zlvx.jpg) ‚Selle asukoha ligitõmbavuse üheks põhjuseks on se

                  Add to Reading List

                  Source URL: loodustuba.files.wordpress.com

                  - Date: 2017-07-16 03:07:56
                    600

                    Microsoft Word - 08 Horwitz_BKR_IC

                    Add to Reading List

                    Source URL: lawreview.uchicago.edu

                    - Date: 2017-07-08 22:28:58
                      UPDATE