#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2010

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Rajiv Murali, Andrew Ireland
- ECEASST
- 2012

An approach to generating provably correct sequential code from formally developed algorithmic designs is presented. Given an algorithm modelled in the Event-B formalism, we automatically translate the design into the SPARK programming language. Our translation builds upon Abrial's approach to the development of sequential programs from Event-B models.… (More)

- Rajiv Murali, Andrew Ireland, Gudmund Grov
- ABZ
- 2016

- Mahalinga V. Mandi, K. N. Hari Bhat, R. Murali
- 2013 International Conference on Machine…
- 2013

Set of binary sequences with good pair wise cross-correlation finds application in code division multiple access (CDMA) system. Normally in these schemes, since cross-correlation has a minimum value but not zero, if the number of users increases at a time, there is degradation in the quality of the received signal. Chaotic sequences have good correlation… (More)

- Ramesh S, K N Haribhat, R Murali
- 2010

This paper discusses the linear complexity property of binary sequences generated using matrix recurrence relation defined over Z 4. Generally algorithm to generate random number is based on recursion with seed value/values. In this paper a linear recursion sequence of matrices or vectors over Z 4 is generated from which random binary sequence is obtained.… (More)

- M. Kamal Kumar, R. Murali, H. B. Walikar, A. P. Deshpande, Savita Basapur, Sudershan Reddy
- 2015

A Subset S of the vertex set of a graph G is called a dominating set of G if each vertex of G is either in S or adjacent to at least one vertex in S. A partition D = {D 1 , D 2 , …, D k } of the vertex set of G is said to be a domatic partition or simply a d-partition of G if each class D i of D is a dominating set in G. The maximum cardinality taken over… (More)

- K. Karthik, S. Hariharan, R. Murali, Ram Kumar
- 2013

The goal of the proposed system is to retrieve the corresponding image from the database based on the query image. Now-a-days images are stored in the database in the form of digital. Thus, retrieval of image from huge database become complex. Most of the existing system uses indirect method of retrieval and they have no methodology. Thus the major aim of… (More)

- Rajiv Murali, Andrew Ireland, Gudmund Grov
- NFM
- 2015

- ‹
- 1
- ›