Search results for "CFL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
91	Vineet Kahlon	Boundedness vs. Unboundedness of Lock Chains: Characterizing Decidability of Pairwise CFL-Reachability for Threads Communicating via Locks.	LICS	2009	DBLP DOI BibTeX RDF
91	Hao Yuan, Patrick Th. Eugster	An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees.	ESOP	2009	DBLP DOI BibTeX RDF
91	Guoqing Xu 0001, Atanas Rountev, Manu Sridharan	Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis.	ECOOP	2009	DBLP DOI BibTeX RDF
74	Steinar Evje, Tore Flåtten	CFL-Violating Numerical Schemes for a Two-Fluid Model.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	Subject Classification 76T10, 76N10, 35L65, 65M12
67	Arnold L. Rosenberg	On the Independence of Real-Time Definability and Certain Structural Properties of Context-Free Languages.	J. ACM	1968	DBLP DOI BibTeX RDF
62	Yu-Ju Lan, Yao-Ting Sung, Chia-Yu Wu, Rui-Lin Wang, Kuo-En Chang	A Cognitive-Interactive Approach to Chinese Characters Learning: System Design and Development.	Edutainment	2009	DBLP DOI BibTeX RDF	romantic radicals, Chinese as a foreign/ second language (CFL/CSL), cognitive-interactive, Chinese character
57	John Kodumal, Alexander Aiken	The set constraint/CFL reachability connection in practice.	PLDI	2004	DBLP DOI BibTeX RDF	flow analysis, type qualifiers, set constraints, context-free language reachability
57	Jakob Rehof, Manuel Fähndrich	Type-base flow analysis: from polymorphic subtyping to CFL-reachability.	POPL	2001	DBLP DOI BibTeX RDF
51	Appanah Rao Appadu, Muhammad Zaid Dauhoo, S. D. D. V. Rughooputh	Efficient Shock-Capturing Numerical Schemes Using the Approach of Minimised Integrated Square Difference Error for Hyperbolic Conservation Laws.	ICCSA (3)	2007	DBLP DOI BibTeX RDF	4-6 Low-Dissipation and Dispersion Runge Kutta, LW????, Minimised Integrated Square Difference Error
51	László Babai, Thomas P. Hayes, Peter G. Kimmel	The Cost of the Missing Bit: Communication Complexity with Help.	Comb.	2001	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) Classes: 68Q05, 11K38, 94A99, 68R05, 03D15
51	A. J. Field, Thomas L. Hansen, Paul H. J. Kelly	Run-Time Fusion of MPI Calls in a Parallel C++ Library.	LCPC	2000	DBLP DOI BibTeX RDF
46	Peter Cerno, Frantisek Mráz	Δ-Clearing Restarting Automata and CFL \makebox{\sf CFL}.	Developments in Language Theory	2011	DBLP DOI BibTeX RDF
46	Katsuhiko Nakamura	Incremental Learning of Context Free Grammars by Bridging Rule Generation and Search for Semi-optimum Rule Sets.	ICGI	2006	DBLP DOI BibTeX RDF	CFL, bottom-up parsing, grammatical inference, Synapse, iterative deepening
45	Guoqing Xu 0001, Atanas Rountev	Detecting inefficiently-used containers to avoid bloat.	PLDI	2010	DBLP DOI BibTeX RDF	cfl reachability, container bloat, points-to analysis
45	Xin Zheng, Radu Rugina	Demand-driven alias analysis for C.	POPL	2008	DBLP DOI BibTeX RDF	CFL reachability, pointer analysis, alias analysis, memory disambiguation, demand-driven analysis
40	Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks 0001	Existential Label Flow Inference Via CFL Reachability.	SAS	2006	DBLP DOI BibTeX RDF
34	Kolawole O. Babalola, Brian Patenaude, Paul Aljabar, Julia A. Schnabel, David N. Kennedy, William R. Crum, Stephen M. Smith 0001, Timothy F. Cootes, Mark Jenkinson, Daniel Rueckert	Comparison and Evaluation of Segmentation Techniques for Subcortical Structures in Brain MRI.	MICCAI (1)	2008	DBLP DOI BibTeX RDF
34	Naveen Garg 0001, Rohit Khandekar, Vinayaka Pandit	Improved approximation for universal facility location.	SODA	2005	DBLP BibTeX RDF
34	Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík	Demand-driven points-to analysis for Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	refinement, points-to analysis, demand-driven analysis, context-free language reachability
34	Steven J. Ruuth, Raymond J. Spiteri	Two Barriers on Strong-Stability-Preserving Time Discretization Methods.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	total variation diminishing, Runge-Kutta methods, high-order accuracy, time discretization, strong stability preserving
34	A. J. Field, Paul H. J. Kelly, Thomas L. Hansen	Optimising Shared Reduction Variables in MPI Programs.	Euro-Par	2002	DBLP DOI BibTeX RDF
34	Ryan Kastner, Elaheh Bozorgzadeh, Majid Sarrafzadeh	An exact algorithm for coupling-free routing.	ISPD	2001	DBLP DOI BibTeX RDF
34	Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop	Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages.	PARLE (2)	1987	DBLP DOI BibTeX RDF
28	Swarat Chaudhuri	Subcubic algorithms for recursive state machines.	POPL	2008	DBLP DOI BibTeX RDF	CFL-reachability, cubic bottleneck, recursive state machines, transitive closure, interprocedural analysis, context-free languages, pushdown systems
23	Yao Shan, Yu Yao, Xiaoming Zhou, Tong Zhao, Bo Hu, Lei Wang	CFL-IDS: An Effective Clustered Federated Learning Framework for Industrial Internet of Things Intrusion Detection.	IEEE Internet Things J.	2024	DBLP DOI BibTeX RDF
23	Jonggyu Park, Young Ik Eom	Locks as a Resource: Fairly Scheduling Lock Occupation with CFL.	PPoPP	2024	DBLP DOI BibTeX RDF
23	Paraschos Koutris, Shaleen Deep	The Fine-Grained Complexity of CFL Reachability.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
23	Jeremy R. Lilly, Darren Engwirda, Giacomo Capodaglio, Robert L. Higdon, Mark R. Petersen	CFL Optimized Forward-Backward Runge-Kutta Schemes for the Shallow Water Equations.	CoRR	2023	DBLP DOI BibTeX RDF
23	Aleksandra Istomina, Semyon V. Grigorev, Ekaterina N. Shemetova	Fine-grained reductions around CFL-reachability.	CoRR	2023	DBLP DOI BibTeX RDF
23	Paraschos Koutris, Shaleen Deep	The Fine-Grained Complexity of CFL Reachability.	CoRR	2023	DBLP DOI BibTeX RDF
23	Wenjie Zhang 0007, Guancheng Wang 0001, Junjie Chen 0003, Yingfei Xiong 0001, Yong Liu, Lu Zhang 0023	OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability.	CoRR	2023	DBLP DOI BibTeX RDF
23	Rahul Madhavan, Rishabh Garg, Kahini Wadhawan, Sameep Mehta	CFL: Causally Fair Language Models Through Token-level Attribute Controlled Generation.	CoRR	2023	DBLP DOI BibTeX RDF
23	Wenjie Zhang 0007, Guancheng Wang 0001, Junjie Chen 0003, Yingfei Xiong 0001, Yong Liu 0030, Lu Zhang 0023	OrdinalFix: Fixing Compilation Errors via Shortest-Path CFL Reachability.	ASE	2023	DBLP DOI BibTeX RDF
23	Fahim Faisal Niloy, Kishor Kumar Bhaumik, Simon S. Woo	CFL-Net: Image Forgery Localization Using Contrastive Learning.	WACV	2023	DBLP DOI BibTeX RDF
23	I-Lin Kao, Chi-Cheng Chang, Wan-Hsuan Yen	Enhancing Phonetics Learning in Online Language Courses: A Counterbalanced Study on CLD and SCA Methods for Intermediate CFL Japanese Students.	ICITL	2023	DBLP DOI BibTeX RDF
23	Yu-Ju Lan, Fu-Ling Chung, Maiga Chang	A Pilot Study of Preservice Teachers Accepting and Using Chatbots to Enhance CFL Education.	ICITL	2023	DBLP DOI BibTeX RDF
23	Rahul Madhavan, Rishabh Garg, Kahini Wadhawan, Sameep Mehta	CFL: Causally Fair Language Models Through Token-level Attribute Controlled Generation.	ACL (Findings)	2023	DBLP DOI BibTeX RDF
23	Dmitry Chistikov 0001, Rupak Majumdar, Philipp Schepper	Subcubic certificates for CFL reachability.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
23	Qingkai Shi, Yongchao Wang, Peisen Yao, Charles Zhang 0001	Indexing the extended Dyck-CFL reachability for context-sensitive program analysis.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
23	Andreas Pavlogiannis	CFL/Dyck Reachability: An Algorithmic Perspective.	ACM SIGLOG News	2022	DBLP DOI BibTeX RDF
23	Fang He, Huashan Zhang, Can Huang, Moubin Liu	A stable SPH model with large CFL numbers for multi-phase flows with large density ratios.	J. Comput. Phys.	2022	DBLP DOI BibTeX RDF
23	Fahim Faisal Niloy, Kishor Kumar Bhaumik, Simon S. Woo	CFL-Net: Image Forgery Localization Using Contrastive Learning.	CoRR	2022	DBLP DOI BibTeX RDF
23	Lin Wang, Fangxiao Li, Yunfei Xie, Leyi Shi	Identity Authentication Strategy of Mobile Crowd Sensing based on CFL.	QRS	2022	DBLP DOI BibTeX RDF
23	Qian Chen 0032, Zilong Wang 0001, Yilin Zhou, Jiawei Chen 0010, Dan Xiao, Xiaodong Lin 0001	CFL: Cluster Federated Learning in Large-Scale Peer-to-Peer Networks.	ISC	2022	DBLP DOI BibTeX RDF
23	Menglu Chen, Yiyang Li, Chenxintong Cheng, Yujie Huang, Huan Wang	A Preliminary Research on Online Learning Engagement of International Students Staying at Home Country: Take CFL Course as an Example.	ICCSE (1)	2022	DBLP DOI BibTeX RDF
23	Naixing Feng, Yuxian Zhang, Jinfeng Zhu, Qingsheng Zeng, Guo Ping Wang	High-Accurate Non-Uniform Grids for System-Combined ADI-FDTD Method in Near-Field Scattering With Proper CFL Factor.	IEEE Access	2021	DBLP DOI BibTeX RDF
23	Dmitry Chistikov 0001, Rupak Majumdar, Philipp Schepper	Subcubic Certificates for CFL Reachability.	CoRR	2021	DBLP BibTeX RDF
23	Min Zhang, Weizhang Huang, Jianxian Qiu	A study on CFL conditions for the DG solution of conservation laws on adaptive moving meshes.	CoRR	2021	DBLP BibTeX RDF
23	Daniel Appelö, Lu Zhang, Thomas M. Hagstrom, Fengyan Li	An Energy-Based Discontinuous Galerkin Method with Tame CFL Numbers for the Wave Equation.	CoRR	2021	DBLP BibTeX RDF
23	Shaashwat Agrawal, Sagnik Sarkar, Mamoun Alazab, Praveen Kumar Reddy Maddikunta, Thippa Reddy Gadekallu, Quoc-Viet Pham	Genetic CFL: Optimization of Hyper-Parameters in Clustered Federated Learning.	CoRR	2021	DBLP BibTeX RDF
23	Jingbo Lu, Dongjie He, Jingling Xue	Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity.	ACM Trans. Softw. Eng. Methodol.	2021	DBLP DOI BibTeX RDF
23	Shaashwat Agrawal, Sagnik Sarkar, Mamoun Alazab, Praveen Kumar Reddy Maddikunta, Thippa Reddy Gadekallu, Quoc-Viet Pham	Genetic CFL: Hyperparameter Optimization in Clustered Federated Learning.	Comput. Intell. Neurosci.	2021	DBLP DOI BibTeX RDF
23	Yun Lai, Xi-Wen Zhang	Evaluating the Stability of Digital Ink Chinese Characters from CFL Beginners Based on Center of Gravity Guided by Calligraphy.	ICBDE	2021	DBLP DOI BibTeX RDF
23	Yun Lai, Xi-Wen Zhang	Computing the Slant Degree of Digital Ink Chinese Characters Handwritten by CFL Beginners Based on Elliptical Enclosing Shape.	CSAI	2021	DBLP DOI BibTeX RDF
23	Dong Wang, Baoqian Wang, Jinran Zhang, Kejie Lu, Junfei Xie, Yan Wan 0001, Shengli Fu	CFL-HC: A Coded Federated Learning Framework for Heterogeneous Computing Scenarios.	GLOBECOM	2021	DBLP DOI BibTeX RDF
23	Jingbo Lu, Dongjie He, Jingling Xue	Selective Context-Sensitivity for k-CFA with CFL-Reachability.	SAS	2021	DBLP DOI BibTeX RDF
23	Ana L. Milanova	FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
23	Noel Chalmers, Lilia Krivodonova	A robust CFL condition for the discontinuous Galerkin method on triangular meshes.	J. Comput. Phys.	2020	DBLP DOI BibTeX RDF
23	Yang Liu 0143	Maximizing the CFL number of stable time-space domain explicit finite-difference modeling.	J. Comput. Phys.	2020	DBLP DOI BibTeX RDF
23	Erwan Deriaz, Pierre Haldenwang	Non-linear CFL Conditions Issued from the von Neumann Stability Analysis for the Transport Equation.	J. Sci. Comput.	2020	DBLP DOI BibTeX RDF
23	Xinlei Wang, Minchen Li, Yu Fang, Xinxin Zhang, Ming Gao, Min Tang 0001, Danny M. Kaufman, Chenfanfu Jiang	Hierarchical Optimization Time Integration for CFL-Rate MPM Stepping.	ACM Trans. Graph.	2020	DBLP DOI BibTeX RDF
23	Jingbo Lu	Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with CFL-Reachability.		2020	RDF
23	Xiaoqin Huang	WeChat-based teaching for an immersion cultural exchange program - a case study in CFL.	Smart Learn. Environ.	2019	DBLP DOI BibTeX RDF
23	Xinlei Wang, Minchen Li, Yu Fang, Xinxin Zhang, Ming Gao, Min Tang 0001, Danny M. Kaufman, Chenfanfu Jiang	Hierarchical Optimization Time Integration for CFL-rate MPM Stepping.	CoRR	2019	DBLP BibTeX RDF
23	Jiong Ren, Gang Wang, Mingsheng Ma	A Group of CFL-Dependent Flux-Limiters to Control the Numerical Dissipation in Multi-stage Unsteady Calculation.	J. Sci. Comput.	2019	DBLP DOI BibTeX RDF
23	Jones Goebel, Bruno Zatt, Luciano Agostini, Marcelo Schiavon Porto	Hardware design of DC/CFL intra-prediction decoder for the AV1 codec.	SBCCI	2019	DBLP DOI BibTeX RDF
23	Cheng Cai, Qirun Zhang, Zhiqiang Zuo 0002, Khanh Nguyen 0001, Guoqing Harry Xu, Zhendong Su 0001	Calling-to-reference context translation via constraint-guided CFL-reachability.	PLDI	2018	DBLP DOI BibTeX RDF
23	Daniel Peterseim, Mira Schedensack	Relaxing the CFL Condition for the Wave Equation on Adaptive Meshes.	J. Sci. Comput.	2017	DBLP DOI BibTeX RDF
23	Andrei Marian Dan, Manu Sridharan, Satish Chandra 0001, Jean-Baptiste Jeannin, Martin T. Vechev	Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts.	CAV (2)	2017	DBLP DOI BibTeX RDF
23	Hao Tang, Di Wang 0017, Yingfei Xiong 0001, Lingming Zhang 0001, Xiaoyin Wang, Lu Zhang 0023	Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization.	ESOP	2017	DBLP DOI BibTeX RDF
23	Allan Emleh, Arnold S. de Beer, Ling Cheng 0001, Hendrik C. Ferreira, A. J. Han Vinck	An overview of colour LED & CFL lighting interference on the low voltage PLC network.	TSP	2017	DBLP DOI BibTeX RDF
23	Salvatore Di Mauro, Salvatore Musumeci, Angelo Raciti	Analysis of electrical and photometric quantities of CFL and LED bulb lamps.	IAS	2017	DBLP DOI BibTeX RDF
23	Ranjay Shrestha, Liping Di, Eugene G. Yu, Md. Shahinoor Rahman, Li Lin 0002, Lei Hu, Junmei Tang	Crop Fraction Layer (CFL) datasets derived through MODIS and LandSat for the continental US from year 2000-2016.	Agro-Geoinformatics	2017	DBLP DOI BibTeX RDF
23	Tomoyuki Yamakami	Not All Multi-Valued Partial CFL Functions Are Refined by Single-Valued Functions.	CoRR	2016	DBLP BibTeX RDF
23	Vedpal Singh, Irraivan Elamvazuthi, Varun Jeoti, John George, Akshya Kumar Swain, Dileep Kumar	3D Reconstruction of CFL Ligament Based on Ultrasonographic Images.	IVIC	2015	DBLP DOI BibTeX RDF
23	Wei Zhu 0002, Guang Zhou, I-Ling Yen, San-Yih Hwang	A CFL-ontology model for carbon footprint reasoning.	ICSC	2015	DBLP DOI BibTeX RDF
23	Noel Chalmers, Lilia Krivodonova, Ruibin Qin	Relaxing the CFL Number of the Discontinuous Galerkin Method.	SIAM J. Sci. Comput.	2014	DBLP DOI BibTeX RDF
23	Mario Morales-Hernández, Matthew E. Hubbard, P. García-Navarro	A 2D extension of a Large Time Step explicit scheme (CFL > 1) for unsteady problems with wet/dry boundaries.	J. Comput. Phys.	2014	DBLP DOI BibTeX RDF
23	Zhiliang Xu, Xu-Yan Chen, Yingjie Liu	A new Runge-Kutta discontinuous Galerkin method with conservation constraint to improve CFL condition for solving conservation laws.	J. Comput. Phys.	2014	DBLP DOI BibTeX RDF
23	Xihao Li, Costas D. Sarris, Piero Triverio	Structure-Preserving Reduction of Finite-Difference Time-Domain Equations with Controllable Stability Beyond the CFL Limit.	CoRR	2014	DBLP BibTeX RDF
23	Muhyaddin Jamal H. Rawa, David W. P. Thomas, Mark Sumner	Experimental Measurements and Computer Simulations of FL and CFL for Harmonic Studies.	UKSim	2014	DBLP DOI BibTeX RDF
23	Ana L. Milanova, Wei Huang 0001, Yao Dong 0001	CFL-reachability and context-sensitive integrity types.	PPPJ	2014	DBLP DOI BibTeX RDF
23	Tomoyuki Yamakami	Not All Multi-Valued Partial CFL Functions Are Refined by Single-Valued Functions (Extended Abstract).	IFIP TCS	2014	DBLP DOI BibTeX RDF
23	Yu Su 0012, Ding Ye, Jingling Xue	Parallel Pointer Analysis with CFL-Reachability.	ICPP	2014	DBLP DOI BibTeX RDF
23	Caterina Calgaro, Emmanuel Creusé, Thierry Goudon, Y. Penel	Positivity-preserving schemes for Euler equations: Sharp and practical CFL conditions.	J. Comput. Phys.	2013	DBLP DOI BibTeX RDF
23	Xiaoshan Sun, Liang Cheng 0004, Yang Zhang 0021, Yi Deng 0002, Jingbiao Hou	Refining the Pointer Analysis by Exploiting Constraints on the CFL-Paths.	APSEC (1)	2013	DBLP DOI BibTeX RDF
23	Yi Lu 0003, Lei Shang 0002, Xinwei Xie, Jingling Xue	An Incremental Points-to Analysis with CFL-Reachability.	CC	2013	DBLP DOI BibTeX RDF
23	Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su 0001	Fast algorithms for Dyck-CFL-reachability with applications to alias analysis.	PLDI	2013	DBLP DOI BibTeX RDF
23	Qirun Zhang	Scaling CFL-reachability-based alias analysis: theory and practice.		2013	RDF
23	Mario Morales-Hernández, P. García-Navarro, Javier Murillo	A large time step 1D upwind explicit scheme (CFL > 1): Application to shallow water equations.	J. Comput. Phys.	2012	DBLP DOI BibTeX RDF
23	Lei Shang 0002, Yi Lu 0003, Jingling Xue	Fast and precise points-to analysis with incremental CFL-reachability summarisation: preliminary experience.	ASE	2012	DBLP DOI BibTeX RDF
23	Lei Shang 0002	Efficient points-to analysis based on CFL-reachability summarisation.		2012	RDF
23	Thomas Toulorge, Wim Desmet	CFL Conditions for Runge-Kutta discontinuous Galerkin methods on triangular grids.	J. Comput. Phys.	2011	DBLP DOI BibTeX RDF
23	Chung-Kai Huang, Chun-Yu Lin	Enhancing classroom interactivity and engagement: CFL Learners' perceptions of the application of Web 2.0 technology.	Br. J. Educ. Technol.	2011	DBLP DOI BibTeX RDF
23	Sukhamay Kundu, Supratik Mukhopadhyay	Approximation of CFL by Regular Languages for Concurrent Program Verification.	COMPSAC Workshops	2010	DBLP DOI BibTeX RDF
23	Mei Jen Audrey Shih, Jie-Chi Yang	A Perspective on Listening Comprehension: How ICT Enable a Chinese as a Foreign Language (CFL) Learner to Achieve Learning Metacognition.	ICALT	2010	DBLP DOI BibTeX RDF
23	Tomoyuki Yamakami	Pseudorandom Generators against CFL/n	CoRR	2009	DBLP BibTeX RDF
23	Timothy Warburton, Thomas M. Hagstrom	Taming the CFL Number for Discontinuous Galerkin Methods on Structured Meshes.	SIAM J. Numer. Anal.	2008	DBLP DOI BibTeX RDF
23	Jean-Baptiste Apoung Kamga, Bruno Després	CFL Condition and Boundary Conditions for DGM Approximation of Convection-Diffusion.	SIAM J. Numer. Anal.	2006	DBLP DOI BibTeX RDF
23	Charalambos G. Makridakis, Benoit Perthame	Sharp CFL, Discrete Kinetic Formulation, and Entropic Schemes for Scalar Conservation Laws.	SIAM J. Numer. Anal.	2003	DBLP DOI BibTeX RDF