Sciweavers

5241 search results - page 303 / 1049
» Embedded Programming with C
Sort
View
PADL
2004
Springer
15 years 8 months ago
UUXML: A Type-Preserving XML Schema-Haskell Data Binding
An XML data binding is a translation of XML documents into values of some programming language. This paper discusses a typepreserving XML–Haskell data binding that handles docume...
Frank Atanassow, Dave Clarke, Johan Jeuring
ERSHOV
2001
Springer
15 years 7 months ago
Exploring Template Template Parameters
Abstract The generic programming paradigm has exerted great influence on the recent development of C++, e.g., large parts of its standard library [2] are based on generic containe...
Roland Weiss, Volker Simonis
FDL
2008
IEEE
15 years 9 months ago
Towards Compilation of Streaming Programs into FPGA Hardware
There is an increasing need for automated conversion of high-level design descriptions into hardware. We present a flow that converts a software application written in the Brook ...
Franjo Plavec, Zvonko G. Vranesic, Stephen Dean Br...
POPL
2011
ACM
14 years 6 months ago
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Pe...
POPL
1992
ACM
15 years 7 months ago
Semantic Foundations of Jade
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
Martin C. Rinard, Monica S. Lam