3979 search results - page 360 / 796 » Wild control operators |
143
click to vote
JLP
2010
15 years 1 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
320
click to vote
FAST
2011
14 years 10 months ago
2011
Elasticity of cloud computing environments provides an economic incentive for automatic resource allocation of stateful systems running in the cloud. However, these systems have t...
203
click to vote
Publication
We introduce and apply a genetic representation for analog electronic circuits based on the association of character strings extracted from the genome with the terminals and param...
242
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
186
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
We have designed and implemented a system for real-time detection of 2-D features on a reconfigurable computer based on Field Programmable Gate Arrays (FPGA `s). We envision this ...