| Related sites for http://www.cs.cmu.edu/afs/cs/project/venari/www/home.html |
| JTemporal A framework of components providing functionality for time related applications (for the moment instant, period, mediators managing temporal associations). [Open source, LGPL] | | DECnet_for_Linux A project to provide DECnet phase IV connectivity for Linux | | Jun_for_Smalltalk 3D Graphics Library with topology and geometry, OpenGL graphics layer for Smalltalk, coded in VisualWorks. [Open Source, GPL] | | RFC_2969 Wide Area Directory Deployment - Experiences from TISDAG. T. Eklof, L. Daigle. October 2000. | | RFC_0084 List of NWG/RFC's 1-80. J.B. North. December 1970. | | Tech_Search_America Tech Search America is an IT recruiting firm placing candidates on both a permanent and contract basis. | | Hsoi\'s_Shop Specializing in Mac OS software development and development tools. PowerPlant contributed classes, frameworks, WASTE Object Handlers, and other resources for the Mac software developer. | | MTI_Technology Provides continuous access to online information through fault tolerant, cross-platform data storage servers for the enterprise. | | Shafer\'s_Service_Systems Business management software for the service and construction industries. Wireless communication with mobile manager for the service trucks. | | AOL_Mobile Provides information on mobile Internet access from cellular phones. | | Perl_OpenMath_to_LaTeX_Converter Converts OpenMath to LaTeX. Includes a demo converter, Perl source and documentation. | | Rev_It_Up_Media Offers web design and hosting services for small to medium-sized businesses. Based in Hoboken, New Jersey, United States. | | Monmouth_Internet Offers design, development, hosting, and ISP. | | Acorn_Information_Systems Web design, internet marketing, promotion, technical writing, and promotion in Maryland. Specializing in small business, professional practices, and biotechnology and technical companies. | | Slashdock A simple Mac OS X application that fetches and updates headlines for the latest postings on slashdot-compatible sites and RSS-compatible sites. | | Mail_Filtering_With_Mail__Audit An article describing the usage of the Mail::Audit Perl Module. | | Blackthorn_Faery Collection of side bordered fairy backgrounds, graphics, clipart, and artwork and artists. Note: May not support some browsers. | | SSI_SoftGlobalization An enterprise methodology solution, SoftGlobalization combines a set of tools and services to provide a complete solution for internationalizing third-party software applications for the global market | | Point_It! Provides pay-per-click search engine copywriting and management. | | RotoLink_Banner__Exchange Free combined banner and link rotation service featuring new banner surf program. [Ratio: 3:2 Banner Sizes: 468x60] |
|
CMU CS Venari Project Home PageVenari ProjectProject GoalsVenari means "to hunt" in Latin. The thrust of the Venari project atCarnegie Mellon University isaddressing the problem of search, hence the name.We touch upon areas in programming and specificationlanguage design, semantics, and implementation; concurrent anddistributed systems; databases and persistent objects; and softwaredevelopment libraries and environments. The primary goal of the Venari Project is toprovide software support for storing, accessing, and retrievingobjects based on their semantics. To support that goal, we havedesigned and implemented linguistic extensions to the Standard MLprogramming language to provide persistent data and transactions. A more complete statement of the project's goals is available here (in PostScript).Venari PapersFollow any of the links below to get the abstract and a pointerto the full text. Venari/ML: design and implementation of concurrent transactions for ML. Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott M. Nettles, and Jeannette M. Wing, Composing First-Class Transactions, ACM Transactions on Programming Languages and Systems, Short Communication, November 1994. Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott M. Nettles, and Jeannette M. Wing, Tinkertoy TransactionsCMU-CS-93-202, December 1993. James O'Toole, Scott Nettles, and David Gifford, Concurrent Compacting Garbage Collection of a Persistent Heap, Proc. of SOSP, December 1993. Scott Nettles and James O'Toole, Replication-Based Real-Time Garbage Collection, Proc. of PLDI, June 1993. J.M. Wing, M. Faehndrich, N. Haines, K. Kietzke, D. Kindred, J.G. Morrisett, and S. Nettles, Venari/ML Interfaces and Examples, CMU-CS-93-123, March 1993. Scott M. Nettles, James W. O'Toole, David Pierce, and Nicholas Haines, Replication-Based Incremental Copying Collection Proc. of the SIGPLAN International Workshop on Memory Management, 1992. Jeannette M. Wing, Manuel Faehndrich, J. Gregory Morrisett, and Scott Nettles, Extensions to Standard ML to Support Transactions, ACM SIGPLAN Workshop on ML and its Applications, June 1992. Also CMU-CS-92-132, April 1992. Scott M. Nettles and J. M. Wing, Persistence + Undoability = Transactions. Proc. of Hawaii International Conference on Systems Science 25, January 1992. Also CMU-CS-91-173, August 1991. Signature and specification matching Amy Moormann Zaremski and Jeannette M. Wing, Specification Matching of SoftwareComponents, (an extended version of the SIGSOFT 95 paper) To appear TOSEM, 1997. Amy Moormann Zaremski, Signature and Specification Matching, PhD Thesis, January 1996. Amy Moormann Zaremski and Jeannette M. Wing, Specification Matching of Software Components, Proc. ACM SIGSOFT Symp. on the Foundations of Software Engineering, October 1995. Also CMU-CS-95-127, March 1995. Amy Moormann Zaremski and Jeannette M. Wing, Signature Matching, a Tool for Using Software Libraries. ACM Transactions on Software Engineering and Methodology (TOSEM), April 1995. Amy Moormann Zaremski and J.M. Wing, Signature Matching: A Key to Reuse, Proc. ACM SIGSOFT Symp. on the Foundations of Software Engineering,, December 1993. Also CMU-CS-93-151, May 1993. Eugene R. Rollins and Jeannette M. Wing Specifications as Search Keys for Software Libraries, Proc. of the Eighth International Conference on Logic Programming, June 1991, Also CMU-CS-90-159, September 1990. Subtyping Barbara H. Liskov and Jeannette M. Wing, A Behavioral Notion of Subtyping, ACM Transactions on Programming Languages and Systems, November 1994. Barbara Liskov and Jeannette M. Wing, Family Values: A Behavioral Notion of Subtyping, CMU-CS-93-187 (supersedes CMU-CS-93-149 and CMU-CS-92-220). Barbara Liskov and Jeannette M. Wing, Specifications and Their Use in Defining Subtypes, Proc. of OOPSLA '93, September 1993. Barbara Liskov and Jeannette M. Wing, A New Definition of the Subtype Relation, Proc. of the European Conference on Object-Oriented Programming '93, Springer-Verlag LNCS 707, July 1993, pp. 118-141. Also CMU-CS-93-149, April 1993; MIT LCS Programming Methodology Group Memo 76, May 1993. Applied formal methods Jeannette M. Wing and Mandana Vaziri-Farahani, A Case Study in Model Checking Software Systems, to appear in Scienc of Computer Programming, accepted April 1996. Also CMU-CS-96-124, April 1996. Jeannette M. Wing and Mandana Vaziri-Farahani, Model Checking Software Systems: A Case Study, Proc. ACM SIGSOFT Symposium on the Foundations of Software Engineering, October 1995. Also CMU-CS-95-128, March 1995. Jeannette M. Wing and David Steere, Specifying Weak Sets, Proc. of Int'l Conf. on Dist. Comp. Systems, June 1995. Lily Mummert, Jeannette Wing, and M. Satyanarayanan, Using Belief to Reason About Cache Coherence, Proc. of the Symposium on Principles of Distributed Computing, August 1994. Scott Nettles, A Larch Specification of Copying Garbage Collection, CMU-CS-92-219, December 1992.Venari People and Friends Nick Haines, Darrell Kindred, Greg Morrisett, Scott Nettles, Gene Rollins, Jeannette Wing, Amy Moormann ZaremskiRelated work Fox Project Composable Software Systems Coda Project Larch Project at CMU and elsewhere Programming language researchCMU School of Computer Science home pagewing@cs.cmu.edu (last updated 10-July-95) |
|
