Breadcrumb

 
 

Items where Division is "Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering" and Year is 1996

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Authors | Item Type | No Grouping
Jump to: A | C | D | E | F | G | J | K | L | M | N | P | S | T | Y
Number of items: 24.

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.

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.

This list was generated on Sat Nov 22 03:10:59 2014 EST.

Concordia University - Footer