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

A

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

C

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.

D

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

E

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

F

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

G

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

J

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.

K

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.

L

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.

M

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

N

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.

P

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

S

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.

T

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.

Y

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