etd AT Indian Institute of Science: Recent submissions
Now showing items 1041-1060 of 8174
-
Automata constructions and decision procedures for metric temporal logic
Linear-Time Temporal Logic (LTL) [Pnu77] and its timed variant Metric Temporal Logic (MTL) [Koy90] are popular ways of specifying and reasoning about qualitative and quantitative behaviours of systems. In this thesis, we ... -
On the expressiveness of metric temporal logic
Temporal Logics are a popular formalism for specification of properties in the verification of reactive systems. They can be employed to reason about the behavior of systems with the evolution of time. For example, one can ... -
Predictive modelling for migration within a secondary storage level
Current high-end systems used in web and database servers utilize large storage capacities. Despite the annual decline in disk drive prices, the cost of the storage system now accounts for about 30% to 40% of the total ... -
Design of pattern classifiers using optimization techniques
Of the various approaches to the design of pattern classifiers, those that depend on a given finite set of patterns have received considerable attention in the literature. These approaches fall into two categories depending ... -
Exploring the Semantics of Plan Diagrams
Database Management Systems (DBMS) are popular software packages for storing and managing enterprise data. Modern DBMS typically store data in the form of tables, called relations, and query the information using the ... -
System virtualization in the multi-core era-a Q0S perspective
The emergence of multi-core servers and the growing need for green computing have led to the resurgence of system virtualization. System virtualization has re-emerged as a solution to many critical challenges faced by ... -
Robust Speaker Identification System
Recent advances in research and development in speaker recognition and identification systems have made speaker identification one of the most trusted methods for authorization and forensic applications. However, field ... -
Extending a grid resource management architecture for managing data and computation for parallel applications
Grid Resource Procedure Call (GridRPC) systems have been used to solve parallel applications over Grid resources using simple sequential interfaces. In these systems, sequential data from the user is segmented according ... -
On the effectiveness of exploiting instruction level reuse in superscalar microprocessor : Power-performance prespective
Modern microprocessors exploit Instruction Level Parallelism (ILP) by employing substantial on-chip resources and incorporating microarchitectural features that exploit properties of programs. Among program attributes, ... -
Extending architectural support for imposing early and local cache coherence in distributed shared-memory multiprocessors
Designing cost-efficient cache coherence protocols has long been pursued in the context of Distributed Shared-memory Multiprocessors (DSM). With increasingly aggressive implementations of DSM systems that use high-performance ... -
Speculative trace scheduling of binary translated code in vliw processors
Very Long Instruction Word (VLIW) processors are well known for their high compute capacity and simple hardware. Because of these properties, these processors are very popular in the embedded processing domain. With the ... -
Satellite based web services
In the present information society, Internet services have become a part of urban life due to the easy availability of dial-up/leased lines. Unfortunately, these services have not reached many rural/remote areas due to ... -
Simulation and optimization of dynamical systems with high index and disjunctive constraints
Differential equations constrained by algebraic equations and inequalities on the states occur naturally in the modeling of many engineering systems such as simulation and control of multibody dynamical systems and electrical ... -
Fast flow-sensitive pointer analysis
Pointer alias analysis is a well-researched problem in the area of compilers and static program analysis. Many recent works in this area have focused on flow-sensitivity due to the additional precision it offers. Precise ... -
Complexity effective ASIP architectures for network processing and multimedia acceleration
Advancements in VLSI technology have significantly improved microprocessor performance over the past decades. However, contemporary general-purpose processors fall short in meeting the demands of emerging application ... -
Informational Asymmetry in Agency, Bargaining and Market Contexts
The standard micro-economic theory, as epitomized by Walras-Arrow -Debreu’s “General equilibrium theory", assumes that all the economic agents have complete information about their environment. But one comes across many ... -
Geothermal energy utilisation by cascaded model application: a techno-economic analysis-with particular reference to puga.
In any calculation of the world energy resources, the finiteness of fossil fuel resources set the limits. Most authorities are agreed that by the turn of the century there could be a rapidly developing shortfall in the ... -
Electricity supply-demand matching : An integrated approach
Electricity is the most preferred source of energy because of its quality and convenience. This has made the electric power industry one of the fastest-growing sectors in most developing countries. Even though the electric ... -
Exploratory study of the influence of patent latent variables and firm variables on price of auctioned singleton patents
The expected value that a patent might deliver in the market is important information that impacts an organisation抯 revenue. Patent valuation has attracted the attention of researchers since the 1980s. Studies have suggested ... -
Heuristics for routing vehicles for large scale employee transporatation
The considerable potential for vehicle routing methodology for large-scale employee transportation in the Indian context has been the motivating factor for this study. The principal objective of this study has been the ...