Digital to hybrid program transformations
1996
This paper describes on-going research for the formulation, analysis and implementation of a procedure that transforms digital RISC fragments into hybrid programs. The proposed schema involves the construction of a function or a relation corresponding to the fragment, and the embedding of the function or relation into a suitable space of continuous trajectories over a manifold. This embedding is carried out constructively by formulating a relaxed variational problem whose solution trajectories approximate arbitrarily close the trajectory computed by the fragment at suitable sampling points.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
8
References
7
Citations
NaN
KQI