Results 1  10
of
18
SPIRAL: Code Generation for DSP Transforms
 PROCEEDINGS OF THE IEEE SPECIAL ISSUE ON PROGRAM GENERATION, OPTIMIZATION, AND ADAPTATION
, 2005
"... Abstract — Fast changing, increasingly complex, and diverse computing platforms pose central problems in scientific computing: How to achieve, with reasonable effort, portable optimal performance? We present SPIRAL that considers this problem for the performancecritical domain of linear digital sig ..."
Abstract

Cited by 141 (31 self)
 Add to MetaCart
Abstract — Fast changing, increasingly complex, and diverse computing platforms pose central problems in scientific computing: How to achieve, with reasonable effort, portable optimal performance? We present SPIRAL that considers this problem for the performancecritical domain of linear digital signal processing (DSP) transforms. For a specified transform, SPIRAL automatically generates high performance code that is tuned to the given platform. SPIRAL formulates the tuning as an optimization problem, and exploits the domainspecific mathematical structure of transform algorithms to implement a feedbackdriven optimizer. Similar to a human expert, for a specified transform, SPIRAL “intelligently ” generates and explores algorithmic and implementation choices to find the best match to the computer’s microarchitecture. The “intelligence” is provided by search and learning techniques that exploit the structure of the algorithm and implementation space to guide the exploration and optimization. SPIRAL generates high performance code for a broad set of DSP transforms including the discrete Fourier transform, other trigonometric transforms, filter transforms, and discrete wavelet transforms. Experimental results show that the code generated by SPIRAL competes with, and sometimes outperforms, the best available human tuned transform library code. Index Terms — library generation, code optimization, adaptation, automatic performance tuning, high performance computing, linear signal transform, discrete Fourier transform, FFT, discrete cosine transform, wavelet, filter, search, learning, genetic and evolutionary algorithm, Markov decision process I.
SPIRAL: A Generator for PlatformAdapted Libraries of Signal Processing Algorithms
 Journal of High Performance Computing and Applications
, 2004
"... SPIRAL is a generator for libraries of fast software implementations of linear signal processing transforms. These libraries are adapted to the computing platform and can be reoptimized as the hardware is upgraded or replaced. This paper describes the main components of SPIRAL: the mathematical fra ..."
Abstract

Cited by 72 (20 self)
 Add to MetaCart
SPIRAL is a generator for libraries of fast software implementations of linear signal processing transforms. These libraries are adapted to the computing platform and can be reoptimized as the hardware is upgraded or replaced. This paper describes the main components of SPIRAL: the mathematical framework that concisely describes signal transforms and their fast algorithms; the formula generator that captures at the algorithmic level the degrees of freedom in expressing a particular signal processing transform; the formula translator that encapsulates the compilation degrees of freedom when translating a specific algorithm into an actual code implementation; and, finally, an intelligent search engine that finds within the large space of alternative formulas and implementations
Emergence of Netgrammar in Communicating Agents
 BioSystems
, 1996
"... Evolution of symbolic language and grammar is studied in a network model. Language is expressed by words, i.e. strings of symbols, which are generated by agents with their own symbolic grammar system. Agents communicate with each other by deriving and accepting words in terms of their own grammar. T ..."
Abstract

Cited by 30 (4 self)
 Add to MetaCart
Evolution of symbolic language and grammar is studied in a network model. Language is expressed by words, i.e. strings of symbols, which are generated by agents with their own symbolic grammar system. Agents communicate with each other by deriving and accepting words in terms of their own grammar. They are ranked according to their communicative effectiveness: an agent which can derive less frequent and less acceptable words and accept words in less computational time will have higher scores. They can evolve by mutational processes, which change rewriting rules in their symbolic grammars. Complexity and diversity of words increase in the course of time. The emergence of modules and loop structure enhances the evolution. On the other hand, ensemble structure lead to a netgrammar, restricting individual grammars and their evolution. Key words: Netgrammar; Algorithmic evolution; Moduletype evolution; Evolution of language; Symbolic grammar systems 1 Introduction Linguistic expressions...
Spatial Graph Grammars for Graphical User Interfaces
 ACM Transactions on ComputerHuman Interaction
, 2006
"... In a graphical user interface, physical layout and abstract structure are two important aspects of a graph. This article proposes a new graph grammar formalism which integrates both the spatial and structural specification mechanisms in a single framework. This formalism is equipped with a parser th ..."
Abstract

Cited by 19 (9 self)
 Add to MetaCart
In a graphical user interface, physical layout and abstract structure are two important aspects of a graph. This article proposes a new graph grammar formalism which integrates both the spatial and structural specification mechanisms in a single framework. This formalism is equipped with a parser that performs in polynomial time with an improved parsing complexity over its nonspatial predecessor, that is, the Reserved Graph Grammar. With the extended expressive power, the formalism is suitable for many user interface applications. The article presents its application in adaptive Web design and presentation.
Evolution of Symbolic Grammar Systems
 ADVANCES IN ARTIFICIAL LIFE. THIRD EUROPEAN CONFERENCE ON ARTIFICIAL
, 1995
"... Evolution of symbolic language and grammar is studied in a network model. Language is expressed by words, i.e. strings of symbols, which are generated by agents with their own symbolic grammar system. By deriving and accepting words, the agents communicate with each other. An agent which can derive ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
Evolution of symbolic language and grammar is studied in a network model. Language is expressed by words, i.e. strings of symbols, which are generated by agents with their own symbolic grammar system. By deriving and accepting words, the agents communicate with each other. An agent which can derive less frequent and less acceptable words and accept words in less computational time will have higher scores. Grammars of agents can evolve by mutationally processes, where higher scored agents have more chances to breed their o springs with improved grammar system. Complexity and diversity of words increase in time. It is found that the module type evolution and the emergence of loop structure enhance the evolution. Furthermore, ensemble structure (netgrammar) emerges from interaction among individual grammar systems. A netgrammar restricts structures of individual grammar and determines their evolutionary pathway.
Betashift Dynamical Systems and Their Associated Languages
, 1999
"... Given > 1, an expansion of x 2 [0; 1) base is the encoding of the transformation T (x) = x (mod 1) into the space f0; : : : ; [ ]g where [ ] is the integer part of . The betashift is the closure of the set of betaexpansions of points in [0; 1). There is also a lexicographic description ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
Given > 1, an expansion of x 2 [0; 1) base is the encoding of the transformation T (x) = x (mod 1) into the space f0; : : : ; [ ]g where [ ] is the integer part of . The betashift is the closure of the set of betaexpansions of points in [0; 1). There is also a lexicographic description of the betashift, as well as the expansion of 1 base , which completely determines membership in the betashift. This
Generalising Landauer’s Principle
, 2007
"... In a recent paper [Mar05] it is argued that to properly understand the thermodynamics of Landauer’s Principle it is necessary extend the concept of logical operations to include indeterministic operations. Here we examine the thermodynamics of such operations in more detail, extending the work of La ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
In a recent paper [Mar05] it is argued that to properly understand the thermodynamics of Landauer’s Principle it is necessary extend the concept of logical operations to include indeterministic operations. Here we examine the thermodynamics of such operations in more detail, extending the work of Landuaer[Lan61] to include indeterministic operations and to include logical states with variable entropies, temperatures and mean energies. We derive the most general statement of Landauer’s Principle and prove it’s universality, extending considerably the validity of previous proofs. This confirms conjectures made in [Mar05], in particular that all logical operations may, in principle, be performed in a thermodynamically reversible fashion. We demonstrate a physical process that can perform any computation without work requirements or heat exchange with the environment. Many widespread statements of Landauer’s Principle
Let's Accept Rejects, But Only After Repairs
"... In the quest for a useful syntax for language definition formalisms  the SDF part of ASD+SDF of Klint and his coworkers  Visser has proposed to extend context free rules with reject productions. We propose to modify the definition to ensure modularity of reject grammars. Next, attention is dr ..."
Abstract
 Add to MetaCart
In the quest for a useful syntax for language definition formalisms  the SDF part of ASD+SDF of Klint and his coworkers  Visser has proposed to extend context free rules with reject productions. We propose to modify the definition to ensure modularity of reject grammars. Next, attention is drawn to the close link between reject grammars (under the modified definition), indexed least fixpoint grammars (Rounds) and simple literal movement grammars (Groenink). This link indicates that reject grammars are closely related to the `mildly contextsensitive' grammar formalisms that have been developed for use in natural language analysis. 1 Reject Grammars To increase the versatility of the ASD+SDF metaenvironment for specification and syntax definition created by Paul Klint and his coworkers [6], Visser [9] proposes to add reject rules A ! r A 1 \Delta \Delta \Delta An to CF grammars. The recipe for handling these reject rules is, roughly, the following: if A ! r ff is a rule of the...
A Universal Approach to Positive Regular Grammar Inference
"... In this paper, we present first a brief survey of some techniques in regular grammar inference. The core of the discussion is then to try to classify these different methods within a unique framework. A first step in that direction [10] has introduced a general methodology based on lettertoletter ..."
Abstract
 Add to MetaCart
In this paper, we present first a brief survey of some techniques in regular grammar inference. The core of the discussion is then to try to classify these different methods within a unique framework. A first step in that direction [10] has introduced a general methodology based on lettertoletter morphisms. We pursue that work and propose successively paradigms based on rewriting morphisms, substitutions, and transductions.
Teaching Formal Languages by an Intelligent . . .
, 2000
"... The paper describes design of the FLUTE system, an intelligent tutoring system in the domain of formal languages and automata. The basic idea of the FLUTE system is a systematic introduction of students into the system's domain, in accordance with both the logical structure of the domain and indiv ..."
Abstract
 Add to MetaCart
The paper describes design of the FLUTE system, an intelligent tutoring system in the domain of formal languages and automata. The basic idea of the FLUTE system is a systematic introduction of students into the system's domain, in accordance with both the logical structure of the domain and individual background knowledge and learning capabilities of each student. Other intelligent tutoring systems in that domain are not described in the open literature. The knowledge in the FLUTE system is represented starting from ITS ontology that has been defined within a recently developed framework and a model of intelligent tutoring systems, called GETBITS. A brief overview of the model/framework is also included. The contents that should be presented to the student during tutoring sessions are discussed and logical organization of such contents within the system is described. The system is analyzed in the paper from the pedagogical point of view. Every concept that a student has to l...