Sciweavers

6274 search results - page 309 / 1255
» Proofs, Programs, Processes
Sort
View
SCAM
2005
IEEE
16 years 6 days ago
Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
Nerina Bermudo, Andreas Krall, R. Nigel Horspool
ICCS
2001
Springer
15 years 11 months ago
Achieving Performance Portability with SKaMPI for High-Performance MPI Programs
Abstract. Current development processes for parallel software often fail to deliver portable software. This is because these processes usually require a tedious tuning phase to del...
Ralf Reussner, Gunnar Hunzelmann
DSD
2010
IEEE
134views Hardware» more  DSD 2010»
15 years 6 months ago
A New High-Level Methodology for Programming FPGA-Based Smart Camera
Due to the various devices composing a smart camera system, various languages have to be known by the designer (like HDL and C/C++). Most of vision applications designers are soft...
Nicolas Roudel, François Berry, Jocelyn S&e...
SIGCSE
2006
ACM
146views Education» more  SIGCSE 2006»
16 years 17 days ago
'Programming language paradigms' instruction through designing a new paradigm
Undergraduate and master’s students enrolled in a programming language paradigms class are given the assignment to design a new programming language paradigm. The students are a...
Hilda M. Standley
GPCE
2005
Springer
16 years 4 days ago
Source-Level Optimization of Run-Time Program Generators
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
Samuel N. Kamin, Baris Aktemur, Philip Morton