Search results for "GYPSY"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
136	Donald I. Good, Richard M. Cohen, Lawrence W. Hunter	A Report On The Development Of Gypsy.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Dynamic storage management, Gypsy, Reliable software, Scope of names, Systems programming language, GYPSY, Concurrency, Programming language, Program verification, Specification language, Correctness, Compiler design, Programming language design
84	Ellis S. Cohen, Dilip Soni, Raimund Gluecker, William M. Hasling, Robert W. Schwanke, Michael E. Wagner	Version Management in Gypsy.	Software Development Environments (SDE)	1988	DBLP DOI BibTeX RDF	GYPSY
77	Donald I. Good, Richard M. Cohen, James G. Keeton-Williams	Principles of Proving Programs Correct in Gypsy.	POPL	1979	DBLP DOI BibTeX RDF	message buffers, program proving, formal specifications, parallel programs, concurrency, program verification
61	William D. Young	Verified Compilation in micro-Gypsy.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF	GYPSY
54	Ping Wang, Lewis C. Linker, Keith N. Eshleman	Dynamic Parameterization to Simulate DIN Export Due to Gypsy Moth Defoliation.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
54	John McHugh	An Information Flow Tool for Gypsy.	ACSAC	2001	DBLP DOI BibTeX RDF
47	Pradei Sangkhro, Phidawanhun Pyngrope, Bangermayang, Gypsy Nandi	A Novel Model for Automated Identification of Terrestrial Species.	DoSIER	2022	DBLP DOI BibTeX RDF
47	Dalorion Johnson, J. Michael Wyss, Jeff Gray 0001, Shaundra B. Daily, Alan Shih, Gypsy Abbot	Broadening participation in computing: the multi-tiered approach.	ACM Southeast Regional Conference	2012	DBLP DOI BibTeX RDF
31	Shi-Jian Zhang, Lei Liu, Ruolin Yang 0003, Xiangfeng Wang	Genome Size Evolution Mediated by Gypsy Retrotransposons in Brassicaceae.	Genom. Proteom. Bioinform.	2020	DBLP DOI BibTeX RDF
31	Carlos Lloréns, Ricardo Futami, Laura Covelli, Laura Domínguez-Escribá, Jose M. Viu, Daniel Tamarit, José Aguilar-Rodríguez, Miguel Vicente-Ripolles, Gonzalo Fuster, Guillermo P. Bernet, Florian Maumus, Alfonso Muñoz-Pomer Fuentes, José M. Sempere, Amparo Latorre, Andrés Moya	The Gypsy Database (GyDB) of mobile genetic elements: release 2.0.	Nucleic Acids Res.	2011	DBLP DOI BibTeX RDF
31	Carlos Lloréns, Ricardo Futami, Daniela Bezemer, Andrés Moya	The Gypsy Database (GyDB) of mobile genetic elements.	Nucleic Acids Res.	2008	DBLP DOI BibTeX RDF
31	Mehdi Jazayeri, Wolfgang Lugmayr	Gypsy: a component-based mobile agent system.	PDP	2000	DBLP DOI BibTeX RDF
31	Dirk Baecker	Gypsy Reason: Niklas Luhmann's Sociological Enlightenment.	Cybern. Hum. Knowing	1999	DBLP BibTeX RDF
31	John McHugh	A Formal Definition for Information Flow in the Gypsy Expression Language.	CSFW	1988	DBLP BibTeX RDF
31	Michael K. Smith, Richard M. Cohen	Gypsy verification environment: status.	ACM SIGSOFT Softw. Eng. Notes	1985	DBLP DOI BibTeX RDF
31	John McHugh, Donald L. Good	An Information Flow Tool for Gypsy.	S&P	1985	DBLP DOI BibTeX RDF
31	B. A. Hartman	A Gypsy-Based Kernel.	S&P	1984	DBLP DOI BibTeX RDF
31	Allen L. Ambler	GYPSY: A Language for Specification and Implementation of Verifiable Programs.	Language Design for Reliable Software	1977	DBLP DOI BibTeX RDF
23	S. M. Delouis, M. Jalobeanu	Tele-Pedagogy in the Virtual Educational Communities.	AICT/SAPIR/ELETE	2005	DBLP DOI BibTeX RDF
23	Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden	A Model of Visibility Control.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	module interface control, visibility, scope, Computer languages
23	David A. Nichols	Using Idle Workstations in a Shared Computing Environment.	SOSP	1987	DBLP DOI BibTeX RDF
23	James C. Browne, James E. Dutton, Vincent Fernandes, Annette S. Palmer, Jonathan M. Silverman, Anand R. Tripathi, Pong-Sheng Wang	Zeus: An object-oriented distributed operating system for reliable applications.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF