Items where Division is "Computer Science and Software Engineering" and Year is 1996

Ashraf, Karima (1996) Recursive query optimization in deductive databases via proof-tree transformations. Masters thesis, Concordia University.

Chalin, Patrice (1996) On the language design and semantic foundation of LCL, a Larch/C interface specification language. PhD thesis, Concordia University.

Chander, Prabhakar Gokul (1996) On the design and evaluation of rule-based systems. PhD thesis, Concordia University.

Dachraoui, Taoufik (1996) Fast parallel algorithms for sorting and median finding. Masters thesis, Concordia University.

Desai, Bipin C. and Swiercz, Stan (1996) WebJournal: Visualization of a Web Journey. In: Digital libraries: research and technology advances: selected papers: ADL'95 Forum, McLean, Virginia, USA, May 15-17, 1995. Lecture notes in computer science (1082). Springer, Berlin, pp. 63-80. ISBN 9783540614104

Ewanchyna, Theodore J (1996) Techniques for specification and validation of complex protocols. Masters thesis, Concordia University.

Fink, Nathaniel (1996) The implementation of two utilities in BDX. Masters thesis, Concordia University.

Greig, Alison S (1996) [Pi]-DFD graphic interface : DFD graphical analysis within ET₍₍ framework using CWB tool. Masters thesis, Concordia University.

Jamil, Hasan M (1996) Semantics of behavioral inheritance in deductive object-oriented databases. PhD thesis, Concordia University.

Janto, Maria (1996) State space estimation and distributed predicate detection. Masters thesis, Concordia University.

Kharma, Tania (1996) Reengineering unification and t-entailment for Mantra in C++. Masters thesis, Concordia University.

Kollokian, Vasken (1996) Performance analysis of automatic techniques for tissue classification in magnetic resonance images of the human brain. Masters thesis, Concordia University.

Lam, Ping Ngai (1996) Testing of delay-insensitive circuits using protocol extraction strategies. PhD thesis, Concordia University.

Large, Valerie (1996) The [Pi]-DFD graphic interface. Masters thesis, Concordia University.

Luo, Frank Jin Ye (1996) A diagnostic method for non-deterministic finite state machines. Masters thesis, Concordia University.

Muthiayen, Darmalingum (1996) Animation and formal verification of real-time reactive systems in an object-oriented environment. Masters thesis, Concordia University.

Narayanan, Sridhar (1996) Formal methods for reuse of design patterns and micro-architectures. Masters thesis, Concordia University.

Nassar, George J (1996) Adaptive unified thinning algorithm. Masters thesis, Concordia University.

Protopsaltou, Antonios (1996) Constructing black-box test suites for systems specified in Larch/C++. Masters thesis, Concordia University.

Said, Fady N (1996) Recognition of symbols and characters on engineering drawings and maps. Masters thesis, Concordia University.

Scott, Jennifer (1996) Building a user interface for a lexicon browser system. Masters thesis, Concordia University.

Sienkiewicz, Joanna (1996) A distributed debugger based on deterministic replay. Masters thesis, Concordia University.

Tabach, Afaf (1996) Incorporating use case testing into a design tool. Masters thesis, Concordia University.

Tao, Hongjing (1996) Static analyzer : a design tool for TROM. Masters thesis, Concordia University.

Yin, Hongfeng (1996) Perceptron-based algorithms and analysis. PhD thesis, Concordia University.