10666 search results - page 1377 / 2134 » Quantum programming languages |
240
click to vote
ALIFE
1999
15 years 7 months ago
1999
A novel machine language genetic programming system that uses one-dimensional core memories is proposed and simulated. The core is compared to a biochemical reaction space, and in ...
194
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
198
click to vote
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
232
click to vote
ICFEM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
240
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...