Search results for "DISCOVERER"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
101	Lu Yang, Naijun Zhan, Bican Xia, Chaochen Zhou	Program Verification by Using DISCOVERER.	VSTTE	2005	DBLP DOI BibTeX RDF	semi-algebraic systems, DISCOVERER, reachability computation, program verification, termination, invariant generation
81	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan	Generating Polynomial Invariants with DISCOVERER and QEPCAD.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Quantifier Elimination, Invariant Generation, Polynomial Programs
51	Eduardo Machado Gonçalves, Marcilio Silva Oliveira, Kleber Rogerio Bacili	DigitalAssets discoverer: automatic identification of reusable software components.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	reusable assets identification, software assets, services-oriented architecture (SOA), reverse engineering, reuse, software components
49	Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou	Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems.	ICTAC	2007	DBLP DOI BibTeX RDF	Loop Termination, Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Computer Algebra, Ranking Function, Polynomial Programs
49	Jeonghee Yi, Neel Sundaresan	Metadata Based Web Mining for Relevance.	IDEAS	2000	DBLP DOI BibTeX RDF	relevant term discoverer, hyperlink metadata, filtering techniques, topic-specific search-engine, World Wide Web, metadata, search engine, Web mining, relevance, information resources
40	Zhou Chaochen	Program Verification Through Computer Algebra.	ICFEM	2006	DBLP DOI BibTeX RDF
31	Tzvetan Ostromsky, Ivan Dimov 0001, Rayna Georgieva, Venelin Todorov	Sensitivity Study of a Large-scale Air Pollution Model on the Bulgarian Petascale Supercomputer Discoverer.	FedCSIS	2023	DBLP DOI BibTeX RDF
31	Tzvetan Ostromsky	Performance and Scalability Experiments with a Large-scale Air Pollution Model on the EuroHPC Petascale Supercomputer DISCOVERER.	FedCSIS (Communication Papers)	2022	DBLP DOI BibTeX RDF
31	Tzvetan Ostromsky	Optimization, Performance and Scalability Experiments of a Large Air Pollution Model by Using the EuroHPC Petascale Supercomputer DISCOVERER.	WCO	2022	DBLP DOI BibTeX RDF
31	Werner Marx, Robin Haunschild, Bernie French, Lutz Bornmann	Slow reception and under-citedness in climate change research: A case study of Charles David Keeling, discoverer of the risk of global warming.	Scientometrics	2017	DBLP DOI BibTeX RDF
31	Dariusz Palka, Marek Zachara, Krzysztof Wójcik	Active Protocol Discoverer Based on Grammatical Evolution.	ISAT (1)	2017	DBLP DOI BibTeX RDF
31	Yan Tang, Robert Meersman	DIY-CDR: an ontology-based, Do-It-Yourself component discoverer and recommender.	Pers. Ubiquitous Comput.	2012	DBLP DOI BibTeX RDF
31	Zhuo Wang, Zhushou Tang, Kan Zhou, Ruoyu Zhang, Zhengwei Qi, Haibing Guan	DsVD: An Effective Low-Overhead Dynamic Software Vulnerability Discoverer.	ISADS	2011	DBLP DOI BibTeX RDF
31	Luis de la Torre, Jaime Seguel	A Parallel Biosequence Motif Discoverer Based on Dynamic Programming and Adaptive Scheduling.	CSC	2009	DBLP BibTeX RDF
31	Pedro T. Monteiro 0001, Nuno D. Mendes, Miguel C. Teixeira, Sofia d'Orey, Sandra Tenreiro, Nuno P. Mira, Hélio Pais, Alexandre P. Francisco, Alexandra M. Carvalho, Artur B. Lourenço, Isabel Sá-Correia, Arlindo L. Oliveira, Ana T. Freitas	YEASTRACT-DISCOVERER: new tools to improve the analysis of transcriptional regulatory associations in Saccharomyces cerevisiae.	Nucleic Acids Res.	2008	DBLP DOI BibTeX RDF
31	Bican Xia	DISCOVERER: a tool for solving semi-algebraic systems.	ACM Commun. Comput. Algebra	2007	DBLP DOI BibTeX RDF
31	Weidong Cui, Jayanthkumar Kannan, Helen J. Wang	Discoverer: Automatic Protocol Reverse Engineering from Network Traces.	USENIX Security Symposium	2007	DBLP BibTeX RDF
31	Marco Masseroli, Dario Martucci, Francesco Pinciroli	GFINDer: Genome Function INtegrated Discoverer through dynamic annotation, statistical analysis, and mining.	Nucleic Acids Res.	2004	DBLP DOI BibTeX RDF
31	Olcay Kursun, Oleg V. Favorov	SINBAD: Towards an Implementation-Independent Hidden-Variable Discoverer.	CCCT (1)	2004	DBLP BibTeX RDF
20	Ming Xu 0010, Liangyu Chen 0001, Zhi-bin Li 0005	Symbolic Reachability Computation of a Class of Nonlinear Systems.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
20	Marco Masseroli, Stefano Ceri, Alessandro Campi	Integration and Mining of Genomic Annotations: Experiences and Perspectives in GFINDer Data Warehousing.	DILS	2009	DBLP DOI BibTeX RDF	GFINDer, biomolecular annotation integration, data warehousing
20	Peter Turchi	Once upon a time, like never before: the challenge of telling the next story.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	creative writing, maps
20	Soo Ho Chang, Hyun Jung La, Jeong Seop Bae, Won Young Jeon, Soo Dong Kim	Design of a Dynamic Composition Handler for ESB-based Services.	ICEBE	2007	DBLP DOI BibTeX RDF
20	Robert Ricci, David L. Oppenheimer, Jay Lepreau, Amin Vahdat	Lessons from resource allocators for large-scale multiuser testbeds.	ACM SIGOPS Oper. Syst. Rev.	2006	DBLP DOI BibTeX RDF
20	Yuan Jiang 0001, Jinjiang Ling, Gang Li 0009, Honghua Dai 0001, Zhi-Hua Zhou	Dependency Bagging.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF
20	Eun-Seok Ryu, Jeong-Seop Hwang, Chuck Yoo	Widget Integration Framework for Context-Aware Middleware.	MATA	2005	DBLP DOI BibTeX RDF
20	Kamran Karimi, Howard J. Hamilton	RFCT: An Association-Based Causality Miner.	AI	2002	DBLP DOI BibTeX RDF
20	Kamran Karimi, Howard J. Hamilton	TimeSleuth: A Tool for Discovering Causal and Temporal Rules.	ICTAI	2002	DBLP DOI BibTeX RDF
20	Lindley Darden	Discovering Mechanisms: A Computational Philosophy of Science Perspective.	Discovery Science	2001	DBLP DOI BibTeX RDF
20	Lindley Darden	Discovering Mechanisms: A Computational Philosophy of Science Perspective.	ALT	2001	DBLP DOI BibTeX RDF
20	Lu Yang, Xiaorong Hou, Bican Xia	Automated Discovering and Proving for Geometric Inequalities.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF
20	Jan M. Zytkow, Paul J. Fischer	Constructing Models of Hidden Structure.	ISMIS	1991	DBLP DOI BibTeX RDF	Hidden structure discovery and evaluation, quark models