1392 search results - page 117 / 279 » Staging generic programming |
189
click to vote
WAC
2004
Springer
15 years 10 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
155
Voted
WLP
2004
Springer
15 years 10 months ago
2004
Springer
Constraint programming provides a declarative approach to solving combinatorial (optimization) problems. The user just states the problem as a constraint satisfaction problem (CSP)...
137
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
128
click to vote
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
Rather than attempting to evolve a complete program from scratch we demonstrate genetic interface programming (GIP) by automatically generating a parallel CUDA kernel with identica...
117
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...