1932 search results - page 334 / 387 » A Functional Quantum Programming Language |
139
Voted
CORR
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. We investigate the evolutionary processes behind the development and optimization of multiple threads of execution in digital organisms using the avida platform, a softwa...
113
Voted
ENTCS
2007
15 years 2 months ago
2007
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...
147
click to vote
SIGSOFT
2010
ACM
15 years 15 days ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
239
Voted
SCP
2011
14 years 9 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
124
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...