ADAM

Results: 10591



#Item
501

Z Concurrency Testing Using Controlled Schedulers: An Empirical Study Paul Thomson, Imperial College London Alastair F. Donaldson, Imperial College London Adam Betts, Imperial College London

Add to Reading List

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

- Date: 2016-04-10 17:29:20
    502

    A3868 Wisconsin Winter Wheat Performance Trials 2015 Shawn Conley, Adam Roth, John Gaska and Damon Smith

    Add to Reading List

    Source URL: coolbean.info

    - Date: 2015-08-10 16:28:52
      503

      OLD SKEWL HACKING: DVB-T BLACK BUTTON PIVOT November 2016 Adam “Major Malfunction” Laurie

      Add to Reading List

      Source URL: www.syscan360.org

      - Date: 2016-12-04 21:58:42
        504

        Using Crash Hoare Logic for Certifying the FSCQ File System Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich MIT CSAIL Abstract

        Add to Reading List

        Source URL: pdos.csail.mit.edu

        - Date: 2016-12-17 14:43:18
          505

          Estimating the WCET of GPU-Accelerated Applications using Hybrid Analysis Adam Betts and Alastair Donaldson Department of Computing Imperial College London London SW7 2AZ Email: {adam.betts,alastair.donaldson}@imperial.a

          Add to Reading List

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

          - Date: 2015-07-01 17:41:46
            506

            A3868 Wisconsin Winter Wheat Performance Trials 2016 Shawn Conley, Adam Roth, John Gaska and Damon Smith

            Add to Reading List

            Source URL: coolbean.info

            - Date: 2016-08-01 13:25:46
              507

              These exercises were originally included inline in the text, but my latest feeling is that I don’t have the time to maintain the exercises at a sufficient quality level to match the level I’m targetting for the rest

              Add to Reading List

              Source URL: adam.chlipala.net

              - Date: 2016-06-30 15:37:25
                508

                Does Immigration Enforcement Reduce Crime? Evidence from “Secure Communities” Thomas J. Miles University of Chicago Law Adam B. Cox † New York University Law School

                Add to Reading List

                Source URL: www.law.uchicago.edu

                - Date: 2014-08-25 17:32:29
                  509

                  Investigating the Dynamics of Mass Action Systems Oded Maler1, Ádám Halász2, Olivier Lebeltel1, Ouri Maler 1CNRS-VERIMAG, University of Grenoble, Grenoble (France)

                  Add to Reading List

                  Source URL: www-verimag.imag.fr

                  - Date: 2013-09-05 12:40:17
                    510

                    STUDIES IN LOGIC, GRAMMAR AND RHETORICEvaluating Prospective Built-in Elements of Computer Algebra in Mizar⋆ Adam Naumowicz Institute of Computer Science

                    Add to Reading List

                    Source URL: mizar.org

                    - Date: 2010-03-05 21:10:35
                      UPDATE