4880 search results - page 276 / 976 » Manuals as Structured Programs |
151
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
153
click to vote
EUROGP
2000
Springer
15 years 8 months ago
2000
Springer
The use of FPGA based custom computing platforms is proposed for implementing linearly structured Genetic Programs. Such a context enables consideration of micro architectural and ...
136
click to vote
WSC
2008
15 years 6 months ago
2008
Approximate dynamic programming is emerging as a powerful tool for certain classes of multistage stochastic, dynamic problems that arise in operations research. It has been applie...
157
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
155
click to vote
CONSTRAINTS
2010
15 years 4 months ago
2010
AND/OR search spaces accommodate advanced algorithmic schemes for graphical models which can exploit the structure of the model. We extend and evaluate the depth-first and best-fi...