1821 search results - page 70 / 365 » Security-Aware Program Transformations |
103
click to vote
DSL
1997
15 years 3 months ago
1997
DiSTiL is a software generator that implements a declarative domain-specific language (DSL) for container data structures. DiSTiL is a representative of a new approach to domain-...
127
Voted
VLSID
2004
IEEE
16 years 2 months ago
2004
IEEE
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
120
Voted
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining the consistency of information between input and output. Despite many promising results o...
105
Voted
CASES
2006
ACM
15 years 8 months ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
139
Voted
INTERACTION
2009
ACM
15 years 8 months ago
2009
ACM
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...