Search
Now showing items 31-40 of 50
Testing synchronously communicating distributed systems
(Dhirubhai Ambani Institute of Information and Communication Technology, 2018)
In our work we are supposed to test whether the generated distributed
implementation(or distributed network) behaves similar to that of given
specification. We are doing this over synchronously communicating FSMs(Finite
State ...
Synthesis of distributed systems w.r.t. isomorphism
(Dhirubhai Ambani Institute of Information and Communication Technology, 2018)
This thesis focuses on the construction of the distributed system from global
specifications. Our main focus is only on distribution as a synchronous product
of transition systems. By having prior knowledge of a global ...
Legal informatics
(Dhirubhai Ambani Institute of Information and Communication Technology, 2018)
Legal text are increasing exponentially with use of digitization and internet. It
is difficult to process such large and complex legal documents. Catchphrase extraction
is used to give fair knowledge of legal issues ...
Design of countermeasures for replay spoof speech attack
(Dhirubhai Ambani Institute of Information and Communication Technology, 2018)
Automatic Speaker Verification (ASV) system is a biometric person authentication
system to verify a claimed speaker's identity from his/her voice with the
help of machines. The ASV systems are vulnerable to various types ...
Wind energy forecasting using recurrent neural networks
(Dhirubhai Ambani Institute of Information and Communication Technology, 2018)
Wind energy has the potential to meet all our electricity demands and is a cost
effective source of energy. Power operators dealing with the electricity generation
from wind energy often face many problems due to the ...
Learning cross domain relations using deep learning
(Dhirubhai Ambani Institute of Information and Communication Technology, 2018)
The Generative Adversarial Networks (GAN) have achieved exemplary performance
in generating realistic images. They also perform image to image translation
and produce good results for the same. In this thesis, we explore ...
Design and analysis of ultra wideband low noise amplifier
(Dhirubhai Ambani Institute of Information and Communication Technology, 2018)
With the advent of wireless technology, ultra wide band systems due to their fast data rate transmission have gained momentum. One of the basic building blocks of the receiver - Low Noise Amplifier (LNA) has seen various ...
Design and implementation of a low power superscalar processor
(Dhirubhai Ambani Institute of Information and Communication Technology, 2018)
Designed and Implemented a Superscalar processor, where it fetches and issues two instructions simultaneously and it has 6 stages. Initially, concentrated on designing the architecture to make the processor executing ...
Design of shorted microstrip patch antenna array
(Dhirubhai Ambani Institute of Information and Communication Technology, 2018)
In wireless communication, the requirement of the portable device increased tremendously.
Portable devices have to be small as much possible. For that purpose, microstrip
patch antennas are used but as demand increases ...
Design and implementation of low power superscalar processor
(Dhirubhai Ambani Institute of Information and Communication Technology, 2018)
As the Reduced Instruction Set Computing (RISC) philosophy architecture provides higher operating frequency and low power design as compared to Complex Instruction Set Computing (CISC) philosophy, a single core superscalar ...