Computation

Results: 6765



#Item
381

Computation-by-Interaction with Effects Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen, Munich, Germany Abstract. A successful approach in the semantics of programming languages

Add to Reading List

Source URL: www2.tcs.ifi.lmu.de

- Date: 2011-09-19 12:59:27
    382

    Efficient Computation of Containment and Complementarity in RDF Data Cubes Marios Meimaris George Papastefanatos

    Add to Reading List

    Source URL: openproceedings.org

    - Date: 2016-04-12 08:50:25
      383

      Journal on Satisfiability, Boolean Modeling and Computation–76 DepQBF: A Dependency-Aware QBF Solver system description Florian Lonsing Armin Biere

      Add to Reading List

      Source URL: jsat.ewi.tudelft.nl

      - Date: 2010-08-13 10:16:00
        384

        Indefinite Scalability for Living Computation David H. Ackley University of New Mexico Department of Computer Science Albuquerque, NM 87131

        Add to Reading List

        Source URL: www.cs.unm.edu

        - Date: 2016-02-14 16:44:58
          385

          CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2015; 00:1–21 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: cpe A New Deadlock Resolution Pr

          Add to Reading List

          Source URL: www.christian-engelmann.info

          - Date: 2016-08-04 13:21:52
            386

            Abstract Practical and Deployable Secure Multi-Party Computation Debayan Gupta 2016

            Add to Reading List

            Source URL: cs-www.cs.yale.edu

            - Date: 2016-05-21 13:43:02
              387

              Towards a Theory of Networked Computation Joan Feigenbaum Michael Mitzenmacher

              Add to Reading List

              Source URL: www.cs.yale.edu

              - Date: 2009-07-20 13:14:01
                388

                High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada

                Add to Reading List

                Source URL: www.csd.uwo.ca

                - Date: 2008-12-16 23:38:33
                  389

                  — SUMMARY — rd DRAFT Emphasis on mastery of computation skills

                  Add to Reading List

                  Source URL: www.nychold.com

                  - Date: 2014-04-03 09:26:32
                    390

                    MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXSTIFFLY ACCURATE RUNGE–KUTTA METHODS FOR NONLINEAR EVOLUTION PROBLEMS

                    Add to Reading List

                    Source URL: www.math.tu-berlin.de

                    - Date: 2012-02-06 05:28:15
                      UPDATE