SAXO-RT: Interpreting Esterel Semantic on a Sequential Execution Structure.
Etienne ClosseMichel PoizeJacques PulouPatrick VenierDaniel WeilPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- semantic structure
- semantic structures
- natural language
- circuit design
- semantic search
- low level features
- execution model
- semantic constraints
- semantic description
- semantic analysis
- semantic similarity
- database
- structural information
- hierarchical structure
- tree structure
- semantic information
- dynamic environments
- domain specific
- databases