5241 search results - page 304 / 1049 » Embedded Programming with C |
118
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
117
click to vote
SIGADA
2005
Springer
15 years 8 months ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
136
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation deve...
150
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
108
click to vote
ICIP
2000
IEEE
16 years 4 months ago
2000
IEEE
We describe effective channel coding strategies which can be used in conjunction with linear programming optimization techniques for the embedding of robust perceptually adaptive ...