| 1. |
- Axelsson, Emil, 1978, et al.
(author)
-
Feldspar: A Domain Specific Language for Digital Signal Processing algorithms
- 2010
-
In: Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign. - 9781424478859 ; , s. 169-178
-
Conference paper (peer-reviewed)abstract
- A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional language embedded in Haskell. It offers a high-level dataflow style of programming, as well as a more mathematical style based on vector indices. The key to generating efficient code from such descriptions is a high-level optimization technique called vector fusion. Feldspar is based on a low-level, functional core language which has a relatively small semantic gap to machine-oriented languages like C. The core language serves as the interface to the back-end code generator, which produces C. For very small examples, the generated code performs comparably to hand-written C code when run on a DSP target. While initial results are promising, to achieve good performance on larger examples, issues related to memory access patterns and array copying will have to be addressed.
|
|
| 2. |
- Axelsson, Emil, 1978, et al.
(author)
-
The Design and Implementation of Feldspar: An Embedded Language for Digital Signal Processing
- 2011
-
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783642242755 ; 6647, s. 121-136
-
Conference paper (peer-reviewed)abstract
- Feldspar is a domain specific language, embedded in Haskell, for programming digital signal processing algorithms. The final aim of a Feldspar program is to generate low level code with good performance. Still, we chose to provide the user with a purely functional DSL. The language is implemented as a minimal, deeply embedded core language, with shallow extensions built upon it. This paper presents full details of the essential parts of the implementation. Our initial conclusion is that this approach works well in our domain, although much work remains.
|
|
| 3. |
- Axelsson, Emil, 1978, et al.
(author)
-
The Design and Implementation of Feldspar: an Embedded Language for Digital Signal Processing
- 2010
-
In: IFL 2010, the 22nd Symposium on Implementation and Application of Functional Languages.
-
Conference paper (other academic/artistic)abstract
- Feldspar is a Domain Specific Language, embedded in Haskell, for programming Digital Signal Processing algorithms. The final aim of a Feldspar program is to generate low level code with good performance. Still, we chose to provide the user with a purely functional DSL. The language is implemented as a minimal, deeply embedded core language, with shallow extensions built upon it. This paper presents full details of the essential parts of the implementation. Our initial conclusion is that this approach works well in our domain, although much work remains.
|
|
| 4. |
- Backman, Ylva, et al.
(author)
-
Philosophy with children : moral argumentation and the role of pictures
- 2011
-
In: Educating for complex thinking through philosophical inquiry. - Padova : Liguori. ; , s. 12 s.-
-
Conference paper (other academic/artistic)abstract
- The aim of this paper is to outline the disposition and results of a short-time pilot study (Backman, 2009) of pupils’ ability to express ethical arguments and of the role of pictures in ethical argumentation. There were 18 pupils, in the ages 7-8 years, that participated in the study, which was carried out in a school in the northern part of Sweden. In this paper, we begin by giving a short description of some relevant statements in the Swedish national curriculum and put this in relation to some previous research on philosophical inquiry with children. Then we continue by describing some of the project’s influences from philosophical practice and theoretical groundwork. After this, some methodological concerns and ethical considerations are referred. Finally, some results of the study are described and shortly discussed.
|
|
| 5. |
- Batani, D., et al.
(author)
-
Effects of laser prepulse on proton generation
- 2010
-
In: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. - : Elsevier BV. - 0168-9002. ; 620:1, s. 76-82
-
Conference paper (peer-reviewed)abstract
- Low-intensity laser prepulse ( < 10(13) W/cm(2), ns duration) are a major issue in experiments on laser-generation of protons, often limiting the performances of proton sources produced by high-intensity lasers (approximate to 10(19) W/cm(2), ps or fs duration) Several effects are associated to the prepulse and are discussed in this contribution: i) Destruction of thin foil targets by the shock generated by the laser prepulse ii) Creation of preplasma on target front side affecting laser absorption iii) Deformation of target rear side iv) Whole displacement of thin foil targets affecting focusing condition In particular, we show that under oblique high-intensity irradiation and for low prepulse intensities, the proton beam is directed away from the target normal. Deviation is towards the laser forward direction, with an angle that increases with the level and duration of the ASE pedestal. Also, for a given laser pulse, beam deviation increases with proton energy. The observations are discussed in terms of Target Normal Sheath Acceleration, in combination with a laser-controllable shock wave locally deforming the target surface. (C) 2010 Elsevier B.V. All rights reserved.
|
|
| 6. |
- Batani, D., et al.
(author)
-
Effects of laser prepulse on proton generation
- 2010
-
In: Radiation Effects and Defects in Solids. - : Informa UK Limited. - 1042-0150 .- 1029-4953. ; 165:6-10, s. 794-802
-
Conference paper (peer-reviewed)abstract
- Prepulse is a major issue for laser generation of protons, often limiting the performances of laser sources. Here, we show the use of prepulse (1013W/cm2, ns duration) to actively manipulate the proton beam direction. Under oblique high-intensity irradiation (approximate to 1019W/cm2, ps duration) of the thin foil target, and for low prepulse intensities, the proton beam is directed away from the ounperturbedo target normal. Observations are discussed in terms of target normal sheath acceleration, in combination with a laser-controllable shock locally deforming the target surface.
|
|
| 7. |
|
|
| 8. |
|
|
| 9. |
- Dévai, Gergely, et al.
(author)
-
Efficient Code Generation from the High-level Domain-specific Language Feldspar for DSPs
- 2010
-
In: ODES-8: 8th Workshop on Optimizations for DSP and Embedded Systems, workshop associated with IEEE/ACM International Symposium on Code Generation and Optimization (CGO).
-
Conference paper (peer-reviewed)abstract
- Software for digital signal processors (DSPs) is traditionally highly hardware-dependent and hence porting it to new processors usually requires significant design effort. In this paper we present Feldspar (Functional Embedded Language for DSP and Parallelism), an embedded, high-level, domain-specific language for DSP algorithm design and the compilation techniques we developed for generating C code from specifications written in Feldspar. While Feldspar allows description of algorithms on specification level, we show that with the right set of abstractions and transformations this high level, functional specification can be transformed into C code that is comparable or better than reference, hand-crafted C language implementations. The Feldspar compiler is highly modular and plugin-based, hence future hardware-specific plugins will enable automatic generation of efficient, hardware-specific code. This approach enables the encapsulation of knowledge of hardware completely in the compiler and thus allows description of algorithms in completely hardware-independent, portable manner.
|
|
| 10. |
- Gardelli, Viktor, et al.
(author)
-
Coherentism as a foundation for ethical dialog and evaluation in school : value communication, assessment and mediation
- 2011
-
In: Educating for complex thinking through philosophical inquiry. - Padova : Liguori. ; , s. 13 s.-
-
Conference paper (other academic/artistic)abstract
- In this paper, we are mainly concerned with coherentism as an approach to ethical dialog in school. We have two different but connected aims with the paper. The first aim is to say something about general philosophical questions relating to coherentism as a theory in metaethics, and especially in relation to value education; the second aim is to explore some possible implications of coherentism as a method in studying the enterprise of discussing ethical issues and questions with children as well as the study of the actual ethical discussion in school. Furthermore, we evaluate the connection between a coherentistic approach to justification and the methodological parts of a Philosophy with Children, or Community of Inquiry, approach to ethics in school. Related to this, we scrutinize what implications this has for evaluating ethical learning within Philosophy with Children, or Community of Inquiry, as well as implications for evaluation of the Philosophy with Children, or Community of Inquiry, approaches as methods for dealing with ethical matters in school.
|
|
