Search results for "CPP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Harvey M. Friedman	Perspectives on formal verification (invited talk).	CPP	2016	DBLP DOI BibTeX RDF
20	Cyril Cohen, Boris Djalal	Formalization of a newton series representation of polynomials.	CPP	2016	DBLP DOI BibTeX RDF
20	Evgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov	The vampire and the FOOL.	CPP	2016	DBLP DOI BibTeX RDF
20	Lukasz Czajka 0001	Improving automation in interactive theorem provers by efficient encoding of lambda-abstractions.	CPP	2016	DBLP DOI BibTeX RDF
20	Vincent Rahli, Mark Bickford	A nominal exploration of intuitionism.	CPP	2016	DBLP DOI BibTeX RDF
20	Leonardo Mendonça de Moura	Dependent type practice (invited talk).	CPP	2016	DBLP DOI BibTeX RDF
20	Cezary Kaliszyk, Karol Pak, Josef Urban	Towards a mizar environment for isabelle: foundations and language.	CPP	2016	DBLP DOI BibTeX RDF
20	Johannes Åman Pohjola, Joachim Parrow	Bisimulation up-to techniques for psi-calculi.	CPP	2016	DBLP DOI BibTeX RDF
20	Sophie Bernard, Yves Bertot, Laurence Rideau, Pierre-Yves Strub	Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials.	CPP	2016	DBLP DOI BibTeX RDF
20	Jeremy Avigad, Adam Chlipala (eds.)	Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016	CPP	2016	DBLP BibTeX RDF
20	Wenda Li, Lawrence C. Paulson	A modular, efficient formalisation of real algebraic numbers.	CPP	2016	DBLP DOI BibTeX RDF
16	Ares Lagae, Sylvain Lefebvre 0001, George Drettakis, Philip Dutré	Procedural noise using sparse Gabor convolution.	ACM Trans. Graph.	2009	DBLP DOI BibTeX RDF	noise, rendering, shading, procedural texture
16	Janet Feigenspan, Christian Kästner, Sven Apel, Thomas Leich	How to compare program comprehension in FOSD empirically: an experience report.	FOSD	2009	DBLP DOI BibTeX RDF	CIDE, FOSD, program comprehension, empirical software engineering, preprocessors
16	Stan Jarzabek, Hongyu Zhang 0002, Youpeng Lee, Yinxing Xue, Naveed Shaikh	Increasing usability of preprocessing for feature management in product lines with queries.	ICSE Companion	2009	DBLP DOI BibTeX RDF
16	Baolin Sun, Wenxiang Wang, Qianqing Qi	Satellites Scheduling Algorithm Based on Dynamic Constraint Satisfaction Problem.	CSSE (4)	2008	DBLP DOI BibTeX RDF
16	Hiroyuki Okamura, Yuya Kamahara, Tadashi Dohi	Estimating Markov-modulated compound Poisson processes.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	Markov-modulated compound Poisson process, compound Markovian arrival process, EM algorithm, maximum likelihood estimation, uniformization
16	Tien Van Do 0001, Ram Chakka, Peter G. Harrison	An integrated analytical model for computation and comparison of the throughputs of the UMTS/HSDPA user equipment categories.	MSWiM	2007	DBLP DOI BibTeX RDF	generalised markovian queue, hsdpa terminal category, mmcpp, performance evaluation
16	Yulei Wu, Geyong Min, Lan Wang	Performance Analysis of Interconnection Networks Under Bursty and Batch Arrival Traffic.	ICA3PP	2007	DBLP DOI BibTeX RDF	Compound Poisson Process, Parallel Processing, Interconnection Networks, Multicomputers, Virtual Channels
16	Bo Jiang, Xiaoying Shi, Zhibang Xu	A Novel Approach Model for Chinese Postman Problem.	ICIC (3)	2006	DBLP DOI BibTeX RDF
16	X. Liu, J. Zhang	A Capacitated Production Planning with Outsourcing: A General Model and Its Algorithm.	ICIC (1)	2006	DBLP DOI BibTeX RDF
16	Wen-Ta Chiu, Yuh-Shan Ho	Bibliometric analysis of homeopathy research during the period of 1991 to 2003.	Scientometrics	2005	DBLP DOI BibTeX RDF
16	Rami Beidas, Jianwen Zhu	Scalable interprocedural register allocation for high level synthesis.	ASP-DAC	2005	DBLP DOI BibTeX RDF
16	Wenfeng He, Wei Ma, Hongbin Zha	Automatic Registration of Range Images Based on Correspondence of Complete Plane Patches.	3DIM	2005	DBLP DOI BibTeX RDF
16	Vassilios A. Chouliaras, Vincent M. Dwyer, Shahrukh Agha	On the Performance Improvement of Sub-sampling MPEG-2 Motion Estimation Algorithms with Vector/SIMD Architectures.	ACIVS	2005	DBLP DOI BibTeX RDF
16	Peter J. Murphy	Rahmonic Analysis of Signal Regularity in Synthesized and Human Voice.	WNSP	2005	DBLP DOI BibTeX RDF
16	Nicola Gessa, Cristiano Novelli, Massimo Busuoli, Fabio Vitali	Use and Extension of ebXML Business Profiles for Textile/Clothing Firms.	EC-Web	2004	DBLP DOI BibTeX RDF
16	Anthony J. Macula	Trivial Two-Stage Group Testing with High Error Rates.	J. Comb. Optim.	2003	DBLP DOI BibTeX RDF	nonadaptive, non-adaptive, error-correcting, group testing, two-stage algorithm
16	Symon Chang, Qiming Chen, Meichun Hsu	Managing Security Policy in a Large Distributed Web Services Environment.	COMPSAC	2003	DBLP DOI BibTeX RDF
16	Jeremiah Willcock, Andrew Lumsdaine, Arch D. Robison	Using MPI with C# and the common language infrastructure.	Java Grande	2002	DBLP DOI BibTeX RDF	common language infrastructure (CLI), parallel computing, message passing interface (MPI), C#, NET
16	Bernt Kullbach, Volker Riediger	Folding: An Approach to Enable Program Understanding of Preprocessed Languages.	WCRE	2001	DBLP DOI BibTeX RDF
16	Johan Cockx	Efficient Modeling of Preemption in a Virtual Prototype.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	Modeling, C++, Virtual Prototype, Real-Time Operating System, Preemption
16	Jean-Marie Favre	Preprocessors from an Abstract Point of View.	ICSM	1996	DBLP DOI BibTeX RDF
16	Daniel Weise, Roger F. Crew	Programmable Syntax Macros.	PLDI	1993	DBLP DOI BibTeX RDF	C