Sciweavers

1715 search results - page 225 / 343
» Embedded Systems and Real-Time Programming
Sort
View
183
Voted
ASAP
1997
IEEE
92views Hardware» more  ASAP 1997»
15 years 9 months ago
Optimized software synthesis for synchronous dataflow
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...
Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward...
IEEECIT
2006
IEEE
16 years 5 days ago
The Partitioning Methodology in Hardware/Software Co-Design Using Extreme Programming: Evaluation through the Lego Robot Project
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...
Heeseo Chae, Dong-hyun Lee, Jiyong Park, Hoh Peter...
ENTCS
2008
102views more  ENTCS 2008»
15 years 6 months ago
Programming Languages For Interactive Computing
Traditional programming languages are algorithmic: they are best suited to writing programs that acquire all their inputs before executing and only produce a result on termination...
Roly Perera
145
Voted
EMSOFT
2003
Springer
15 years 11 months ago
HOKES/POKES: Light-Weight Resource Sharing
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
Herbert Bos, Bart Samwel
ENTCS
2010
173views more  ENTCS 2010»
15 years 6 months ago
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin,...