Items where Author / Artist / Editor is "Bavan, A. S."

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 20.

Article

Bavan, A. S. and Abeysinghe, Geetha (2005) On the specification and implementation of distributed systems using NMDS and LIPS. Information and software technology, 47 (11) . pp. 721-734. ISSN 0950-5849 [Article] (doi:10.1108/01425450010377579)

Bavan, A. S., Ford, Martyn and Kalatzi, Melina (2000) Genomic and proteomic sequence recognition using a connectionist inference model. Journal of chemical technology and biotechnology, 75 (10) . pp. 901-912. ISSN 0264-3413 [Article] (doi:10.1002/1097-4660(200010))

Mitchell, Ian ORCID: https://orcid.org/0000-0002-3882-9127 and Bavan, A. S. (2000) A connectionist inference model for pattern-directed knowledge representation. Expert systems, 17 (2) . pp. 106-113. ISSN 0266-4720 [Article]

Book Section

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2010) Semantics for the asynchronous communication in LIPS, a language for implementing parallel/distributed systems. In: Innovations in computing science and software engineering. Sobh, Tarek and Elleithy, Khaled, eds. Springer, Netherlands, pp. 23-28. ISBN 9789048191116. [Book Section] (doi:10.1007/978-90-481-9112-3_5)

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2010) An equivalence theorem for the specification of asynchronous communication systems (SACS) and asynchronous message passing systems (AMPS). In: Advanced techniques in computing sciences and software engineering. Elleithy, Khaled, ed. Springer, London, UK, pp. 491-496. ISBN 9789048136599. [Book Section] (doi:10.1007/978-90-481-3660-5_85)

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2009) Formalism for high level specification of parallel/distributed languages. In: Current Trends in Information Technology (CTIT): 2009 International Conference. Institute of Electrical and Electronics Engineers, pp. 19-25. ISBN 9781424457540. [Book Section] (doi:10.1109/CTIT.2009.5423121)

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2008) Semantics for the specification of asynchronous communicating systems (SACS). In: Advances in computer and information sciences and engineering. Sobh, Tarek M., ed. Springer, New York, pp. 33-38. ISBN 9781402087400. [Book Section] (doi:10.1007/978-1-4020-8741-7)

Bavan, A. S. (2008) A parallel algorithm that enumerates all the cliques in an undirected graph. In: Advances in computer and information sciences and engineering. Sobh, Tarek, ed. Springer, Dordrecht. ISBN 9781402087400. [Book Section]

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2007) Semantics for an asynchronous message passing system. In: Advances and innovations in systems, computing sciences and software engineering. Elleithy, Khaled, ed. Springer, pp. 83-88. ISBN 9781402062681. [Book Section] (doi:10.1007/978-1-4020-6268-1_16)

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2006) Semantics for a distributed programming language using SACS and weakest pre-conditions. In: ADCOM 2006 autonomic computing: proceedings. IEEE, pp. 434-439. ISBN 142440715X.. [Book Section]

Abeysinghe, Geetha, Bavan, A. S. and Rajan, A. V. S. (2004) Requirement specification for distributed applications using diagrammatic notations. In: Twelfth international conference on advances in computing & communications, ADCOM-2004: 15-18 December, 2004. Dasgupta, A. R., Iyengar, S. S. and Bhatt, Haresh S., eds. Allied Publishers, New Delhi, pp. 527-535. ISBN 8177647172. [Book Section]

Bavan, A. S., Abeysinghe, Geetha and Maye, R. (2003) Specification and modelling of distributed systems. In: Proceedings of the international conference on communications in computing: CIC '2003. D'Auriol, Brian J., ed. CSREA Press. ISBN 9781932415063. [Book Section]

Huyck, Christian R. ORCID: https://orcid.org/0000-0003-4015-3549 and Bavan, A. S. (2002) Neural cell assemblies for practical applications. In: SCI 2002: ISAS: the 6th world multiconference on systemics, cybernetics and informatics: proceedings. Callaos, Nagib, ed. International Institute of Informatics and Systemics., Orlando, Florida., pp. 174-177. ISBN 9800781501. [Book Section]

Bavan, A. S. and Illingworth, E. (2001) A language for implementing parallel and distributed systems using asynchronous point-to-pont communication. In: Information processing and technology. Mastorakis, Nikos E. and Nikolopoulos, Stavros D., eds. Nova Science, New York. ISBN 1590331168. [Book Section]

Conference or Workshop Item

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2009) Formalisms for the verification of parallel/distributed systems. In: CTIT 2009, 8-9 December 2009, Dubai. . [Conference or Workshop Item]

Bavan, A. S. (2009) An artificial neural network that recognizes an ordered set of words in text mining. In: 2009 International conference on the current trends in information technology, 15th-16th Dec 2009, Dubai. . [Conference or Workshop Item]

Bavan, A. S., Rajan, A. V. S. and Abeysinghe, Geetha (2007) Asynchronous message passing architecture for a distributed programming language. In: The IADIS International conference on Applied Computing 2007, 17-20 February 2007, Salamanca, Spain. . [Conference or Workshop Item]

Rajan, A. V. S., Bavan, A. S. and Abeysinghe, Geetha (2006) Semantics for an asynchronous message passing system. In: International Conference on Systems, Computing Sciences and Software Engineering, CISSE 2006, 4 - 14 December 2006, Online. . [Conference or Workshop Item]

Bavan, A. S. and Illingworth, E. (2000) On the design and implementation of reliable point-to-point asynchronous message passing system. In: The 10th International Conference on Computing and Information ICCI '2000., November 18-21, 2000, Kuwait. . [Conference or Workshop Item]

Book

Bavan, A. S., Illingworth, E., Rajan, A. V. S. and Abeysinghe, Geetha (2007) Specification of asynchronous communicating systems (SACS). IADIS. ISBN 9789728924300. [Book]

This list was generated on Mon Nov 30 05:27:28 2020 GMT.