Division of Electrical, Electronics, and Computer Science (EECS): Recent submissions
Now showing items 101-120 of 1577
-
Genetic algorithms: novel models and fitness -based adaptive disruption strategies
Genetic Algorithms are robust search and optimization methods that have emerged to be effective for a variety of real-world problems. They are stochastic, iterative techniques based on a population of evolving solutions, ... -
Supercombinator based implementation of lazy functional programming languages
Functional languages are becoming popular for the ease of programming that they facilitate. The implementation of a class of these languages is described. A method for compile-time detection of potential garbage in one ... -
Intelligent backtracking in logic programming.
Logic programming languages are being used extensively in the Fifth Generation Computer Project and in the areas of artificial intelligence, knowledge representation, expert systems and other reasoning systems. One very ... -
Integrated analytical models for parallel and distributed computing systems
Analytical modelling plays an important role in the design and development of parallel and distributed computing systems. In this context, Product Form Queueing Networks (PFQNs) and Generalized Stochastic Petri Nets (GSPNs) ... -
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 ... -
General purpose simulation tool for the performence analysisof ATM Switches
The Broadband Integrated Services Digital Network (B-ISDN) supports a wide range of audio, video, and data services within the same network. To cover the widest range of applications possible, B-ISDN should support both ... -
Some investigations on performance improvement of turbo decoders
Iterative turbo decoders have become popular in error correction because of their excellent Bit Error Rate (BER) characteristics, approaching Shannon limits. They have shown great potential in a variety of areas like ... -
Improving quality of speech in VoIP using time-scale modification
Voice over Internet Protocol (VoIP) is an emerging technology that enables the transport of voice over the Internet. The quality of delivered voice is a critical issue due to packet loss and end-to-end delay variations ... -
Optimal mobile assisted offloading and network price differenciation
This thesis studies two problems related to cellular resource provisioning. The first problem deals with mobile-assisted data offloading, and the second problem analyzes network partitioning for differential pricing and ... -
Approach to the Analysis of Scheduling Policies for Guaranteeing Delay with Arbitrary Arrivals
Many real-tim e applications need a delay guarantee from th e network. For this scheduling algorithms are useful. Therefore, given a scheduling algorithm and a characterization of arriving traffic, it is im p o rtan t ... -
Investigation on architectural elements of network processors
Increasing network speeds have placed enormous burden on the processing requirements, and the processors are expected to carry out a variety of tasks. Network Processors (NP) is the blanket name given to the processors ... -
General purpose simulation tool for the performence analysisof ATM Switches
The Broadband Integrated Services Digital Network (B-ISDN) supports a wide range of audio, video, and data services within the same network. To cover the widest range of applications possible, B-ISDN should support both ... -
Optimal mobile assisted offloading and network price differenciation
This thesis studies two problems related to cellular resource provisioning. The first problem deals with mobile-assisted data offloading, and the second problem analyzes network partitioning for differential pricing and ... -
Some investigations on performance improvement of turbo decoders
Iterative turbo decoders have become popular in error correction because of their excellent Bit Error Rate (BER) characteristics, approaching Shannon limits. They have shown great potential in a variety of areas like ... -
Approach to the Analysis of Scheduling Policies for Guaranteeing Delay with Arbitrary Arrivals
Many real-time applications require delay guarantees from the network. To achieve this, scheduling algorithms play a crucial role. Therefore, given a scheduling algorithm and a characterization of arriving traffic, it is ... -
Investigation on architectural elements of network processors
Increasing network speeds have placed enormous burden on the processing requirements, and the processors are expected to carry out a variety of tasks. Network Processors (NP) is the blanket name given to the processors ... -
Improving quality of speech in VoIP using time-scale modification
Voice over Internet Protocol (VoIP) is an emerging technology that enables the transport of voice over the Internet. The quality of delivered voice is a critical issue due to packet loss and end-to-end delay variations ...