Search results for "BCP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
117	Laszlo Ladányi, Ted K. Ralphs, Leslie E. Trotter Jr.	Branch, Cut, and Price: Sequential and Parallel.	Computational Combinatorial Optimization	2001	DBLP DOI BibTeX RDF
100	In-Yong Hwang, SeoungYoung Lee, Hong-Shik Park	Impact of Burst Control Packet Congestion on Burst Loss Rate in Optical Burst Switched Networks.	ICOIN	2006	DBLP DOI BibTeX RDF
83	Vasco M. Manquinho, João P. Marques Silva	Satisfiability-Based Algorithms for Boolean Optimization.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	binate covering problem, non-chronological backtracking, branch-and-bound, backtrack search, propositional satisfiability
83	Vasco M. Manquinho, João P. Marques Silva	Search pruning techniques in SAT-based branch-and-bound algorithmsfor the binate covering problem.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
79	John D. Davis, Zhangxi Tan, Fang Yu 0002, Lintao Zhang	A practical reconfigurable hardware accelerator for Boolean satisfiability solvers.	DAC	2008	DBLP DOI BibTeX RDF	BCP, FPGA, reconfigurable, SAT solver, co-processor
67	John D. Davis, Zhangxi Tan, Fang Yu 0002, Lintao Zhang	Designing an Efficient Hardware Implication Accelerator for SAT Solving.	SAT	2008	DBLP DOI BibTeX RDF
67	Senjuti Basu Roy, Gautam Das 0001, Sajal K. Das 0001	Computing Best Coverage Path in the Presence of Obstacles in a Sensor Field.	WADS	2007	DBLP DOI BibTeX RDF
50	Scott Moeller, Avinash Sridharan, Bhaskar Krishnamachari, Omprakash Gnawali	Routing without routes: the backpressure collection protocol.	IPSN	2010	DBLP DOI BibTeX RDF	stochastic network optimization, testbed experiments, wireless sensor networks, routing protocol, collection
50	Jie Liu 0008, Senlin Liang, Dan Ye 0004, Jun Wei 0001, Tao Huang 0001	ETL Workflow Analysis and Verification Using Backwards Constraint Propagation.	CAiSE	2009	DBLP DOI BibTeX RDF	Data Warehouse, Data Quality, Constraint Propagation, ETL, Workflow Analysis
50	Yudistira Asnar, Paolo Giorgini	Analyzing Business Continuity through a Multi-layers Model.	BPM	2008	DBLP DOI BibTeX RDF
50	Turgay Korkmaz, Marwan Krunz	Bandwidth-delay constrained path selection under inaccurate state information.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	quality-of-service (QoS) routing, stochastic shortest path, multiobjective optimization, Lagrange relaxation
50	Vassilios Petridis, Athanasios Kehagias, Loukas Petrou, Anastasios G. Bakirtzis, S. Kiartzis, H. Panagiotou, N. Maslaris	A Bayesian Multiple Models Combination Method for Time Series Prediction.	J. Intell. Robotic Syst.	2001	DBLP DOI BibTeX RDF	Bayesian combined predictor, local predictors, time series prediction, short-term load forecasting
50	Vasco M. Manquinho, João Marques-Silva 0001	On Using Satisfiability-Based Pruning Techniques in Covering Algorithms.	DATE	2000	DBLP DOI BibTeX RDF
50	Jien-Chung Lo, Suchai Thanawastien, T. R. N. Rao, Michael Nicolaidis	An SFS Berger check prediction ALU and its application to self-checking processor designs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1992	DBLP DOI BibTeX RDF
45	Marc Thurley	sharpSAT - Counting Models with Advanced Component Caching and Implicit BCP.	SAT	2006	DBLP DOI BibTeX RDF
33	Ozgur Turetken	Is your back-up IT infrastructure in a safe location?	Inf. Syst. Frontiers	2008	DBLP DOI BibTeX RDF	Business continuity planning, Site location decisions, Decision support, Mathematical modeling
33	Stewart H. C. Wan, Yuk-Hee Chan	Adoption of business continuity planning processes in IT service management.	BDIM	2008	DBLP DOI BibTeX RDF
33	Meinolf Sellmann, Luc Mercier, Daniel H. Leventhal	The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width.	CPAIOR	2007	DBLP DOI BibTeX RDF	integer programming, constraint programming, cutting planes, polyhedral combinatorics
33	In-Yong Hwang, Jeong-Hee Ryou, Hong-Shik Park	Offset-Time Compensation Algorithm - QoS Provisioning for the Control Channel of the Optical Burst Switching Network.	ICOIN	2005	DBLP DOI BibTeX RDF
33	Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais	Using Boolean Constraint Propagation for Sub-clauses Deduction.	CP	2005	DBLP DOI BibTeX RDF
33	Jaegwan Kim, JinSeek Choi, Minho Kang	Offset-Time Based Scheduling Algorithm for Burst Control Packet in Optical Burst Switching Networks.	ICOIN	2004	DBLP DOI BibTeX RDF
28	Qi Li 0009, Supei Zheng, Liquan Mei	Three decoupled, second-order accurate, and energy stable schemes for the conserved Allen-Cahn-type block copolymer (BCP) model.	Numer. Algorithms	2023	DBLP DOI BibTeX RDF
28	David Stevens, Richard Halverson	Business Continuity Planning (BCP) for Election Systems.	HCI (35)	2023	DBLP DOI BibTeX RDF
28	Liangjun Chen, Zhengwang Wu, Dan Hu, Ya Wang, Fenqiang Zhao, Tao Zhong, Weili Lin, Li Wang 0026, Gang Li 0001	A 4D infant brain volumetric atlas based on the UNC/UMN baby connectome project (BCP) cohort.	NeuroImage	2022	DBLP DOI BibTeX RDF
28	Yi-Ting Lin, Iris Hui-Ru Jiang	Novel Guiding Template and Mask Assignment for DSA-MP Hybrid Lithography Using Multiple BCP Materials.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2021	DBLP DOI BibTeX RDF
28	Yun-Jhe Jiang, Kuo-Hao Wu, Shao-Yun Fang	Manufacturability Enhancement With Dummy via Insertion for DSA-MP Lithography Using Multiple BCP Materials.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2021	DBLP DOI BibTeX RDF
28	Soowang Park, Jae-Won Nam, Sandeep K. Gupta 0001	HW-BCP: A Custom Hardware Accelerator for SAT Suitable for Single Chip Implementation for Large Benchmarks.	ASP-DAC	2021	DBLP DOI BibTeX RDF
28	Oussema Ben Amara, Daouda Kamissoko, Frédérick Bénaben, Ygal Fijalkow	Hardware architecture for the evaluation of BCP robustness indicators through massive data collection and interpretation.	ISCRAM	2021	DBLP BibTeX RDF
28	Brittany R. Howell, Martin A. Styner, Wei Gao, Pew-Thian Yap, Li Wang 0026, Kristine Baluyot, Essa Yacoub, Geng Chen 0001, Taylor Potts, Andrew P. Salzwedel, Gang Li 0001, John H. Gilmore, Joseph Piven, J. Keith Smith, Dinggang Shen, Kâmil Ugurbil, Hongtu Zhu, Weili Lin, Jed T. Elison	The UNC/UMN Baby Connectome Project (BCP): An overview of the study design and protocol development.	NeuroImage	2019	DBLP DOI BibTeX RDF
28	Yi-Ting Lin, Iris Hui-Ru Jiang	Novel Guiding Template and Mask Assignment for DSA-MP Hybrid Lithography Using Multiple BCP Materials.	DAC	2019	DBLP DOI BibTeX RDF
28	Kuo-Hao Wu, Shao-Yun Fang	Simultaneous template assignment and layout decomposition using multiple bcp materials in DSA-MP lithography.	ICCAD	2017	DBLP DOI BibTeX RDF
28	Jiaojiao Ou, Xiaoqing Xu, Brian Cline, Greg Yeric, David Z. Pan	DTCO for DSA-MP Hybrid Lithography with Double-BCP Materials in Sub-7nm Node.	ICCD	2017	DBLP DOI BibTeX RDF
28	Jogendra Garain, Adarsh Shah, Ravi Kant Kumar, Dakshina Ranjan Kisku, Goutam Sanyal	BCP-BCS: Best-Fit Cascaded Matching Paradigm with Cohort Selection Using Bezier Curve for Individual Recognition.	ACCV Workshops (3)	2016	DBLP DOI BibTeX RDF
28	Wei Si, David Starobinski, Moshe Laifenfeld	Hybrid-BCP: A Robust Load Balancing and Routing Protocol for Intra-Car Wired/Wireless Networks.	CoRR	2015	DBLP BibTeX RDF
28	Kenji Watanabe, Takuya Hayashi 0005	PPP (Public-Private Partnership)-Based Business Continuity of Regional Banking Services for Communities in Wide-Area Disasters - Limitation of Individual BCP/BCM Ensuring Interoperability Among Banks Cooperation with Local Governments for Socioeconomic Resilience in Japan.	CRITIS	2015	DBLP DOI BibTeX RDF
28	Masayuki Honda, Takahiro Matsumoto	A new Hospital Information System Toward a promotion for security and BCP strategy.	MIE	2015	DBLP DOI BibTeX RDF
28	Xiangyu Chen 0002, Dai Taguchi, Takaaki Manaka, Mitsumasa Iwamoto	Investigation of Interfacial Charging Process of Pentacene/C60/BCP Triple-Layer Organic Solar Cells.	IEICE Trans. Electron.	2013	DBLP DOI BibTeX RDF
28	Mark Davis, Addison Phillips, Yoshito Umaoka, Courtney Falk	BCP 47 Extension T - Transformed Content.	RFC	2012	DBLP DOI BibTeX RDF
28	Rodolfo Ibarra-Orozco, Juan Carlos López Pimentel, Miguel González-Mendoza 0001, Neil Hernández-Gress	BCP and ZQP Strategies to Reduce the SVM Training Time.	MICAI (Special Sessions)	2012	DBLP DOI BibTeX RDF
28	Christian Müller-Tomfelde, Jane Li, John Zic, Alex Hyatt	The BCP: An integrated communication and collaboration platform for biosecurity research and incident response workgroups.	CollaborateCom	2011	DBLP DOI BibTeX RDF
28	Mark Davis, Addison Phillips, Yoshito Umaoka	BCP 47 Extension U.	RFC	2010	DBLP DOI BibTeX RDF
28	Deguo Xia, Haoran Zheng, Zhiqiang Liu, Guisheng Li, Kai Zhao	BCP-MG: A web server for predicting bacterial community of metagenome.	BIC-TA	2010	DBLP DOI BibTeX RDF
28	Brian E. Carpenter, Lucy Lynch	BCP 101 Update for IPR Trust.	RFC	2006	DBLP DOI BibTeX RDF
28	João Roberto Bertini Jr., Maria do Carmo Nicoletti, Estevam R. Hruschka Jr.	A Comparative Evaluation of Constructive Neural Networks Methods using PRM and BCP as TLU Training Algorithms.	SMC	2006	DBLP DOI BibTeX RDF
28	Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001	Early Conflict Detection Based BCP for SAT Solving.	SAT	2004	DBLP BibTeX RDF
28	Mitsuru Higashiyama, Fred Baker, Tawei Liao	Point-to-Point Protocol (PPP) Bridging Control Protocol (BCP).	RFC	2003	DBLP DOI BibTeX RDF
28	Mitsuru Higashiyama, Fred Baker	PPP Bridging Control Protocol (BCP).	RFC	2000	DBLP DOI BibTeX RDF
28	Rahul Roy-Chowdhury, Mukesh Dalal	Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP.	AAAI/IAAI	1997	DBLP BibTeX RDF
28	Fred Baker, Rich Bowen	PPP Bridging Control Protocol (BCP).	RFC	1994	DBLP DOI BibTeX RDF
28	A. Winarske, Susan Warwick-Armstrong, Jan Hajic	Tagging and Alignment of Parallel Texts: Current Status of BCP.	ANLP	1992	DBLP BibTeX RDF
28	Chia-Hsing Hsieh, Tsung-Ju Wu, Hann-Tzong Chern	Bandwidth Control Protocol in WiMAX Network.	ISPA	2010	DBLP DOI BibTeX RDF	BCP (Bandwidth Control Protocol), WiMAX, bandwidth allocation, Real time traffic, Delay time
28	Kanupriya Gulati, Suganth Paul, Sunil P. Khatri, Srinivas Patil, Abhijit Jas	FPGA-based hardware acceleration for Boolean satisfiability.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	Boolean satisfiabilty (SAT), boolean constant propagation (BCP), conflict induced clauses, non-chronological backtrack, FPGA
28	Wolfgang Boehmer	Survivability and Business Continuity Management System According to BS 25999.	SECURWARE	2009	DBLP DOI BibTeX RDF	BS 25999, BCMS, Business Continuity Plan (BCP), Disaster Recovery (DR)
28	Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao Zhang, Sharad Malik	Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver.	DAC	2002	DBLP DOI BibTeX RDF	boolean constraint propagation (BCP), bounded model checking (BMC), conjunctive normal form (CNF), boolean satisfiability (SAT)
17	Chi-An Wu, Ting-Hao Lin, Shao-Lun Huang, Chung-Yang Huang	SAT-controlled redundancy addition and removal: a novel circuit restructuring technique.	ASP-DAC	2009	DBLP DOI BibTeX RDF
17	Himanshu Jain, Edmund M. Clarke	Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts.	DAC	2009	DBLP DOI BibTeX RDF	NNF, verification, Boolean satisfiability, DPLL
17	Michel Abdalla, Dario Catalano, Céline Chevalier, David Pointcheval	Efficient Two-Party Password-Based Key Exchange Protocols in the UC Framework.	CT-RSA	2008	DBLP DOI BibTeX RDF
17	João Roberto Bertini Jr., Maria do Carmo Nicoletti	MBabCoNN - A Multiclass Version of a Constructive Neural Network Algorithm Based on Linear Separability and Convex Hull.	ICANN (2)	2008	DBLP DOI BibTeX RDF	Constructive neural network algorithm, LS-discriminant learning, Barycentric Correction Procedure, Multiclass classification
17	Loganathan Lingappan, Niraj K. Jha	Satisfiability-Based Automatic Test Program Generation and Design for Testability for Microprocessors.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
17	Ming-e Jing, Dian Zhou, Pushan Tang, Xiaofang Zhou, Hua Zhang 0019	Solving SAT problem by heuristic polarity decision-making algorithm.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	complete algorithm, decision-making, DPLL, SAT problem
17	Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang Huang	QuteSAT: a robust circuit-based SAT solver for complex circuit structure.	DATE	2007	DBLP DOI BibTeX RDF
17	Kang Zhao, Jinian Bian, Sheqin Dong	A Fast Custom Instructions Identification Algorithm based on Basic Convex Pattern Model for Supporting ASIP Automated Design.	CSCWD	2007	DBLP DOI BibTeX RDF
17	José Alberto Hernández 0001, Javier Aracil 0001	On the Early Release of Burst-Control Packets in Optical Burst-Switched Networks.	ICOIN	2007	DBLP DOI BibTeX RDF
17	Qingwei Wu, Michael S. Hsiao	A New Simulation-Based Property Checking Algorithm Based on Partitioned Alternative Search Space Traversal.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	verification, Automatic test pattern generation (ATPG), satisfiability, logic-simulation
17	Emilio Mancini, Sonya Marcarelli, Pierluigi Ritrovato, Igor Vasil'ev, Umberto Villano	A Grid-Aware Branch, Cut and Price Implementation.	PVM/MPI	2005	DBLP DOI BibTeX RDF
17	Zhaohui Fu, Yinlei Yu, Sharad Malik	Considering Circuit Observability Don't Cares in CNF Satisfiability.	DATE	2005	DBLP DOI BibTeX RDF
17	Xinyu Zhao, Zuoquan Lin	Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach.	ICNC (1)	2005	DBLP DOI BibTeX RDF
17	Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001	Speedup Techniques Utilized in Modern SAT Solvers.	SAT	2005	DBLP DOI BibTeX RDF
17	Bo Yang 0005, Ali R. Hurson	Content-aware search of multimedia data in ad hoc networks.	MSWiM	2005	DBLP DOI BibTeX RDF	multimedia data retrieval, ad hoc network, content distribution
17	Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais	Automatic Extraction of Functional Dependencies.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF	propositional reasoning and search, Boolean function, SAT
17	Jing Zhang 0003, Hae-Joung Lee, Shuang Wang, Xue Qiu, Keyao Zhu, Yurong (Grace) Huang, Debasish Datta 0001, Young-Chon Kim, Biswanath Mukherjee	Explicit Routing for Traffic Engineering in Labeled Optical Burst-Switched WDM Networks.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
17	Hae-Joung Lee, Kyu-Yeop Song, Won-Ho So, Jing Zhang 0003, Debasish Datta 0001, Biswanath Mukherjee, Young-Chon Kim	A Hybrid Restoration Scheme Based on Threshold Reaction Time in Optical Burst-Switched Networks.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
17	Wei Li 0002	A Hypergraph Separator Based Variable Ordering Heuristic for Solving Real World SAT.	CP	2004	DBLP DOI BibTeX RDF
17	Rajat Arora, Michael S. Hsiao	Enhancing SAT-based Bounded Model Checking using Sequential Logic Implications.	VLSI Design	2004	DBLP DOI BibTeX RDF
17	Feng Lu 0002, Li-C. Wang, Kwang-Ting Cheng, Ric C.-Y. Huang	A Circuit SAT Solver With Signal Correlation Guided Learning.	DATE	2003	DBLP DOI BibTeX RDF
17	Lintao Zhang, Sharad Malik	Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms.	SAT	2003	DBLP DOI BibTeX RDF
17	Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz	CAMA: A Multi-Valued Satisfiability Solver.	ICCAD	2003	DBLP DOI BibTeX RDF
17	Evguenii I. Goldberg, Yakov Novikov	BerkMin: A Fast and Robust Sat-Solver.	DATE	2002	DBLP DOI BibTeX RDF
17	Fabio Massacci	Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux.	TABLEAUX	1998	DBLP DOI BibTeX RDF