📄 http:^^www.infospheres.caltech.edu^comp.html
字号:
Date: Wed, 20 Nov 1996 19:11:43 GMT
Server: Apache/1.1.1
Content-type: text/html
<HTML><HEAD><TITLE> Compositional Systems Research Group at Caltech </TITLE><!-- RCS Header: $Header: /ufs/info/srv_root/public_html/RCS/comp.html,v 1.10 1996/11/14 23:06:18 adam Exp $ --></HEAD><BODY BACKGROUND = "graphics/background.gif"><H1 ALIGN = CENTER> Compositional Systems Research Group at Caltech </H1><H3 ALIGN = CENTER> Bringing Theory to the Marketplace </H3><HR><H3 ALIGN = CENTER> Compositional Systems Research Group Goals </H3>We are developing formal methods and tools to enable users to writecorrect parallel and distributed programs. We believe programcompositionality is a powerful means to these ends.<BLOCKQUOTE><UL><LI> <!WA0><A HREF = "http://www.infospheres.caltech.edu/people/comp.html"> People </A> in the group<LI> <!WA1><A HREF = "http://www.infospheres.caltech.edu/resources/index.html"> Resources </A> on the Web<LI> <!WA2><A HREF = "http://www.infospheres.caltech.edu/resources/cfp.html"> Calls </A> for papers and conferences<LI> <!WA3><A HREF = "http://www.infospheres.caltech.edu/resources/webliography.html"> Webliography </A> of projects and tools related to ours</UL></BLOCKQUOTE><BR><BR><HR><H3 ALIGN = CENTER> Research Group Projects </H3><BLOCKQUOTE><UL><LI> <!WA4><A HREF = "http://www.etext.caltech.edu/"> Archetypes </A> parallel patterns and electronic textbook<LI> <!WA5><A HREF = "http://www.compbio.caltech.edu/ccpp/"> CC++ </A> programming language<LI> <!WA6><A HREF = "http://www.compbio.caltech.edu/"> Computational Biology </A><LI> <!WA7><A HREF = "http://www.cs.caltech.edu/~cs138/"> Computer Algorithms</A> class at Caltech<LI> <!WA8><A HREF = "http://www.mcs.anl.gov/fortran-m/"> Fortran M </A> programming language<LI> <!WA9><A HREF = "http://www.infospheres.caltech.edu/past_projects/fm-mpi/"> Fortran M and MPI </A> program examples<LI> <!WA10><A HREF = "http://www.infospheres.caltech.edu/infospheres.html"> Infospheres </A> compositional distributed computing components<LI> <!WA11><A HREF = "http://www.infospheres.caltech.edu/releases/ii.html"> Infospheres Infrastructure </A> Java package<LI> <!WA12><A HREF = "http://www.infospheres.caltech.edu/past_projects/maisie/"> Maisie </A> program examples<LI> <!WA13><A HREF = "http://www.extreme.indiana.edu/pseware/"> Problem Solving Environments </A></UL></BLOCKQUOTE><BR><BR><HR><H3 ALIGN = CENTER> Thanking our Sponsors </H3><BLOCKQUOTE><UL><LI> Theory, Formal Methods : <!WA14><A HREF = "http://www.nas.edu/cets/aseb/afosr1.html"> AFOSR </A> (Air Force Office of Scientific Research) grant AFOSR-91-0070<LI> <!WA15><A HREF = "http://www.compbio.caltech.edu/ccpp/"> CC++ </A>, <!WA16><A HREF = "http://www.mcs.anl.gov/fortran-m/"> Fortran M </A>, <!WA17><A HREF = "http://www.mcs.anl.gov/Projects/pcn.html"> PCN </A> : <!WA18><A HREF = "http://www.arpa.mil/"> DARPA </A> grant N00014-91-J-4014<LI> <!WA19><A HREF = "http://www.etext.caltech.edu/"> Archetypes </A> : <!WA20><A HREF = "http://www.crpc.rice.edu/CRPC/"> CRPC </A> grant CCR-9120008<LI> <!WA21><A HREF = "http://www.extreme.indiana.edu/pseware/"> PSE </A>, <!WA22><A HREF = "http://www.infospheres.caltech.edu/releases/ii.html"> Infospheres Infrastructure </A> / <!WA23><A HREF = "http://www.infospheres.caltech.edu/mailing_lists/java/"> Java </A> / <!WA24><A HREF = "http://www.infospheres.caltech.edu/infospheres.html"> Infospheres </A> Distributed Computing : <!WA25><A HREF = "http://www.nsf.gov/"> NSF </A>/PSE grant CCR-9527130 and <!WA26><A HREF = "http://www.novell.com/"> Novell </A>, Inc.</UL></BLOCKQUOTE><HR><!-- Toolbar at bottom of all major top-level pages --><P ALIGN=CENTER> [ <!WA27><A HREF ="http://www.infospheres.caltech.edu/index.html"> Home </A> ] [ <!WA28><A HREF= "http://www.infospheres.caltech.edu/people/infospheres.html"> People</A> ] [ <!WA29><A HREF ="http://www.infospheres.caltech.edu/papers/index.html"> Papers </A> ][ <!WA30><A HREF="http://www.infospheres.caltech.edu/releases/index.html">Releases </A> ] [ <!WA31><A HREF ="http://www.infospheres.caltech.edu/mailing_lists/index.html"> MailingLists </A> ] [ <!WA32><A HREF="http://www.infospheres.caltech.edu/comp.html">Related Work </A> ] [ <!WA33><AHREF="http://www.infospheres.caltech.edu/past_projects/index.html">Past Projects </A> ] [ <!WA34><AHREF="http://www.infospheres.caltech.edu/resources/index.html"> GroupResources </A> ]<BR><BR><ADDRESS>This is the home page of the Compositional Systems Research Group ofthe <!WA35><A HREF = "http://www.crpc.rice.edu/CRPC/"> Center for Research onParallel Computation </A>, located in the <!WA36><A HREF ="http://www.cs.caltech.edu/"> Caltech Computer Science Dept </A>. Itis maintained by <!WA37><A HREF = "http://www.cs.caltech.edu/~adam/">AdamRifkin</A> and <!WA38><A HREF = "http://www.cs.caltech.edu/~kiniry/">JosephKiniry</A>. This page was last modified on Thursday, 14-Nov-96 15:06:18 PST</ADDRESS></BODY></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -