AXIOMATIC ARCHITECTURE DESCRIPTION LANGUAGE
\ˌaksɪəmˈatɪk ˈɑːkɪtˌɛkt͡ʃə dɪskɹˈɪpʃən lˈaŋɡwɪd͡ʒ], \ˌaksɪəmˈatɪk ˈɑːkɪtˌɛktʃə dɪskɹˈɪpʃən lˈaŋɡwɪdʒ], \ˌa_k_s_ɪ__ə_m_ˈa_t_ɪ_k ˈɑː_k_ɪ_t_ˌɛ_k_tʃ_ə d_ɪ_s_k_ɹ_ˈɪ_p_ʃ_ə_n l_ˈa_ŋ_ɡ_w_ɪ_dʒ]\
Definitions of AXIOMATIC ARCHITECTURE DESCRIPTION LANGUAGE
Sort: Oldest first
-
(AADL) A language allowingconcise modular specification of multiprocessorarchitectures from the compiler/operating-system interfacelevel down to chip level. AADL is rich enough to specifytarget architectures while providing a concise model forclocked microarchitectures.["AADL: A Net-Based Specification Method for ComputerArchitecture Design", W. Damm et al in Languages for ParallelArchitectures, J.W. deBakker ed, Wiley, 1989].
By Denis Howe
Word of the day
basidiomycota
- comprises fungi bearing the spores on basidium: Gasteromycetes (puffballs); Tiliomycetes (comprising orders Ustilaginales (smuts) and Uredinales (rusts)); Hymenomycetes (mushrooms; toadstools; agarics; bracket fungi); in some classification systems considered a division of kingdom comprises fungi bearing spores on a basidium; includes Gasteromycetes (puffballs) Tiliomycetes comprising the orders Ustilaginales (smuts) and Uredinales (rusts) Hymenomycetes (mushrooms, toadstools, agarics bracket fungi).
Nearby Words
- axiom
- axiom of choice
- axiom of comprehension
- axiom schema
- axiomatic
- Axiomatic Architecture Description Language
- axiomatic semantics
- axiomatic set theory
- axiomatical
- axiomatically
- axion