4 search results - page 1 / 1 » Grand Challenge 7: Journeys in Non-Classical Computation |
48
Voted
BCS
2008
14 years 11 months ago
2008
ICARIS
2003
Springer
15 years 2 months ago
2003
Springer
The UK Grand Challenges for Computing Research is an initiative to map out certain key areas that could be used to help drive research over the next 10–15 years. One of the ident...
112
click to vote
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
CEC
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract-- We present a case study demonstrating that using the REVAC parameter tuning method we can greatly improve the `world champion' EA (the winner of the CEC2005 competi...