Research Collection


This is a page I use to organize my collection of URLs on topics which I am investigating.  Actually, the page is intended mainly for my own use, but it might help you, too.

Evolutionary Computation
EvoWeb (ESPRIT's network of excellence in evolutionary computation).

Formal Methods
at Bell Labs
at CMU
at Oxford

Model Checking
Gerard Holzmann's page
PVS at SRI
SMV at CMU
SPIN, Promela, and PAN from Lucent (SPIN V3.2 April 1998)
SPIN pages at Kansas State

Programmable Networks Research
Andrew T. Campbell's Home Page at Dartmouth
DARPA Active Networks Program
MIT Activeware Web Site
University of Arizona Liquid Software Web Site
University of California Santa Cruz Multicasting Web Site
Georgia Tech Composable Active Networ Elements (CANES) Web Site
Netscript Web Site at Columbia University
UC Berkeley Ninja Project Web Site
IBM Almaden T Spaces Project Web Site
Planet Lab Consortium

Other Networking Research
National Laboratory for Applied Network Research (NLANR)
Corporation for Research and Educational Networking (CREN)
UC Berkeley Network Research (web site)
UC Irvine Networking Research (web site)
University of Washington (web site)
CMU Information Networking Institute (INI)
MIT Communications and Networking Research group (web site)
U Mass. Networking Research group (web site)
AT&T Center for Internet Research at ICSI
Operating Systems (but not necessarily the better known)
C EXECUTIVE (a real-time kernel from JMI Software Systems)
CMX RTOS  
GEOS (a real-time operating system from Geoworks)
Inferno (a networking operating system from Lucent intended for distributed computing)
OSE Real-time Kernel (a real-time kernel from a Swedish company)
PalmOS (the operating system for the PalmPC)
QNX (a real-time microkernal operating system from QNX Software Systems)
RTEMS (a real-time executive sponsored by the U.S. Army)
VxWorks (a real-time operating system from WindRiver)
WindowsCE (the MS operating system intended to eliminate the others in this list)

Reonfigurable Computing
Altera FPGAs
Virtual Computer Corporation offers FPGA development systems
Xilinx FPGAs

Software Engineering
Bibliography index (at the University of Washington)
Communicating Sequential Processes (CSP)

Software Quality and Testing
Applied Computing Technology's SNA Testing Products & Services
Applied Testing and Technology's software testing index page
Chinese Association for Software Quality (CASQ)
Laura K. Dillon's page (Michigan State University)
Lori Pollock's papers on software testing (University of Delaware)
Mercury Interactive automated software testing solutions
McCabe & Associates
NSTL
Rational's courses
Software Development Technologies (SDT)
Software Quality, Inc. (index page accessible from this site)
Software Testing Institute (STI)
Teradyne's Software and Systems Test division
Test Generation Using Model Checking (a paper from the Netherlands)
Value Added Software Information for Europe (VASIE)
WinSoft's Automated Test Executive

 

Home Resume Selected Publications Projects Other Work Research Collection Courses Unpublished Papers Photo Album Random Thoughts

Modified on: September 16, 2005
Modified by: mills Mills
Comments: kmills@nist.gov