Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Computing
• XSB
• Prolog
• Logic programming
• Partial evaluation
• Mathematical logic
• Logic
• Deductive database
• Abstract interpretation
• ECL programming language

SPECIAL SECTION DISTRIBUTED PROGRAMMING IN ARGU!S Argus-a programming language and system developed to support the implementation and execution of distributed programs-provides mechanisms that help programmers cope with

Source URL: nil.csail.mit.edu

• Computing
• Transaction processing
• Concurrency control
• Data management
• Information science
• Databases
• Lock
• Linearizability
• Hash table
• File locking
• Unix signal
• Serializability

Système d’incitations réciproques - Exécution des décisions de règlement de différend n° à du 15 juillet 2014 Synthèse de la consultation publique L’Autorité a reçu huit contributions pro

Source URL: www.arafer.fr

List of countries or territories and expected time limits of execution of the GLOBAL Express service No. Destination Country

Source URL: www.polish-post.pl

• Geography of Europe
• Civil procedure
• Europe
• Service of process
• Mail
• Forms of government
• Malta
• Email

PROCEDURES FOR THE EXECUTION OF BLOCK TRADES 1. Block Trades a) Once a block trade has been arranged, in accordance with the predetermined minimum volume threshold level as determined and published by the Bourse, details

Source URL: www.m-x.ca

• Economy
• Finance
• Money
• Futures markets
• Futures exchanges
• Stock market
• Financial markets
• Futures contract
• Stock market index future
• London Stock Exchange
• Montreal Exchange
• Exchange

Forward What is Bonding? All of the acts of an artificial person such as a corporation or municipal corporation are included in three general classes of action, namely legislation, judication and execution, that is, the

Source URL: freedom-school.com

• Economy
• Corporate law
• Law
• Private law
• Sureties
• Tort law
• Bond
• Surety bond
• Misfeasance
• Corporation
• United States corporate law
• Legal personality

Structuring the execution of OpenMP applications for multicore architectures Fran¸cois Broquedis, Olivier Aumage, Brice Goglin, Samuel Thibault, Pierre-Andr´e Wacrenier, Raymond Namyst To cite this version:

Source URL: hal.inria.fr

• Computing
• Parallel computing
• Computer programming
• OpenMP
• Thread
• Scheduling
• Work stealing
• Multithreading
• Cache memory
• Multi-core processor
• Cilk
• Automatic parallelization

Partial Orders for Efficient Bounded Model Checking of Concurrent Software? Jade Alglave1 , Daniel Kroening2 , and Michael Tautschnig3 1 3

Source URL: www0.cs.ucl.ac.uk

• Computing
• Computer memory
• Memory barrier
• Static single assignment form
• Symbolic execution
• Computer engineering

New South Wales Report of an audit of applications for and execution of search warrants by the Independent Commission Against Corruption by

Source URL: www.oiicac.nsw.gov.au

• Independent Commission Against Corruption
• Law enforcement in Australia
• Law enforcement
• Search warrant
• Warrant of payment
• Economy
• Government
• ICAC Investigators

Querying DAG-shaped Execution Traces Through Views Maya Ben-Ari Tova Milo Elad Verbin

Source URL: www.cs.tau.ac.il

• Data management
• Computing
• Information science
• Query optimization
• SQL
• Directed acyclic graph
• Bin
• Theoretical computer science
• Database theory
• Search algorithms
• Lowest common ancestor
• Conjunctive query