5241 search results - page 233 / 1049 » Embedded Programming with C |
137
click to vote
CADE
2003
Springer
16 years 2 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
126
click to vote
ACSD
2001
IEEE
15 years 6 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
148
click to vote
JTRES
2009
ACM
15 years 9 months ago
2009
ACM
This paper describes hardware methods, a lightweight and platform-independent scheme for linking real-time Java code to co-processors implemented using a hardware description lang...
111
Voted
VL
2007
IEEE
15 years 8 months ago
2007
IEEE
Children who are active on the internet are performing significant design and programming activity without realising it, in the course of hacking little animations, game scripts a...
114
click to vote
POPL
2009
ACM
15 years 9 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...