Search results for "const"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
70	Jon Eyolfson, Patrick Lam 0001	C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact).	Dagstuhl Artifacts Ser.	2016	DBLP DOI BibTeX RDF
70	Jon Eyolfson, Patrick Lam 0001	C++ const and Immutability: An Empirical Study of Writes-Through-const.	ECOOP	2016	DBLP DOI BibTeX RDF
50	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
50	Adrian Birka, Michael D. Ernst	A practical type system and language for reference immutability.	OOPSLA	2004	DBLP DOI BibTeX RDF	Javari, const, Java, verification, type system, readonly, immutability, mutable
38	Ran Raz, Pierre McKenzie	Separation of the Monotone NC Hierarchy.	Comb.	1999	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 68Q15, 68R99, 68Q25
38	Ran Raz, Pierre McKenzie	Separation of the Monotone NC Hierarchy.	FOCS	1997	DBLP DOI BibTeX RDF	monotone NC hierarchy, tight lower bounds, monotone depth, DART games, communication complexity, communication complexity, search problems, monotone Boolean function
38	Jacob T. Schwartz, Micha Sharir	On the Bivariate Function Minimization Problem And Its Applications to Motion Planning.	ICALP	1987	DBLP DOI BibTeX RDF
38	Jia-Wei Hong, Kurt Mehlhorn, Arnold L. Rosenberg	Cost Tradeoffs in Graph Embeddings, with Applications (Preliminary Version).	ICALP	1981	DBLP DOI BibTeX RDF
35	Saurabh Raje, Yufan Xu, Atanas Rountev, Edward F. Valeev, Saday Sadayappan	CoNST: Code Generator for Sparse Tensor Networks.	CoRR	2024	DBLP DOI BibTeX RDF
35	Zeyu Zhang, Weiwei Chen, Junwen Wang, Shuai Wang 0008, Tian He 0001	CONST: Exploiting Spatial-Temporal Correlation for Multi-Gateway based Reliable LoRa Reception.	ICNP	2022	DBLP DOI BibTeX RDF
35	Maryam Mozaffari, Eslam Nazemi, Amir-Masoud Eftekhari-Moghadam	CONST: Continuous online NoSQL schema tuning.	Softw. Pract. Exp.	2021	DBLP DOI BibTeX RDF
35	Xianmang He, Yindong Chen	Construction of Const Dimension Codes from Serval Parallel Lift MRD Code.	CoRR	2019	DBLP BibTeX RDF
35	Xianmang He	Construction of Const Dimension Code from Two Parallel Versions of Linkage Construction.	CoRR	2019	DBLP BibTeX RDF
35	Bengt G. Lundberg	CONST-A constructive approach to information modelling.	Inf. Syst.	1987	DBLP DOI BibTeX RDF
31	Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst	Object and reference immutability using java generics.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	IGJ, const, java, generic, readonly, immutability
19	Hartmut Klauck	A strong direct product theorem for disjointness.	STOC	2010	DBLP DOI BibTeX RDF	communication-space tradeoffs, disjointness problem, lower bounds, communication complexity, complexity theory, direct product theorems
19	Klaus Meer	On Ladner's Result for a Class of Real Machines with Restricted Use of Constants.	CiE	2009	DBLP DOI BibTeX RDF	real number model, diagonal problems, Complexity
19	Jacek Dmochowski, Jacob Benesty, Sofiène Affes	Linearly Constrained Minimum Variance Source Localization and Spectral Estimation.	IEEE Trans. Speech Audio Process.	2008	DBLP DOI BibTeX RDF
19	Jun Li, Wen Zhang, Xiaomei Li	An Adaptive Refinement Ratio Algorithm for Structured AMR Method Based on SAMRAI Framework.	HPCC	2008	DBLP DOI BibTeX RDF
19	Xuelan Zou, Guangzeng Feng	Performance Comparison of Iterative Decoding Algorithm Using the Extrinsic Information Transfer Chart.	ICN	2007	DBLP DOI BibTeX RDF	Extrinsic Information Transfer (EXIT) Chart, BICM-ID, Mutual Information, Iterative Decoding
19	Su Xue, Zhixiang You, Yebin Liu, Qionghai Dai	Color Light Field Block Truncation Compression using Hierarchical Bit-Plane Prediction.	ICIP	2006	DBLP DOI BibTeX RDF
19	Bingpeng Ma, Fei Yang, Wen Gao 0001, Baochang Zhang 0001	The Application of Extended Geodesic Distance in Head Poses Estimation.	ICB	2006	DBLP DOI BibTeX RDF
19	Jirí Matousek 0001, Tibor Szabó	Random Edge Can Be Exponential on Abstract Cubes.	FOCS	2004	DBLP DOI BibTeX RDF
19	Jirí Matousek 0001	A Lower Bound for Weak epsilon-Nets in High Dimension.	Discret. Comput. Geom.	2002	DBLP DOI BibTeX RDF
19	Jirí Matousek 0001	Lower Bounds on the Transversal Numbers of d-Intervals.	Discret. Comput. Geom.	2001	DBLP DOI BibTeX RDF
19	I. G. MacDonald, János Pach, Thorsten Theobald	Common Tangents to Four Unit Balls in R3.	Discret. Comput. Geom.	2001	DBLP DOI BibTeX RDF
19	Günter Landsmann, Josef Schicho, Franz Winkler 0001, Erik Hillgarter	Symbolic parametrization of pipe and canal surfaces.	ISSAC	2000	DBLP DOI BibTeX RDF
19	Jaakko Järvi	C++ Function Object Binders Made Easy.	GCSE	1999	DBLP DOI BibTeX RDF
19	Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken	A Theory of Type Qualifiers.	PLDI	1999	DBLP DOI BibTeX RDF
19	Rusins Freivalds, Janis Barzdins, Karlis Podnieks	Inductive Inference of Recursive Functions: Complexity Bounds.	Baltic Computer Science	1991	DBLP DOI BibTeX RDF
19	Richard H. Bartels, John J. Jezioranski	Algorithm 634: CONSTR and EVAL: Routines for Fitting Multinomials in a Least-Squares Sense.	ACM Trans. Math. Softw.	1985	DBLP DOI BibTeX RDF	multinomials, regression, orthogonal, data fitting
19	László Babai	On Lovász' Lattice Reduction and the Nearest Lattice Point Problem (Shortened Version).	STACS	1985	DBLP DOI BibTeX RDF
19	Armin B. Cremers, Thomas N. Hibbard	Arbitration and Queuing Under Limited Shared Storage Requirements (Preliminary Report).	ICALP	1979	DBLP DOI BibTeX RDF