Search results for "CLPS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
97	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A constraint solver to animate a B specification.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints
70	Bruno Legeard, Emmanuel Legros	Short Overview of the CLPS System.	PLILP	1991	DBLP DOI BibTeX RDF	Key-Words Logic Programming, set languages, constraints, Prolog, CLPS
64	Rathijit Sen, Y. N. Srikant	Executable Analysis using Abstract Interpretation with Circular Linear Progressions.	MEMOCODE	2007	DBLP DOI BibTeX RDF
64	Changkyu Kim, Simha Sethumadhavan, M. S. Govindan, Nitya Ranganathan, Divya Gulati, Doug Burger, Stephen W. Keckler	Composable Lightweight Processors.	MICRO	2007	DBLP DOI BibTeX RDF
64	Arul D. Murugan, Hesham El Gamal, Mohamed Oussama Damen, Giuseppe Caire	A unified framework for tree search decoding: rediscovering the sequential decoder.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
55	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A Constraint Solver for B.	TACAS	2002	DBLP DOI BibTeX RDF	Evaluation of specifications, Animation, CSP, B Method, Set constraints, CLP
42	Cheolsu Son, Namhyun Yoo, Wonjung Kim	Positioning System using Dynamic Location-convergence Adjustment Factor for Wireless LAN Infrastructures.	CIT	2006	DBLP DOI BibTeX RDF
42	Qinghe Du, Xi Zhang 0005	Cross-Layer Resource-Consumption Optimization for Mobile Multicast in Wireless Networks.	WOWMOM	2006	DBLP DOI BibTeX RDF	wireless networks, cross-layer design, adaptive modulation, mobile multicast
42	Qinghe Du, Xi Zhang 0005	Cross-Layer Resource-Consumption Optimization for Mobile Multicast in Wireless Networks.	WOWMOM	2006	DBLP DOI BibTeX RDF	wireless networks, cross-layer design, adaptive modulation, mobile multicast
42	Pierre Lim, Peter J. Stuckey	A Constraint Logic Programming Shell.	PLILP	1990	DBLP DOI BibTeX RDF
34	Ning Wang, Jian-Guo Gao, Ming-Wei Wu	Molecular docking and molecular simulation studies for N-degron selectivity of chloroplastic ClpS from Chlamydomonas reinhardtii.	Comput. Biol. Chem.	2023	DBLP DOI BibTeX RDF
34	Julie Schonfeld	Summary of the Contracted Deliveries of NASA Payloads to the Moon Via Commercial Lunar Payload Services (CLPS).	SMC	2023	DBLP DOI BibTeX RDF
34	Ines Khacheba, Mohamed Bachir Yagoubi, Nasreddine Lagraa, Abderrahmane Lakas	CLPS: context-based location privacy scheme for VANETs.	Int. J. Ad Hoc Ubiquitous Comput.	2018	DBLP DOI BibTeX RDF
34	Fei Tao, Ying Feng, Lin Zhang 0009, T. Warren Liao	CLPS-GA: A case library and Pareto solution-based hybrid genetic algorithm for energy-aware cloud service scheduling.	Appl. Soft Comput.	2014	DBLP DOI BibTeX RDF
34	Xiaobing Sun 0001, Bixin Li, Wanzhi Wen	CLPS-MFL: Using Concept Lattice of Program Spectrum for Effective Multi-fault Localization.	QSIC	2013	DBLP DOI BibTeX RDF
34	Fabrice Ambert, Bruno Legeard, Hamza Zidoum	CLPS : un langage de PLC ensembliste.	JFPLC	1995	DBLP BibTeX RDF
34	Bruno Legeard, Emmanuel Legros	Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS.	JFPL	1992	DBLP BibTeX RDF
21	K. Subramani 0001	On a decision procedure for quantified linear programs.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68W05, 68Q17, 90C05, 68W40
21	Wun-She Yap, Swee-Huay Heng, Bok-Min Goi	Cryptanalysis of Some Proxy Signature Schemes Without Certificates.	WISTP	2007	DBLP DOI BibTeX RDF	attack, Proxy signature, identity-based, certificateless
21	Saied M. Abd El-atty	Efficient Packet Scheduling with Pre-defined QoS using Cross-Layer Technique in Wireless Networks.	ISCC	2006	DBLP DOI BibTeX RDF
21	Stijn Heymans, Dirk Vermeir	Integrating Description Logics and Answer Set Programming.	PPSWR	2003	DBLP DOI BibTeX RDF
21	Marina De Vos, Dirk Vermeir	Dynamically Ordered Probabilistic Choice Logic Programming.	FSTTCS	2000	DBLP DOI BibTeX RDF