7103 search results - page 623 / 1421 » Program Generation and Components |
171
click to vote
EH
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper discusses the problem of increased programming time for intrinsic evolvable hardware (EHW) as the complexity of the circuit grows. We develop equations for the size of ...
213
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
157
click to vote
PDPTA
2007
15 years 8 months ago
2007
- In this paper we experiment with two optimization techniques we are considering implementing in a parallelizing compiler that generates parallel code for a distributed-memory sys...
204
click to vote
VMV
2003
15 years 8 months ago
2003
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
164
click to vote
AAAI
1990
15 years 7 months ago
1990
Current explanation-based generalization (EBG) techniques can perform badly when the problem being solved involves recursion. Often an infinite series of learned concepts are gene...