Search results for "CPP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
44	Sascha Böhme, Anthony C. J. Fox, Thomas Sewell, Tjark Weber	Reconstruction of Z3's Bit-Vector Proofs in HOL4 and Isabelle/HOL.	CPP	2011	DBLP DOI BibTeX RDF
44	Cezary Kaliszyk, Henk Barendregt	Reasoning about Constants in Nominal Isabelle or How to Formalize the Second Fixed Point Theorem.	CPP	2011	DBLP DOI BibTeX RDF
44	Jinjiang Lei, Zongyan Qiu	Verification of Scalable Synchronous Queue.	CPP	2011	DBLP DOI BibTeX RDF
44	Vladimir Voevodsky	Univalent Semantics of Constructive Type Theories.	CPP	2011	DBLP DOI BibTeX RDF
44	Pierre Corbineau, Mathilde Duclos, Yassine Lakhnech	Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience.	CPP	2011	DBLP DOI BibTeX RDF
44	Dale Miller 0001	A Proposal for Broad Spectrum Proof Certificates.	CPP	2011	DBLP DOI BibTeX RDF
44	Peter W. O'Hearn	Algebra, Logic, Locality, Concurrency.	CPP	2011	DBLP DOI BibTeX RDF
44	Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie	Modular SMT Proofs for Fast Reflexive Checking Inside Coq.	CPP	2011	DBLP DOI BibTeX RDF
44	Jieung Kim, Sukyoung Ryu	Coq Mechanization of Featherweight Fortress with Multiple Dispatch and Multiple Inheritance.	CPP	2011	DBLP DOI BibTeX RDF
44	Thi Minh Tuyen Nguyen, Claude Marché	Hardware-Dependent Proofs of Numerical Programs.	CPP	2011	DBLP DOI BibTeX RDF
44	Dongchen Jiang, Tobias Nipkow	Proof Pearl: The Marriage Theorem.	CPP	2011	DBLP DOI BibTeX RDF
44	Wolfram Kahl	The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider's "Logical Approach to Discrete Math".	CPP	2011	DBLP DOI BibTeX RDF
44	Jean-David Génevaux, Julien Narboux, Pascal Schreck	Formalization of Wu's Simple Method in Coq.	CPP	2011	DBLP DOI BibTeX RDF
43	Jean-Marie Favre	Preprocessors from an Abstract Point of View.	WCRE	1996	DBLP DOI BibTeX RDF	program preprocessors, software maintenance problems, software variants, complex preprocessor files, problem comprehension, Champollion/APP, preprocessor maintenance, software tools, abstractions, program slicing, C language, program specialization, interprocedural data flow analysis, program processors, CPP
42	Tien Van Do 0001, Udo R. Krieger	A Performance Model for Maintenance Tasks in an Environment of Virtualized Servers.	Networking	2009	DBLP DOI BibTeX RDF	Virtualized services, CPP/M/c model, working vacations policy, performance management
42	Geyong Min, Yulei Wu, Lan Wang, Mohamed Ould-Khaoua	Performance Modelling of Adaptive Routing in Hypercubic Networks under Non-Uniform and Batch Arrival Traffic.	LCN	2007	DBLP DOI BibTeX RDF	Hot-Spot Traffic, Compound Poisson Process (CPP), Performance Evaluation, Interconnection Networks
42	Kwanghoon Pio Kim, Ilkyeun Ra	A Process-Driven e-Business Service Integration System and Its Application to e-Logistics Services.	WISE	2005	DBLP DOI BibTeX RDF	e-Business Service Integration System, B2B Choreography and Orchestration, e-Business Process Management, ebXML Standard, CPP/CPA, BPSS, e-Logistics, e-Commerce
41	Phan Huy Tu, Tran Cao Son, Enrico Pontelli	CPP: A Constraint Logic Programming Based Planner with Preferences.	LPNMR	2007	DBLP DOI BibTeX RDF
33	Yitong Yin	Cell-Probe Proofs and Nondeterministic Cell-Probe Complexity.	ICALP (1)	2008	DBLP DOI BibTeX RDF
33	Ziqiang Zhou, Mujun Li, Liguan Shen	Manufacturing Resource Management for Collaborative Process Planning.	PROLAMAT	2006	DBLP DOI BibTeX RDF	Manufacturing resource, Simulation, Collaborative, Process planning
33	Mark Hennessy, James F. Power	An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software.	ASE	2005	DBLP DOI BibTeX RDF	grammar-based software, rule coverage, software testing, test suite reduction
33	Yoshiharu Kohayakawa, Flávio Keidi Miyazawa, Prabhakar Raghavan, Yoshiko Wakabayashi	Multidimensional Cube Packing.	Algorithmica	2004	DBLP DOI BibTeX RDF	Multidimensional bin packing, Asymptotic performance, Approximation algorithms
33	Bei Di Chen, Muthucumaru Maheswaran	A Fair Synchronization Protocol with Cheat Proofing for Decentralized Online Multiplayer Games.	NCA	2004	DBLP DOI BibTeX RDF
33	Eric E. Allen, Jonathan Bannet, Robert Cartwright	A first-class approach to genericity.	OOPSLA	2003	DBLP DOI BibTeX RDF
33	Dino Ahr, Gerhard Reinelt	New Heuristics and Lower Bounds for the Min-Max k -Chinese Postman Problem.	ESA	2002	DBLP DOI BibTeX RDF	Min-Max Optimization, Heuristics, Lower Bounds, Chinese Postman Problem, Arc Routing
33	James Aspnes, David F. Fischer, Michael J. Fischer, Ming-Yang Kao, Alok Kumar	Towards understanding the predictability of stock markets from the perspective of computational complexity.	SODA	2001	DBLP BibTeX RDF
33	Jean-Marie Favre	A Rigorous Approach to Support the Maintenance of Large Portable Software.	CSMR	1997	DBLP DOI BibTeX RDF
27	Edward B. Allen, Maheshwar Chandrasekar, Karolina A. Sarnowska	C preprocessor use in numerical tools: an empirical analysis.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	C preprocessor, file inclusion, macro substitution, C++, empirical study, C, macro, conditional compilation, cpp
27	Jean-Marie Favre	Understanding-In-The-Large.	WPC	1997	DBLP DOI BibTeX RDF	Architecture, Evolution, Manufacture, Configuration Management, Software Understanding, Programming-In-The-Large, CPP
24	Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop	Unboxed Data Constructors: Or, How cpp Decides a Halting Problem.	Proc. ACM Program. Lang.	2024	DBLP DOI BibTeX RDF
24	Francesco Gregoretti, Giovanni Pezzulo, Domenico Maisto	cpp-AIF: A multi-core C++ implementation of Active Inference for Partially Observable Markov Decision Processes.	Neurocomputing	2024	DBLP DOI BibTeX RDF
24	Zhikang Zeng, Quan Zhou, Kaijun Wei, Ningbin Yang, Chunming Tang 0003	BCS-CPP: A Blockchain and Collaborative Service-Based Conditional Privacy-Preserving Scheme for Internet of Vehicles.	IEEE Trans. Intell. Veh.	2024	DBLP DOI BibTeX RDF
24	Oren Elmakis, Amir Degani	USV Port Oil Spill Cleanup Using Hybrid Multi-Destination RL-CPP.	IEEE Access	2023	DBLP DOI BibTeX RDF
24		On the Inverses and Their Hamming Weights of Known APN, 4-Differentially Uniform and CPP Exponents Over F₂ⁿ.	IEEE Trans. Inf. Theory	2023	DBLP DOI BibTeX RDF
24	Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop	Unboxed data constructors - or, how cpp decides a halting problem.	CoRR	2023	DBLP DOI BibTeX RDF
24	Shengcong Chen, Changxing Ding, Minfeng Liu, Jun Cheng 0003, Dacheng Tao	CPP-Net: Context-Aware Polygon Proposal Network for Nucleus Segmentation.	IEEE Trans. Image Process.	2023	DBLP DOI BibTeX RDF
24	Kihwang Son, Seulki Park, Kyunghoon Jung, Jun-Gyu Kim, Younggun Ko, Keonyong Cheon, Changkeun Yoon, Jiho Kim, Jaehun Jeong, Taehun Myung, Changmin Hong, Weonwi Jang, Min-Chul Sun, Sungil Jo, Ju-Youn Kim, Byungmoo Song, Yuri Yasuda-Masuoka, Ja-Hum Ku, Gitae Jeong	Highly Reliable/Manufacturable 4nm FinFET Platform Technology (SF4X) for HPC Application with Dual-CPP/HP-HD Standard Cells.	VLSI Technology and Circuits	2023	DBLP DOI BibTeX RDF
24	Xinshi Zang, Lei Chen 0031, Xing Li, Wilson W. K. Thong, Weihua Sheng, Evangeline F. Y. Young, Martin D. F. Wong	CPP: A Multi-Level Circuit Partitioning Predictor for Hardware Verification Systems.	ACM Great Lakes Symposium on VLSI	2023	DBLP DOI BibTeX RDF
24	Yulei Chen, Jianhua Chen 0002	CPP-CLAS: Efficient and Conditional Privacy-Preserving Certificateless Aggregate Signature Scheme for VANETs.	IEEE Internet Things J.	2022	DBLP DOI BibTeX RDF
24	Jiabang Liu, Xutong Jiang, Song Zhang, Bowen Liu, Wanchun Dou	CPP: A content-aware privacy protection method for location-based service.	Expert Syst. J. Knowl. Eng.	2022	DBLP DOI BibTeX RDF
24	Zongyuan Shen, Junnan Song, Khushboo Mittal, Shalabh Gupta	CT-CPP: Coverage Path Planning for 3D Terrain Reconstruction Using Dynamic Coverage Trees.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
24	Sedat Dogru, Lino Marques	ECO-CPP: Energy constrained online coverage path planning.	Robotics Auton. Syst.	2022	DBLP DOI BibTeX RDF
24	Jiameng Ying, Rui Hou 0001, Lutan Zhao, Fengkai Yuan, Penghui Zhao, Dan Meng	CPP: A lightweight memory page management extension to prevent code pointer leakage.	J. Syst. Archit.	2022	DBLP DOI BibTeX RDF
24	Eko Fajar Cahyadi, Anggun Fitrian Isnawati, Karisma Trinanda Putra, Heri Wijayanto	A Light Reconstruction on CPP-BAT in VANETs.	ICCE-TW	2022	DBLP DOI BibTeX RDF
24	Anders Aaen Springborg, Martin Kaldahl Andersen, Kaare Holland Hattel, Michele Albano	cpp-tiny-client: a secure API client generator for IoT devices.	SAC	2022	DBLP DOI BibTeX RDF
24	Julian Reisch, Peter Großmann	Automatic Refactoring and Compile Time Optimization of Cpp Projects by Directly Including Header Files.	ICCTA	2022	DBLP DOI BibTeX RDF
24	Alireza Shirmarz, Ali Ghaffari	Taxonomy of controller placement problem (CPP) optimization in Software Defined Network (SDN): a survey.	J. Ambient Intell. Humaniz. Comput.	2021	DBLP DOI BibTeX RDF
24	Pirat Khunkitti, Kotchakorn Pituso, Nuttapon Chaiduangsri, Apirat Siritaratiwat	Optimal Sizing of CPP-GMR Read Sensors for Magnetic Recording Densities of 1-4 Tb/in².	IEEE Access	2021	DBLP DOI BibTeX RDF
24	Tsung-Wei Huang, Yibo Lin, Chun-Xun Lin, Guannan Guo, Martin D. F. Wong	Cpp-Taskflow: A General-Purpose Parallel Task Programming System at Scale.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2021	DBLP DOI BibTeX RDF
24	Shengcong Chen, Changxing Ding, Minfeng Liu, Dacheng Tao	CPP-Net: Context-aware Polygon Proposal Network for Nucleus Segmentation.	CoRR	2021	DBLP BibTeX RDF
24	Lucian Trifina, Daniela G. Tarniceriu, Jonghoon Ryu, Ana-Mirela Rotopanescu	Upper bounds on the minimum distance for turbo codes using CPP interleavers.	Telecommun. Syst.	2021	DBLP DOI BibTeX RDF
24	Lucian Trifina, Daniela G. Tarniceriu, Jonghoon Ryu, Ana-Mirela Rotopanescu	Some lengths for which CPP interleavers have weaker minimum distances than QPP interleavers.	J. Frankl. Inst.	2020	DBLP DOI BibTeX RDF
24	Zongyuan Shen, Junnan Song, Khushboo Mittal, Shalabh Gupta	CT-CPP: 3D Coverage Path Planning for Unknown Terrain Reconstruction using Coverage Trees.	CoRR	2020	DBLP BibTeX RDF
24	Tsung-Wei Huang, Dian-Lun Lin, Yibo Lin, Chun-Xun Lin	Cpp-Taskflow v2: A General-purpose Parallel and Heterogeneous Task Programming System at Scale.	CoRR	2020	DBLP BibTeX RDF
24	Lucian Trifina, Daniela G. Tarniceriu, Jonghoon Ryu, Ana-Mirela Rotopanescu	Further upper bounds on the minimum distance for turbo codes using CPP interleavers.	Phys. Commun.	2020	DBLP DOI BibTeX RDF
24	Mahdi Hassan, Dikai Liu, Xiang Chen 0011	Squircular-CPP: A Smooth Coverage Path Planning Algorithm based on Squircular Fitting and Spiral Path.	AIM	2020	DBLP DOI BibTeX RDF
24	Zhaori Cong, Zhilong Zhang, Danpu Liu	CPP-Based Cooperative Defense Against DoS Attacks in Future Non-terrestrial Networks.	ChinaCom	2020	DBLP DOI BibTeX RDF
24	Farnaz Hassanzadeh, Ertan Onur	Content Placement Problem in a Hierarchical Collaborative Caching method for 5G networks (CPP-HCC).	CNSM	2020	DBLP DOI BibTeX RDF
24	Mohammad Sadegh Aliakbarian, Fatemeh Sadat Saleh, Mathieu Salzmann, Lars Petersson, Stephen Gould	Sampling Good Latent Variables via CPP-VAEs: VAEs with Condition Posterior as Prior.	CoRR	2019	DBLP BibTeX RDF
24	Ana Correia, Christian Wolff 0002, Massimiliano Zanin, Ernestina Menasalvas, Elisa A. Herrmann, Victor Corral, Miriam Kachelmann, Rance DeLong, Pavel Smrz	Cross-CPP - An Ecosystem for Provisioning, Consolidating, and Analysing Big Data from Cyber-Physical Products.	CPSS@IOT	2019	DBLP BibTeX RDF
24	Lucian Trifina, Daniela G. Tarniceriu, Ana-Mirela Rotopanescu	Nonlinearity Degree for CPP, 4-PP, and 5-PP Interleavers for Turbo Codes.	ECAI	2019	DBLP DOI BibTeX RDF
24	Tsung-Wei Huang, Chun-Xun Lin, Guannan Guo, Martin D. F. Wong	Cpp-Taskflow: Fast Task-Based Parallel Programming Using Modern C++.	IPDPS	2019	DBLP DOI BibTeX RDF
24	Chaobin Liu, Shuigeng Zhou, Haibo Hu 0001, Yuzhe Richard Tang, Jihong Guan, Yao Ma	CPP: Towards comprehensive privacy preserving for query processing in information networks.	Inf. Sci.	2018	DBLP DOI BibTeX RDF
24	Ferhat Özgür Çatak, Ahmet Fatih Mustacoglu	CPP-ELM: Cryptographically Privacy-Preserving Extreme Learning Machine for Cloud Systems.	Int. J. Comput. Intell. Syst.	2018	DBLP DOI BibTeX RDF
24	Jacob Krüger, Kai Ludwig 0001, Bernhard Zimmermann, Thomas Leich	Physical separation of features: a survey with CPP developers.	SAC	2018	DBLP DOI BibTeX RDF
24	Matthias Springer, Hidehiko Masuhara	Ikra-Cpp: A C++/CUDA DSL for Object-Oriented Programming with Structure-of-Arrays Layout.	WPMVP@PPoPP	2018	DBLP DOI BibTeX RDF
24	Raffaella Calabrese, Marta Degl'Innocenti, Silvia Angela Osmetti	The effectiveness of TARP-CPP on the US banking industry: A new copula-based approach.	Eur. J. Oper. Res.	2017	DBLP DOI BibTeX RDF
24	He Li, Robson Eduardo De Grande, Azzedine Boukerche	An Efficient CPP Solution for Resilience-Oriented SDN Controller Deployment.	IPDPS Workshops	2017	DBLP DOI BibTeX RDF
24	Yufeng Cheng, Meng Wang 0002, Yingfei Xiong 0001, Zhengkai Wu, Yiming Wu, Lu Zhang 0023	Un-preprocessing: Extended CPP that works with your tools.	Internetware	2017	DBLP DOI BibTeX RDF
24	Kuen-Wei Yeh, Jiun-Lang Huang, Laung-Terng Wang	CPP-ATPG: A Circular Pipeline Processing Based Deterministic Parallel Test Pattern Generator.	J. Electron. Test.	2016	DBLP DOI BibTeX RDF
24	Annibal Parracho Sant'Anna, Helder Gomes Costa, Valdecy Pereira	CPP-TRI: a sorting method based on the probabilistic composition of preferences.	Int. J. Inf. Decis. Sci.	2015	DBLP DOI BibTeX RDF
24	Mohamed Boucadair, Christian Jacquenet, Ning Wang 0001	IP Connectivity Provisioning Profile (CPP).	RFC	2014	DBLP DOI BibTeX RDF
24	Farhana Begum, Manash Pratim Sarma, Kandarpa Kumar Sarma, Nikos E. Mastorakis, Cornelia Aida Bulucea	Interference suppression using CPP adaptive notch filters for UWB synchronization in stochastic non-linear channels.	CIComms	2014	DBLP DOI BibTeX RDF
24	Tao Lu, Yongchao Dou, Chi Zhang 0013	Fuzzy clustering of CPP family in plants with evolution and interaction analyses.	BMC Bioinform.	2013	DBLP DOI BibTeX RDF
24	Masayoshi Doi, Kazuhisa Nagamoto, Tetsuya Takehira	A study of ship's mooring method with Controllable Pitch Propeller (CPP) by applying generalized minimum variance control.	ECC	2013	DBLP DOI BibTeX RDF
24	Peter Peresíni, Maciej Kuzniar, Nedeljko Vasic, Marco Canini, Dejan Kostic	OF.CPP: consistent packet processing for openflow.	HotSDN	2013	DBLP DOI BibTeX RDF
24	Qianyi Zhan, Hongchao Yang, Chongjun Wang, Junyuan Xie	CPP-SNS: A Solution to Influence Maximization Problem under Cost Control.	ICTAI	2013	DBLP DOI BibTeX RDF
24	Lori Emerson	discourse.cpp O.S. le Si (edited by Aurélie Herbelot) University of Cambridge Berlin: Peer Press, 2011, 55 pp; paperbound, ISBN 978-3-00-33516-7, €9.00, or free on-line at peerpress.de/discoursecpp.pdf.	Comput. Linguistics	2012	DBLP DOI BibTeX RDF
24	Jau-Chuan Ke, Yunn-Kuang Chu, Y.-T. Chung, P. C. Lin	Assessing non-normally distributed processes by interval estimation of the incapability index Cpp.	Qual. Reliab. Eng. Int.	2009	DBLP DOI BibTeX RDF
24	Pablo Spiga, Qiang Wang 0012	An answer to Hirasaka and Muzychuk: Every p-Schur ring over Cpp is Schurian.	Discret. Math.	2008	DBLP DOI BibTeX RDF
24	Peter Bodorik, Dawn N. Jutla, Mike Xuehai Wang	Consistent privacy preferences (CPP): model, semantics, and properties.	SAC	2008	DBLP DOI BibTeX RDF	P3P agent, rule-set consistency, semantic web privacy, user privacy control, consistency, P3P, privacy preferences
24	Yu-Hao Chang, Shang-Ho Tsai, Xiaoli Yu, C.-C. Jay Kuo	Performance Enhancement of Channel-Phase Precoded Ultra-Wideband (CPP-UWB) Systems by Rake Receivers.	GLOBECOM	2008	DBLP DOI BibTeX RDF
24	Chao-Yu Chou, Yu-Chang Lin, Chun-Lang Chang, Chung-Ho Chen	On the bootstrap confidence intervals of the process incapability index Cpp.	Reliab. Eng. Syst. Saf.	2006	DBLP DOI BibTeX RDF
24	Satwinder Singh, Karanjeet Singh Kahlon, Rakesh Kumar, Gurjeet Singh	Translator Design to Model Cpp Files.	WEC (5)	2005	DBLP BibTeX RDF
24	Jon Peterson	Common Profile for Presence (CPP).	RFC	2004	DBLP DOI BibTeX RDF
24	Peter G. Harrison	The MM CPP/GE/c G-Queue: Sojourn Time Distribution.	Queueing Syst. Theory Appl.	2002	DBLP DOI BibTeX RDF
24	Wen Lea Pearn, C. H. Ko, K. H. Wang	A multiprocess performance analysis chart based on the incapability index Cpp: an application to the chip resistors.	Microelectron. Reliab.	2002	DBLP DOI BibTeX RDF
24	Romeo Rizzi	Cycle cover property and CPP=SCC property are not equivalent.	Discret. Math.	2002	DBLP DOI BibTeX RDF
24	Ram Chakka, Peter G. Harrison	A Markov modulated multi-server queue with negative customers - The MM CPP/GE/c/L G-queue.	Acta Informatica	2001	DBLP DOI BibTeX RDF
24	Marco Porta	A Mobile Robot Multimedia Interaction System Based on CPP-TRS Methodology and Language.	AI Commun.	1997	DBLP BibTeX RDF
20	Steven Schäfer, Sigurd Schneider, Gert Smolka	Axiomatic semantics for compiler verification.	CPP	2016	DBLP DOI BibTeX RDF
20	Tahina Ramananandro, Paul Mountcastle, Benoît Meister, Richard Lethin	A unified Coq framework for verifying C programs with floating-point computations.	CPP	2016	DBLP DOI BibTeX RDF
20	Peter Lammich	Refinement based verification of imperative data structures.	CPP	2016	DBLP DOI BibTeX RDF
20	Floris van Doorn	Constructing the propositional truncation using non-recursive HITs.	CPP	2016	DBLP DOI BibTeX RDF
20	Nathan Fulton, André Platzer	A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics.	CPP	2016	DBLP DOI BibTeX RDF
20	Sandrine Blazy, Alix Trieu	Formal verification of control-flow graph flattening.	CPP	2016	DBLP DOI BibTeX RDF
20	René Thiemann, Akihisa Yamada 0002	Formalizing jordan normal forms in Isabelle/HOL.	CPP	2016	DBLP DOI BibTeX RDF
20	Michel St-Martin, Amy P. Felty	A verified algorithm for detecting conflicts in XACML access control rules.	CPP	2016	DBLP DOI BibTeX RDF
20	Arthur Charguéraud	Higher-order representation predicates in separation logic.	CPP	2016	DBLP DOI BibTeX RDF
20	Doug Woos, James R. Wilcox, Steve Anton, Zachary Tatlock, Michael D. Ernst, Thomas E. Anderson	Planning for change in a formal verification of the raft consensus protocol.	CPP	2016	DBLP DOI BibTeX RDF