Search results for "qualifier"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
144	Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg	Inference of User-Defined Type Qualifiers and Qualifier Rules.	ESOP	2006	DBLP DOI BibTeX RDF
106	David Greenfieldboyce, Jeffrey S. Foster	Type qualifier inference for java.	OOPSLA	2007	DBLP DOI BibTeX RDF	JQual, field-sensitivity, opaque, java, tracked, transparent, context-sensitivity, type qualifiers, readonly, mutable, context-free language reachability
57	Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken	Flow-insensitive type qualifiers.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	const, taint, security, static analysis, constraints, types, Type qualifiers
49	David Greenfieldboyce, Jeffrey S. Foster	Visualizing type qualifier inference with Eclipse.	eTX	2004	DBLP DOI BibTeX RDF
44	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	2008	DBLP DOI BibTeX RDF	igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
44	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
44	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
44	Karl Chen, David A. Wagner 0001	Large-scale analysis of format string vulnerabilities in Debian Linux.	PLAS	2007	DBLP DOI BibTeX RDF	format string vulnerability, large-scale analysis, type-qualifier inference
44	Polyvios Pratikakis, Jaime Spacco, Michael W. Hicks	Transparent proxies for java futures.	OOPSLA	2004	DBLP DOI BibTeX RDF	Java, type inference, proxy, future, type qualifier
38	Eric Eide, John Regehr	Volatiles are miscompiled, and what to do about it.	EMSOFT	2008	DBLP DOI BibTeX RDF	compiler defect, compiler testing, random program generation, random testing, automated testing, volatile
38	John Regehr, Nathan Cooprider, David Gay	Atomicity and visibility in tiny embedded systems.	PLOS	2006	DBLP DOI BibTeX RDF
30	Kübra Duran, Mehmet Özdem, Trang Hoang, Trung Q. Duong, Berk Canberk	Age of Twin (AoT): A New Digital Twin Qualifier for 6G Ecosystem.	IEEE Internet Things Mag.	2023	DBLP DOI BibTeX RDF
30	Andrei Mihai Ducu, Michael Cochez	Qualifier Recommendation for Wikidata.	Wikidata@ISWC	2023	DBLP BibTeX RDF
30	Muchao Ye, Quanzeng You, Fenglong Ma	QUALIFIER: Question-Guided Self-Attentive Multimodal Fusion Network for Audio Visual Scene-Aware Dialog.	WACV	2022	DBLP DOI BibTeX RDF
30	Audrey Lehmann	Comment qualifier les défauts d'adhésion médicamenteuse : nouvelle taxonomie francophone et construction d'un outil de screening. (How to qualify medication adherence difficulties : new taxonomy in french and construction of a screening tool).		2020	RDF
30	Rui Wang, Sei-ichiro Kamata	Nuclei Segmentation of Cervical Cell Images Based on Intermediate Segment Qualifier.	ICPR	2018	DBLP DOI BibTeX RDF
30	Paula Lakomicki	Démarche incrémentale pour qualifier la fiabilité du système de perception et de décision du véhicule autonome. (Ip ncremental framework to qualify the reliability of the autonomous vehicle's perception and decision system).		2018	RDF
30	Bernaridho I. Hutabarat	New Theory for Code-translation; Punctuator and Qualifier as Two Token Categories and Supplementary Concepts of Programming.	SCSE	2015	DBLP DOI BibTeX RDF
30	Juan Carlos Nieves, Saeed Partonia, Esteban Guerrero, Helena Lindgren	A Probabilistic Non-monotonic Activity Qualifier.	ANT/SEIT	2015	DBLP DOI BibTeX RDF
30	Mohsen Vakilian, Amarin Phaosawasdi, Michael D. Ernst, Ralph E. Johnson	Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool.	ICSE (1)	2015	DBLP DOI BibTeX RDF
30	Nelson I. González, Leonardo Garrido	Comparison of a New Qualifier Method for Multiple Object Tracking in RoboCup 2D Simulation League.	IBERAMIA	2014	DBLP DOI BibTeX RDF
30	Patrice Bouvier, Karim Sehaba, Élise Lavoué, Sébastien George	Approche qualitative pour identifier et qualifier l'engagement des joueurs à partir de leurs traces d'interaction.	IC	2013	DBLP BibTeX RDF
30	Greg Finak, Wenxin Jiang 0002, Jorge Pardo, Adam Asare, Raphael Gottardo	QUAliFiER: An automated pipeline for quality assessment of gated flow cytometry data.	BMC Bioinform.	2012	DBLP DOI BibTeX RDF
30	Haitao Yu 0006, Fuji Ren, Song Liu	Qualifier Mining for NTCIR-INTENT.	NTCIR	2011	DBLP BibTeX RDF
30	Kaleem Iqbal Siddiqui, Raja Iqbal, Tauseef Ahmad Rana	Qualifier-based Access to Web-Services for Portal-to-Portal Communication.	CIMCA/IAWTIC	2005	DBLP DOI BibTeX RDF
30	Hui Yang 0001, Hang Cui, Mstislav Maslennikov, Long Qiu, Min-Yen Kan, Tat-Seng Chua	QUALIFIER In TREC-12 QA Main Task.	TREC	2003	DBLP BibTeX RDF
30	Hui Yang 0001, Tat-Seng Chua	QUALIFIER: Question Answering by Lexical Fabric and External Resources.	EACL	2003	DBLP BibTeX RDF
30	Magnus Bergquist, Jan Ljungberg, Ulrika Lundh Snis	Practising peer review in organizations: a qualifier for knowledge dissemination and legitimization.	J. Inf. Technol.	2001	DBLP DOI BibTeX RDF
25	Matthew M. Papi, Mahmood Ali, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
25	Matthew M. Papi, Mahmood Ali, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
25	Sven De Labey, Eric Steegmans	A type system extension for middleware interactions.	MAI	2007	DBLP DOI BibTeX RDF	group method invocation, fault tolerance, type system, type qualifier
25	George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer	CCured: type-safe retrofitting of legacy software.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	pointer qualifier, libraries, subtyping, Memory safety
25	Henry J. Borron	Upscaling the CLOS Inheritance Mechanism for Multidimensional Objects.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	multidimensional objects, qualifier, standard method combination. monotonicity, pure declarativeness, invocation sequence diagram, regularity condition, prevalence rule, stability, efficiency, role, linearization, combination, congruency, multiple inheritance, multiple dispatch
19	Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster	Mixing type checking and symbolic execution.	PLDI	2010	DBLP DOI BibTeX RDF	mix rules, mixed off-the-shelf analysis, symbolic execution, precision, type checking, mix, false alarms
19	Nobutaka Suzuki, Yuji Fukushima	Satisfiability of simple xpath fragments in the presence of dtds.	WIDM	2009	DBLP DOI BibTeX RDF	satisfiability, xpath, xml, dtd
19	Christian Haack, Erik Poll	Type-Based Object Immutability with Flexible Initialization.	ECOOP	2009	DBLP DOI BibTeX RDF
19	Zachary R. Anderson, David Gay, Robert Ennals, Eric A. Brewer	SharC: checking data sharing strategies for multithreaded C.	PLDI	2008	DBLP DOI BibTeX RDF	data-race
19	Parminder Chhabra, Clayton D. Scott, Eric D. Kolaczyk, Mark Crovella	Distributed Spatial Anomaly Detection.	INFOCOM	2008	DBLP DOI BibTeX RDF
19	Christine Voiron-Canicio	A Spatio-morphological Modelling for Spread Predicting.	ICCSA (1)	2008	DBLP DOI BibTeX RDF	built-up area spread, simulations, image analysis, Mathematical Morphology, spatial modelling
19	Amine Aït Younes, Isis Truck, Herman Akdag	Image Retrieval using Fuzzy Representation of Colors.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Dominant colors, Human computer interaction, Image classification, Color spaces, Fuzzy membership functions
19	Fumiko Satoh, Yuichi Nakamura 0003, Koichi Ono	Adding Authentication to Model Driven Security.	ICWS	2006	DBLP DOI BibTeX RDF
19	Lori A. Flynn, Hans-Peter Dommel	The QuORRUM Protocol: Efficient Tree Repair for Qualification-Based Multicast.	QSHINE	2005	DBLP DOI BibTeX RDF	Multicast tree formation and repair, sparsemode protocols, QoS routing
19	Newton Lee	Samsung Electronics brings the world cyber games finals to the U.S. for the first time in 2004.	Comput. Entertain.	2004	DBLP DOI BibTeX RDF
19	Ibrahim Cingil	Supporting Global User Profiles Through Trusted Authorities.	SIGMOD Rec.	2002	DBLP DOI BibTeX RDF
19	Thomas Eiter, Yuri Gurevich, Georg Gottlob	Existential second-order logic over strings.	J. ACM	2000	DBLP DOI BibTeX RDF	S1S, existential fragment, finite satisfiability, finite words, prefix classes, model checking, strings, regular languages, descriptive complexity, finite model theory, decision problem, NP, second-order logic
19	Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken	A Theory of Type Qualifiers.	PLDI	1999	DBLP DOI BibTeX RDF
19	Irvin M. Miller	Data Bases and Structures for a Gamut of Graphical Application Abstract.	Data Base Techniques for Pictorial Applications	1979	DBLP DOI BibTeX RDF