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 |