BSP -Style Computation: A Semantic Investigation

A BSP (Bulk Synchronous Parallelism) computation is characterized by the generation of asynchronous messages in packages during independent execution of a number of processes and their subsequent delivery at synchronization points. Bundling messages together represents a significant departure from the traditional ‘one communication at a time’ approach. In this paper the semantic consequences of communication packaging are explored. In particular, the BSP communication structure is identified with a general form of substitution—predicate substitution. Predicate substitution provides a means of reasoning about the synchronized delivery of asynchronous communications when the immediate programming context does not explicitly refer to the variables that are to be updated (unlike traditional operations, such as the assignment $x := e$, where the names of the updated variables can be extracted from the context). Proofs of implementations of Newton's root finding method and prefix sum are used to illustrate the practical application of the proposed approach.

Inductive reasoning and semantic cognition: More than just different names for the same thing?

We describe evidence that certain inductive phenomena are associated with IQ, that different inductive phenomena emerge at different ages, and that the effects of causal knowledge on induction are decreased under conditions of memory load. On the basis of this evidence we argue that there is more to inductive reasoning than semantic cognition.

Annotation of Case C-272/94, Criminal proceedings against Michel Guiot and Climatec SA, ECR 1996 I-1905

Employer's contributions - Loyalty stamps - Bad-weather stamps - Freedom to provide services - Posted Workers

Annotation of Case C-43/93, Raymond Vander Elst v Office des Migrations Internationales, ECR I-3803

Freedom to provide services - Nationals of a non-member country - Posted Workers

Annotation of Case C-353/92, Hellenic Republic v Council, ECR 1994 I-3411, and Case C-358/92, Hellenic Republic v Commission, ECR I-3507

Action for annulment - Council Regulation (EEC) Nº 1765/92 of 30 June 1992 establishing a support system for producers of certain arable crops - Commission Regulation (EEC) Nº 2294/92 of 31 July 1992 on detailed rules for the application of the support system for producers of the oil seeds referred to in Council Regulation (EEC) Nº 1765/92 - Obligation to observe a final date for sowing and for lodging an application for a compensatory payment

Annotation of Case C-375/92, Commission v Kingdom of Spain, ECR 1994 I-923, and Case C-45/93, Commission v Kingdom of Spain, ECR 1994 I-911

Failure to fulfil obligations - Freedom to provide services - Tourist guides - Professional qualification required by national rule - Discrimination - Museum admission

Annotation of Case C-56/91, Hellenic Republic v Commission, ECR 1993 I-3433

Common Agricultural Policy - Clearance of EAGGF accounts - 1988 financial year

Annotation of Case C-183/91, Commission v Hellenic Republic, ECR 1993 I-3131

State aid - Tax exemption on earnings from exports - Recovery

Annotation of Judgment of Athens Court of Appeals 442/1993

Directives - Improper implementation - Direct effect - Consumer protection