The thrust of the Venari project at Carnegie Mellon University is addressing the problem of search, hence the name. We touch upon areas in programming and specification language design, semantics, and implementation; concurrent and distributed systems...

We develop new models, theories, methods, languages, and tools for classifying, specifying, analyzing, and designing software systems beyond the component level. This support could lead to substantial reduction in maintenance costs, improvement in sof...

Development of a portable environment for programming supercomputers. Project information and resources about parallel programming.

Information on conferences, research groups, vendors, and supercomputers.

Unix in your hand. Describes experiences in running Unix on an IBM PC110 palmtop computer.

The Oz Project at CMU is developing technology and art to help artists create high quality interactive drama, based in part on AI technologies. This especially means building believable agents in dramatically interesting micro-worlds.