Sciweavers

16844 search results - page 235 / 3369
» How to Design Programs
Sort
View
PADL
2004
Springer
15 years 12 months ago
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Martin Erwig, Zhe Fu

Book
2651views
17 years 4 months ago
Object Oriented Programming with ANSI-C
"This book is not going to praise object-oriented programming or condemn the Old Way. We are simply going to use ANSI-C to discover how object-oriented programming is done, w...
Axel-Tobias Schreiner
ENTCS
2002
65views more  ENTCS 2002»
15 years 6 months ago
Superposition: Composition vs refinement of non-deterministic action-based systems
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...
Antónia Lopes, José Luiz Fiadeiro
ESOP
2010
Springer
16 years 1 months ago
A Universal Calculus for Stream Processing Languages
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
Robert Soulé, Martin Hirzel, Robert Grimm, ...
CISIS
2008
IEEE
16 years 1 months ago
Hardware Software Partitioning Problem in Embedded System Design Using Particle Swarm Optimization Algorithm
Hardware/software partitioning is a crucial problem in embedded system design. In this paper, we provide an alternative approach to solve this problem using Particle Swarm Optimiz...
Alakananda Bhattacharya, Amit Konar, Swagatam Das,...