5241 search results - page 697 / 1049 » Embedded Programming with C |
137
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
137
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
185
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Scalable heterogeneous computing systems, which are composed of a mix of compute devices, such as commodity multicore processors, graphics processors, reconfigurable processors, ...
123
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
141
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...