|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 19 keywords
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
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 |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|