Ten Conferences WORDS: Open Problems and Conjectures

In connection to the development of the field of Combinatorics on Words, we present a list of open problems and conjectures that were stated during the ten last meetings WORDS. We wish to continually update the present document by adding informations concerning advances in problems solving

Conferences WORDS, years 1997-2017: Open Problems and Conjectures

International audienceIn connection with the development of the field of Combinatorics on Words, we present a list of open problems and conjectures which were stated in the context of the eleven international meetings WORDS, which held from 1997 to 2017

Automated analysis of feature models: Quo vadis?

Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a family of software systems. In 2010, a systematic literature review was published summarizing the advances and settling the basis of the area of Automated Analysis of Feature Models (AAFM). From then on, different studies have applied the AAFM in different domains. In this paper, we provide an overview of the evolution of this field since 2010 by performing a systematic mapping study considering 423 primary sources. We found six different variability facets where the AAFM is being applied that define the tendencies: product configuration and derivation; testing and evolution; reverse engineering; multi-model variability-analysis; variability modelling and variability-intensive systems. We also confirmed that there is a lack of industrial evidence in most of the cases. Finally, we present where and when the papers have been published and who are the authors and institutions that are contributing to the field. We observed that the maturity is proven by the increment in the number of journals published along the years as well as the diversity of conferences and workshops where papers are published. We also suggest some synergies with other areas such as cloud or mobile computing among others that can motivate further research in the future.Ministerio de Economía y Competitividad TIN2015-70560-RJunta de Andalucía TIC-186

The Oulipo and Modern Thought

The impact of the Oulipo (Ouvroir de Littérature Potentielle), one of the most important groups of experimental writers of the late twentieth century, is still being felt in contemporary literature, criticism and theory, both in Europe and the US. Founded in 1960 and still active today, this Parisian literary workshop has featured among its members such notable writers as Italo Calvino, Georges Perec, and Raymond Queneau, all sharing in its light-hearted, slightly boozy bonhomie, the convivial antithesis of the fractious, volatile coteries of the early twentieth-century avant-garde. For the last fifty years the Oulipo has undertaken the same simple goal: to investigate the potential of ‘constraints’ in the production of literature—that is, formal procedures such as anagrams, acrostics, lipograms (texts which exclude a certain letter), and other strange and complex devices. Yet, far from being mere parlour games, these methods have been frequently used as part of a passionate—though sometimes satirical—involvement with the major intellectual currents of the mid-twentieth century. Structuralism, psychoanalysis, Surrealism, analytic philosophy: all come under discussion in the group’s meetings, and all find their way in the group’s exercises in ways that, while often ironic, are also highly informed. Using meeting minutes, correspondence, and other material from the Oulipo archive at the Bibliothèque nationale de France, The Oulipo and Modern Thought shows how the group have used constrained writing as means of puckish engagement with the debates of their peers, and how, as the broader intellectual landscape altered, so too would the group’s conception of what constrained writing can achieve

Parallel Architectures for Planetary Exploration Requirements (PAPER)

The Parallel Architectures for Planetary Exploration Requirements (PAPER) project is essentially research oriented towards technology insertion issues for NASA's unmanned planetary probes. It was initiated to complement and augment the long-term efforts for space exploration with particular reference to NASA/LaRC's (NASA Langley Research Center) research needs for planetary exploration missions of the mid and late 1990s. The requirements for space missions as given in the somewhat dated Advanced Information Processing Systems (AIPS) requirements document are contrasted with the new requirements from JPL/Caltech involving sensor data capture and scene analysis. It is shown that more stringent requirements have arisen as a result of technological advancements. Two possible architectures, the AIPS Proof of Concept (POC) configuration and the MAX Fault-tolerant dataflow multiprocessor, were evaluated. The main observation was that the AIPS design is biased towards fault tolerance and may not be an ideal architecture for planetary and deep space probes due to high cost and complexity. The MAX concepts appears to be a promising candidate, except that more detailed information is required. The feasibility for adding neural computation capability to this architecture needs to be studied. Key impact issues for architectural design of computing systems meant for planetary missions were also identified