10899 search results - page 1967 / 2180 » The GP Programming System |
136
Voted
CCS
2003
ACM
15 years 7 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
131
Voted
CIKM
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we describe a graphical workflow management system called HyperThesis to address the challenges of integrating bioinformatics applications. HyperThesis is an integ...
154
Voted
FPL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper explores using information about program branch probabilities to optimise reconfigurable designs. The basic premise is to promote utilization by dedicating mo...
142
Voted
ILP
2003
Springer
15 years 7 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
112
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
Modern FPGAs have been designed with advanced integrated circuit techniques that allow high speed and low power performance, joined to reconfiguration capabilities. This makes new...