and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
1	A RULE-BASED APPROACH FOR SPATIAL OBJECT MODELLING AND TASK MANAGEMENT Qiming Chen National Land Information System National Bureau of Surveying & Mapping* Beijing, Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 01:03:11 Software engineering Computing Computer programming Object-oriented programming Database Prolog Object ECO Database management systems Database models
2	Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 11:00:56 Software engineering Theoretical computer science Computing Concurrent computing Constraint programming Models of computation Model checkers Process calculus Michael Butler Model checking FDR Denotational semantics
3	Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Theoretical computer science Logic in computer science Formal methods Programming language semantics Models of computation Denotational semantics Process calculi Matthew Hennessy Semantics Maurice Nivat Bisimulation Negation
4	High-Performance and Scalable Designs of Programming Models for Exascale Systems Talk at HPCAC-Switzerland (Marby Dhabaleswar K. (DK) Panda The Ohio State University Add to Reading List Source URL: www.hpcadvisorycouncil.com Language: English - Date: 2016-04-06 01:18:07 Computing Parallel computing Message Passing Interface Partitioned global address space Multi-core processor Xeon Phi K computer SHMEM Manycore processor
5	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:19 Theoretical computer science Mathematical logic Mathematics Logic in computer science Boolean algebra Logic programming Automated planning and scheduling Formal methods Situation calculus Planning Domain Definition Language Boolean satisfiability problem Conjunctive normal form
6	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
7	Extending Code Generation to Support Platform-‐Independent Event-‐B Models Asieh Salehi, Michael Butler and Colin Snook University of Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:48:12 Software engineering Programming language theory Computer programming Cross-platform software Procedural programming languages E Pascal C
8	OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti Add to Reading List Source URL: tenor2015.tenor-conference.org Language: English - Date: 2015-05-26 15:55:56 Software engineering Concurrency Models of computation Constraint programming Diagrams Programming paradigms Formal methods Theoretical computer science Petri net Constraint logic programming Decomposition method
9	A Formal Model and Composition Language for Context-Aware Service Protocols A Formal Model and Composition Language for Context-Aware Service Protocols Javier Cubo, Carlos Canal, Ernesto Pimentel, Gwen Sala¨ un Add to Reading List Source URL: casta.unibe.ch Language: English - Date: 2012-07-02 10:13:08 Theoretical computer science Logic in computer science Programming language semantics Communications protocol Data transmission Model theory Operational semantics Models of computation
10	Summary Design of Parallel and High-Performance Computing: Distributed-Memory Models and Algorithms Lecture overview Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-12-07 06:55:02 Parallel computing Computing Theory of computation Computer programming NC Matrix multiplication algorithm Bulk synchronous parallel Ordinal number Central processing unit Communication-avoiding algorithms