Searching for "Hierarchical Formalizations." – sorted by Relevance.
40 documents found, showing 1 through 10.
Next 10 →
-
Fractals under the Microscope or Reaching Beyond the Dimensional Formalism of Fractals
- … localised filters proves ideal in the context of hierarchical formalism of fractal geometry. In addition…
- Cited by 1 (1 self) – Add To MetaCart
-
Structured Specifications and Interactive Proofs with KIV
- … systems. It supports: { hierarchical formal specication of software and system designs { specication…
- Cited by 19 (15 self) – Add To MetaCart
-
Self-Timed Architecture Of A Reduced Instruction Set Computer
- … Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified…
- Cited by 6 (2 self) – Add To MetaCart
-
H-COSTAM : a Hierarchical Communicating State-machine Model for Generic Prototyping
- …-COSTAM is possible. We present an example with Estelle. Key-word : Prototyping, modeling, hierarchical formalism 1…
- Cited by 1 (0 self) – Add To MetaCart
-
Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study
- …Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study…
- Add To MetaCart
-
Hierarchical Specification of Reactive System Requirements
- …--- A methodology for the description of hierarchical system requirements and formal specifications…
- Add To MetaCart
-
Hierarchical Intelligent Mixed Simulation
- … meaning, objectoriented representation. Formalizing hierarchical descriptions, we create a theoretical…
- Add To MetaCart
-
Hierarchical automata as model for statecharts (Extended Abstract)
- … which nevertheless allows to capture the richer formalism. Extended hierarchical automata, which…
- Cited by 51 (3 self) – Add To MetaCart
-
Grammaires Stochastiques Lexicalis6es d'Arbres Adjoints
- … appropriate for statistical analysis of language. In fact, LTAGs are the simplest hierarchical formalism which…
- Add To MetaCart
-
What is a Recursive Module?
- … dependencies, which cannot be expressed in a purely hierarchical formalism. The only solution is to consolidate…
- Cited by 66 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
