55,723 research outputs found
Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo
This articles is a structured bibliography on theorem provers,
approaches to theorem proving, and theorem proving applications inspired
from Satchmo, the model generation theorem prover developed
in the mid 80es of the 20th century at ECRC, the European Computer-
Industry Research Centre. Note that the bibliography given in this article
is not exhaustive
C Language Extensions for Hybrid CPU/GPU Programming with StarPU
Modern platforms used for high-performance computing (HPC) include machines
with both general-purpose CPUs, and "accelerators", often in the form of
graphical processing units (GPUs). StarPU is a C library to exploit such
platforms. It provides users with ways to define "tasks" to be executed on CPUs
or GPUs, along with the dependencies among them, and by automatically
scheduling them over all the available processing units. In doing so, it also
relieves programmers from the need to know the underlying architecture details:
it adapts to the available CPUs and GPUs, and automatically transfers data
between main memory and GPUs as needed. While StarPU's approach is successful
at addressing run-time scheduling issues, being a C library makes for a poor
and error-prone programming interface. This paper presents an effort started in
2011 to promote some of the concepts exported by the library as C language
constructs, by means of an extension of the GCC compiler suite. Our main
contribution is the design and implementation of language extensions that map
to StarPU's task programming paradigm. We argue that the proposed extensions
make it easier to get started with StarPU,eliminate errors that can occur when
using the C library, and help diagnose possible mistakes. We conclude on future
work
E\{Java, CaesarJ, Scala\} : un exercice d'intégration de la programmation par objets, par aspects et par évènements
National audienceLa programmation par évènements et la programmation par aspects sont des paradigmes de programmation qui s'avèrent compléter utilement la programmation par objets dans une très large gamme d'applications. Leur utilisation concomitante, bien que possible dans un langage comme Java, est toutefois malaisée. Malgré leur très grande proximité, les solutions proposées présentent de nombreuses faiblesses et des irrégularités qui sont des sources notables de perplexité et de complexité. Il est toutefois possible de résoudre ces problèmes en centrant l'intégration des trois paradigmes autour des principes de la programmation par objets et de réaligner autour de ces principes l'ensemble des concepts rencontrés. On obtient alors un modèle régulier et très flexible de programmation. Ce modèle a été implémenté avec quelques variations dans EJava, ECaesarJ et EScala, qui étendent respectivement Java, CaesarJ et Scala
Can models be useful for deciding to convert to organic fruit growing ? An introduction to the discussion
Modern high-input agriculture has produced great increases in crop yields but social
and environmental costs have also been high. Over the past decades, sustainability
has become more and more a guiding principle in agriculture. In this context, organic
farming became recognised by farmers, policymakers and consumers as one of the
possibilities for the farmer in a more sustainable way (De Cock L., 2005)
- …