6120 search results - page 249 / 1224 » The Power of Linear Functions |
203
click to vote
FOSSACS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
153
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper discusses approaches to cooperative coevolution of form and function for autonomous vehicles, specifically evolving morphology and control for an autonomous micro air v...
167
click to vote
DEXA
1994
Springer
15 years 10 months ago
1994
Springer
We describe a functional database language OR-SML for handling disjunctive information in database queries, and its implementation on top of Standard ML 12]. The core language has ...
193
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
A novel framework shows the potential of FPGA-based systems for increasing fault-tolerance and flexibility by placing functionality onto free hardware (HW) or software (SW) resour...
136
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
McLean's notion of Selective Interleaving Functions (SIFs) is perhaps the bestknown attempt to construct a framework for expressing various security properties. We examine th...