Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 9 of 9 for “"Design Languages"”.
-
Translation of Heterogeneous High-level Models to Lower Level Design Languages
… of a system," because only rarely are systems designed wholly using a purely top-down approach. Commonly, the design approach is a mixture of top-down and bottom-up. But even in this mixed approach, top-down techniques are critical to the development of new, advanced system features and …
-
Addressing cognitive challenges in design: a designers’ perspective
… of cognitive capability for informing design. The literature review further specifies that current research has largely ignored how user cognition is understood and implemented by designers. This study thus aims to advance the understanding of user cognition by adding the designers’ …
-
Use of high-level design information for enabling automation of fine-grained power gating
… through power gating requires considerable design and verification effort. Conventionally, extensive analysis is required for dividing a heterogeneous design into power domains and generating control signals for power switches because of the need to preserve design behavior. In this thesis, …
-
The work of vitalism : Murano Togo
… which technology and structure were embraced as design languages. Mainstream architects, including the modernist Tange Kenzo (1913-2005), worked mostly on public funded projects. Murano's buildings, often being ornate and commercially used, did not accord with this predominant current. Thus, he …
-
Functional Programming and Metamodeling frameworks for System Design
… of computations (MoCs). As a result, any system design framework for such systems requires the capability to express heterogeneous MoCs. Although a number of system level design languages (SLDL)s and frameworks have proliferated over the last few years, most of them are lacking in multiple ways. …
-
Modular SMT-Based Verification of Rule-Based Hardware Designs
The highly-concurrent nature of hardware logic designs makes their design and verification difficult. Bluespec SystemVerilog (BSV) simplifies this problem by introducing the rule-level abstraction. Modules are expressed in terms of guarded atomic actions that appear to fire in a sequential order, …
-
Real-Time Operating System Modelling and Simulation Using SystemC
… time-to-market pressure bring challenges to the design productivity of real-time embedded systems. Various System-Level Design (SLD), System-Level Design Languages (SLDL) and Transaction-Level Modelling (TLM) approaches have been proposed as enabling tools for real-time embedded system …
-
Reviving the Cultural Arts of the Islamic Geometries into Contemporary Interior Design.
… of cultural identity within contemporary design. The proposed framework explores key features of a cultural and a contemporary style design language, as well as their modifications, to where both styles can be integrated. The drive behind this study is the need to revive cultural identity …