Sciweavers

1539 search results - page 1 / 308
» Is it time for real-time functional programming
Sort
View
DOCENG
2004
ACM
13 years 10 months ago
Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation
XML and its associated languages are emerging as powerful authoring tools for multimedia and hypermedia web content. Furthermore, intelligent presentation generation engines have ...
Peter R. King, Patrick Schmitz, Simon J. Thompson
FM
1994
Springer
135views Formal Methods» more  FM 1994»
13 years 9 months ago
Adding Real Time to Formal Program Development
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
Colin J. Fidge
ICCD
1992
IEEE
124views Hardware» more  ICCD 1992»
13 years 9 months ago
The ETCA Data-Flow Functional Computer for Real-Time Image Processing
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
Georges Quénot, Bertrand Zavidovique
FORMATS
2008
Springer
13 years 6 months ago
A Framework for Distributing Real-Time Functions
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
Frédéric Boniol, Pierre-Emmanuel Hla...