TITLE

Chapter 13: Project Start Paper: The EmBounded Project

AUTHOR(S)
Hammond, Kevin; Dyckhoff, Roy; Ferdinand, Christian; Heckmann, Reinhold; Hofmann, Martin; Jost, Steffen; Loidl, Hans-Wolfgang; Michaelson, Greg; Pointon, Robert; Scaife, Norman; Sérot, Jocelyn; Wallace, Andy
PUB. DATE
January 2007
SOURCE
Trends in Functional Programming Volume 6;2007, Vol. 6, p195
SOURCE TYPE
Book
DOC. TYPE
Article
ABSTRACT
This paper introduces the EU Framework VI EmBounded project, a €1.3M project that will develop static analyses for resource-bounded computations (both space and time) in real-time embedded systems using the domain-specific language Hume,a language that combines functional programming for computations with finite-state automata for specifying reactive systems.
ACCESSION #
26215084

 

Related Articles

  • Parallel Implementations of the Selection Problem: A Case Study. Daumas, Marc; Evripidou, Paraskevas // International Journal of Parallel Programming;Feb2000, Vol. 28 Issue 1, p103 

    The selection problem has been studied extensively on sequential machines. A linear average time solution and a linear worst-case solution are considered as the standard by most researchers. Theoretical work is also available on parallel models, but it has not been widely implemented on parallel...

  • Parallel Implementations of the Selection Problem: A Case Study. Daumas, Marc; Evripidou, Paraskevas // International Journal of Parallel Programming;Feb2000, Vol. 28 Issue 1, p103 

    The selection problem has been studied extensively on sequential machines. A linear average time solution and a linear worst-case solution are considered as the standard by most researchers. Theoretical work is also available on parallel models, but it has not been widely implemented on parallel...

  • On the Expressiveness of Links in Hypertext Systems. Moreau, L.; Hall, W. // Computer Journal;1998, Vol. 41 Issue 7, p459 

    In this paper, we study how linking mechanisms contribute to the expressiveness of hypertext systems. For this purpose, we formalize hypertext systems as abstract machines. As the primary benefit of hypertext systems is to be able to read documents non-linearly, their expressiveness is defined...

  • An object-oriented approach to software development in C for small embedded systems. Pont, Michael J. // Transactions of the Institute of Measurement & Control;2003, Vol. 25 Issue 3, p217 

    This paper is concerned with the development of software for embedded systems which will typically be implemented using a small microcontroller (8051, PIC, HC08 or similar device). It is argued that C remains the most appropriate means of developing software for such systems, and guidelines are...

  • Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems. Maraninchi, Florence; Mendler, Michael; Pouzet, Marc; Girault, Alain; Rutten, Eric // EURASIP Journal on Embedded Systems;1/7/2009, p1 

    The article discusses various reports published within the issue, including one on the Application Programming Interfaces (APIs) for using relational databases within the Esterel programming language, and another on the implementation of the Local and Remote Result Set APIs.

  • Build Com Objects In Visual Basic For Your Embedded System Applications. Faust, Paul // Electronic Design;07/24/2000, Vol. 48 Issue 15, p105 

    Focuses on the adoption of the Component Object Model (COM) by the Visual Basic developers. Importance of COM development on embedded-system applications; Use of interfaces in COM deployment; Creation of a standardization process that will define interchangeable instrument-class interfaces; Use...

  • Racing for dominance. Orubeondo, Ana // InfoWorld;8/27-9/3/2001, Vol. 23 Issue 35/36, p56 

    Reports the installation of Linux embedded computer systems on mobile devices. Improvement of programming languages; Application of the Web servers; Development of the licensing model.

  • Exploring Parafunctional Programming: Separating the What from the How. Hudak, Paul // IEEE Software;Jan88, Vol. 5 Issue 1, p54 

    Presents a method for parafunctional programming in the United States. Difficulty of programmers of creating design decisions on traditional programming language; Characterization of parafunctional behavior; Variety of design choices.

  • How functional programming mattered. Zhenjiang Hu; Hughes, John; Meng Wang // National Science Review;2015, Vol. 2 Issue 3, p349 

    In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly 'why functional programming matters'. More than two decades have passed. Has functional programming really mattered? Our answer is a resounding 'Yes!'. Functional...

Share

Read the Article

Courtesy of VIRGINIA BEACH PUBLIC LIBRARY AND SYSTEM

Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics