An object-based representation for the evolution of VLSI designs
暂无分享,去创建一个
[1] Brian Randell,et al. Operating Systems, An Advanced Course , 1978 .
[2] P. A. Subrahmanyam. Synapse: An Expert System for VLSI Design , 1986, Computer.
[3] Randy H. Katz,et al. Managing the chip design database , 1983, Computer.
[4] Guy L. Steele,et al. Common Lisp the Language , 1984 .
[5] Philip A. Bernstein,et al. Concurrency Control in Distributed Database Systems , 1986, CSUR.
[6] Bjarne Stroustrup,et al. C++ Programming Language , 1986, IEEE Softw..
[7] Catriel Beeri,et al. A Concurrency Control Theory for Nested Transactions. , 1983, PODC 1983.
[8] Marc J. Rochkind,et al. The source code control system , 1975, IEEE Transactions on Software Engineering.
[9] Johan de Kleer,et al. Extending the ATMS , 1986, Artif. Intell..
[10] P. A. Subrahmanyam. LCS-A Leaf Cell Synthesizer Employing Formal Deduction Techniques , 1987, 24th ACM/IEEE Design Automation Conference.
[11] J. Dekleer. An assumption-based TMS , 1986 .
[12] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[13] Daniel J. Rosenkrantz,et al. System level concurrency control for distributed database systems , 1978, TODS.
[14] John D. Gabbe,et al. Transactional Blackboards , 1985, IJCAI.
[15] Randy H. Katz,et al. A Version Server for Computer-Aided Design Data , 1986, DAC 1986.
[16] Daniel G. Bobrow,et al. Object-Oriented Programming: Themes and Variations , 1989, AI Mag..
[17] Jim Gray,et al. Notes on Data Base Operating Systems , 1978, Advanced Course: Operating Systems.
[18] Johan de Kleer,et al. Problem Solving with the ATMS , 1986, Artif. Intell..
[19] Nancy A. Lynch,et al. Concurrency control for resilient nested transactions , 1983, PODS '83.
[20] Daniel G. Bobrow,et al. Layered Networks as a Tool for Software Development , 1981, IJCAI.
[21] Jon Doyle,et al. A Truth Maintenance System , 1979, Artif. Intell..
[22] Harold Brown,et al. Palladio: An exploratory environment for circuit design , 1983, Computer.
[23] Irving L. Traiger,et al. The notions of consistency and predicate locks in a database system , 1976, CACM.