• Login
    Browsing Computer Science and Automation (CSA) by Advisor 
    •   etd@IISc
    • Division of Electrical, Electronics, and Computer Science (EECS)
    • Computer Science and Automation (CSA)
    • Browsing Computer Science and Automation (CSA) by Advisor
    •   etd@IISc
    • Division of Electrical, Electronics, and Computer Science (EECS)
    • Computer Science and Automation (CSA)
    • Browsing Computer Science and Automation (CSA) by Advisor
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browsing Computer Science and Automation (CSA) by Advisor "Srikant, Y N"

    • 0-9
    • A
    • B
    • C
    • D
    • E
    • F
    • G
    • H
    • I
    • J
    • K
    • L
    • M
    • N
    • O
    • P
    • Q
    • R
    • S
    • T
    • U
    • V
    • W
    • X
    • Y
    • Z

    Sort by:

    Order:

    Results:

    Now showing items 21-31 of 31

    • title
    • xmlui.ArtifactBrowser.ConfigurableBrowse.sort_by.datesubmitted
    • issue date
    • ascending
    • descending
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
      • Language Support for Exploiting Software Structure Specifications 

        Kumar, Bharath M (Indian Institute of Science, 2005-02-16)
        Precise specification of the architecture and design of software is a good practice. Such specifications contain a lot of information about the software that can potentially be exploited by tools, to reduce redundancy ...
      • Language Support For Testing CORBA Based Applications 

        Vardhan, K Ananda (Indian Institute of Science, 2005-12-07)
        Component Based Development has emerged as economical, reusable, scalable way of developing enterprise as well as embedded software applications. Testing distributed component based systems is difficult when third party ...
      • Large Scale Graph Processing in a Distributed Environment 

        Upadhyay, Nitesh (2018-05-25)
        Graph algorithms are ubiquitously used across domains. They exhibit parallelism, which can be exploited on parallel architectures, such as multi-core processors and accelerators. However, real world graphs are massive in ...
      • A Parallelizing Compiler for Fortran 

        Janaki, S (Indian Institute of Science, 2005-03-09)
        With the advent of Distributed Memory Machines (DMMs) numerous work have been undertaken to ease the work of a programmer these systems. Data parallel languages like Fortran D, Vienna Fortran, High Performance Fortran and ...
      • Petri Net Model Based Energy Optimization Of Programs Using Dynamic Voltage And Frequency Scaling 

        Arun, R (2013-05-29)
        High power dissipation and on-chip temperature limit performance and affect reliability in modern microprocessors. For servers and data centers, they determine the cooling cost, whereas for handheld and mobile systems, ...
      • Power Efficient Last Level Cache For Chip Multiprocessors 

        Mandke, Aparna (2015-09-09)
        The number of processor cores and on-chip cache size has been increasing on chip multiprocessors (CMPs). As a result, leakage power dissipated in the on-chip cache has become very significant. We explore various techniques ...
      • Precise Analysis of Private And Shared Caches for Tight WCET Estimates 

        Nagar, Kartik (2017-10-31)
        Worst Case Execution Time (WCET) is an important metric for programs running on real-time systems, and finding precise estimates of a program’s WCET is crucial to avoid over-allocation and wastage of hardware resources and ...
      • RLtools : A Toolset For Visual Language Application Development Based on Relational Grammars 

        Suresh, B G (2012-11-20)
      • TriSL: A Software Architecture Description Language and Environment 

        Lakshminarayanan, R (Indian Institute of Science, 2005-03-14)
        As the size and complexity of a software system increases, the design problem goes beyond the algorithms and data structures of the computation. Designing and specifying the overall system structure -- or software architecture ...
      • Typestates and Beyond: Verifying Rich Behavioral Properties Over Complex Programs 

        Mishra, Ashish
        Statically verifying behavioral properties of programs is an important research problem. An efficient solution to this problem will have visible effects over multiple domains, ranging from program development, program ...
      • Using Explicit State Space Enumeration For Specification Based Regression Testing 

        Chakrabarti, Sujit Kumar (2010-07-08)
        Regression testing of an evolving software system may involve significant challenges. While, there would be a requirement of maximising the probability of finding out if the latest changes to the system has broken some ...

        etd@IISc is a joint service of SERC & J R D Tata Memorial (JRDTML) Library || Powered by DSpace software || DuraSpace
        Contact Us | Send Feedback | Thesis Templates
        Theme by 
        Atmire NV
         

         

        Browse

        All of etd@IIScCommunities & CollectionsTitlesAuthorsAdvisorsSubjectsBy Thesis Submission DateThis CollectionTitlesAuthorsAdvisorsSubjectsBy Thesis Submission Date

        My Account

        LoginRegister

        etd@IISc is a joint service of SERC & J R D Tata Memorial (JRDTML) Library || Powered by DSpace software || DuraSpace
        Contact Us | Send Feedback | Thesis Templates
        Theme by 
        Atmire NV