We present the results of our investigation into the use of Genetic Algorithms (GAs) for identifying near optimal design parameters of diagnostic systems that are based on Artifici...
This paper describes an efficient implementation of binning for decode-and-forward (DF) in relay channels using lowdensity parity-check (LDPC) codes. Bilayer LDPC codes are devised...
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...
We explore the application of a wiki-based technology and style of interaction to enabling the incremental translation of a collaborative application into a number of different la...
M. Cameron Jones, Dinesh Rathi, Michael B. Twidale