4 search results - page 1 / 1 » Grand Challenge 7: Journeys in Non-Classical Computation |
BCS
2008
13 years 8 months ago
2008
ICARIS
2003
Springer
14 years 9 days 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...
ACL2
2006
ACM
14 years 1 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
13 years 5 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...