Site hosted by Angelfire.com: Build your free website today!

                                 

 Home           Events          Downloads           Contact          FAQ

Curriculum Vitae

General References
There are a multitude of good sites for online research these days.
Here are some links to good places to track down engineering papers:

CiteSeer/ResearchIndex is a search engine and citation index operated by NEC. It is based on the Google search engine and specialises in IT papers and technical reports. In many cases it is possible to download publications directly from the site.
Computer Science Bibliography is a database of computer science publications which can be searched on author and keywords. It allows a number of bibtex records to be downloaded directly for inclusion in LaTeX reports.
The ACM Digital Library allows articles published in ACM journals to be searched and retrieved. UWA has a site license allowing papers to be downloaded to the desktop.
The IEEE Library allows articles published in IEEE journals to be searched and retrieved. UWA has a site license allowing papers to be downloaded to the desktop.

Merriam-Webster Online
Britannica Search: Dictionary
Computer Dict:Free On-line Dictionary from FOLDOC
Computer Literacy Bookshops Home Page

Professional Affiliations
Institution of Electrical and Electronic Engineers (IEEE)
IEEE Computer Society
Centre for Intelligent Information Processing Systems (CIIPS)
Software Engineering Australia (SEAWA)

University Groups
Group Areas of Interest
CMU's Center for Electronic Design Automation Codesign, Benchmarks, DSP
Integrated Signal Processing Systems DSPStone, SPAM, Fridge, DSP compilers
A. Jerraya's System-Level Synthesis Group hardware/software co-design, system level synthesis
UCLA Papers Library Intl Collection of Technical Reports and Papers
Rajesh Gupta's Group (iESAG) Hw/Sw Co-design of Embedded Systems
G. Micheli's Synthesis Group Many aspects of CAD, Synthesis, Hw/Sw Co-Design
Stanford Electronic Library Searchable Tech Reports, Pubs etc
Tech Univ of Braunschwirg COSYMA, Prototyping, Embedded Systems
UC Berkeley CAD Home Page All aspects of CAD
UCI's Center for Embedded Computer Systems Embedded Systems, Hw/Sw Co-design, HDLs
UCLA VLSI CAD Lab VLSI CAD
UCSB CAD & Test Group CAD & Test Group

Research labs
Lab Areas of Interest
IMEC's SOC++ System Design
IMEC's Reconfigurable Systems Program
System level C++ based design, Hardware & Software Synthesis
   
INRIA's Codesign Project
Implementing systems on silicon
List of INRIA's other Research Activities
   
IBM's Verification Group
Sugar Spec Language for property checking
Formal Checkers