Abstraction

Results: 2720



#Item
41A Sound and Complete Abstraction for Reasoning about Parallel Prefix Sums Nathan Chong, Alastair F. Donaldson, Jeroen Ketema
 Imperial College London {nyc04, afd, j.ketema}@imperial.ac.uk

A Sound and Complete Abstraction for Reasoning about Parallel Prefix Sums Nathan Chong, Alastair F. Donaldson, Jeroen Ketema
 Imperial College London {nyc04, afd, j.ketema}@imperial.ac.uk

Add to Reading List

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

Language: English - Date: 2014-01-20 09:48:39
    42Beba BEhavioural BAsed forwarding Towards a Stateful Forwarding Abstraction to Implement Scalable Network Functions in Software and Hardware

    Beba BEhavioural BAsed forwarding Towards a Stateful Forwarding Abstraction to Implement Scalable Network Functions in Software and Hardware

    Add to Reading List

    Source URL: www.beba-project.eu

    Language: English - Date: 2017-02-09 03:50:27
      43Stages of Abstraction and Exemplar Memorization in Pigeon Category Learning

      Stages of Abstraction and Exemplar Memorization in Pigeon Category Learning

      Add to Reading List

      Source URL: pigeon.psy.tufts.edu

      Language: English - Date: 2017-10-03 11:09:15
        44Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, I

        Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, I

        Add to Reading List

        Source URL: web.eecs.umich.edu

        Language: English - Date: 2015-12-20 16:58:40
          45Why Neurons are Not the Right Level of Abstraction for Implementing Cognition Claude Touzet Aix-Marseille University, France The cortex accounts for 70% of the brain volume. The human cortex is made of micro-columns, arr

          Why Neurons are Not the Right Level of Abstraction for Implementing Cognition Claude Touzet Aix-Marseille University, France The cortex accounts for 70% of the brain volume. The human cortex is made of micro-columns, arr

          Add to Reading List

          Source URL: www.touzet.org

          Language: English - Date: 2012-09-17 05:33:19
            46THOMSON REUTERS CALAISMODEL ABSTRACTION LAYER DEVELOPER GUIDE

            THOMSON REUTERS CALAISMODEL ABSTRACTION LAYER DEVELOPER GUIDE

            Add to Reading List

            Source URL: www.opencalais.com

            Language: English - Date: 2018-01-04 17:22:37
              47Automated Abstraction of Labeled Petri Nets Kevin Jones University of Utah Abstract- Due to the increasing use and complexity of embedded and cyber-physical systems, proper validation of the

              Automated Abstraction of Labeled Petri Nets Kevin Jones University of Utah Abstract- Due to the increasing use and complexity of embedded and cyber-physical systems, proper validation of the

              Add to Reading List

              Source URL: www.async.ece.utah.edu

              Language: English - Date: 2015-11-04 17:38:56
                48Decision NoticeWD Decision of the 27th June 2011 issued in virtue of the Malta Resources Authority Act (Cap. 423 of the Laws of Malta) and the Groundwater Abstraction (Metering) Regulations, 2010 (LN 241 of 201

                Decision NoticeWD Decision of the 27th June 2011 issued in virtue of the Malta Resources Authority Act (Cap. 423 of the Laws of Malta) and the Groundwater Abstraction (Metering) Regulations, 2010 (LN 241 of 201

                Add to Reading List

                Source URL: mra.org.mt

                Language: English - Date: 2013-11-01 03:18:56
                  49MODEL ABSTRACTION AND TEMPORAL BEHAVIOR ANALYSIS OF GENETIC REGULATORY NETWORKS by Hiroyuki Kuwahara

                  MODEL ABSTRACTION AND TEMPORAL BEHAVIOR ANALYSIS OF GENETIC REGULATORY NETWORKS by Hiroyuki Kuwahara

                  Add to Reading List

                  Source URL: www.async.ece.utah.edu

                  Language: English - Date: 2015-11-04 17:38:56
                    50Demo: Implementing iptables using a programmable stateful data plane abstraction Luca Petrucci‡ , Marco Bonola‡ , Salvatore Pontarelli‡ , Giuseppe Bianchi‡ , Roberto Bifulco† ‡ CNIT/University of Rome Tor Ver

                    Demo: Implementing iptables using a programmable stateful data plane abstraction Luca Petrucci‡ , Marco Bonola‡ , Salvatore Pontarelli‡ , Giuseppe Bianchi‡ , Roberto Bifulco† ‡ CNIT/University of Rome Tor Ver

                    Add to Reading List

                    Source URL: conferences.sigcomm.org

                    Language: English - Date: 2017-04-02 13:29:23