|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
109 | Philippe Jorrand |
Design and Implementaion of a Parallel Inference Machine for First Order Logic: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 434-445, 1987, Springer, 3-540-17943-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
parallel inference, FP2, parallel programming, logic programming, program transformation, parallel machines, communicating processes, connection method |
104 | Peter Schäfer, Philippe Schnoebelen |
Specification of a Pipelined Event Driven Simulator using FP2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE, Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 311-328, 1987, Springer, 3-540-17943-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
64 | Sylvie Rogé |
Comparaison des comportements des processus communicants : application au langage FP2. (Comparison of communicating process behaviours: application to the language FP2). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1986 |
RDF |
|
48 | Wolfgang Ertel, Franz J. Kurfess, Reinhold Letz, Xavier Pandolfi |
PARTHEO: A Parallel Inference Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE '89: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings, pp. 458-476, 1989, Springer, 3-540-51284-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
32 | Thang Pham, Steven Senger, The Dung Tran |
Distribution of pinned distance trees in the plane Fp2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 346(12), pp. 113613, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Zhaobo Lu, Yilei Wang, Qingzhe Lv, Minghao Zhao 0001, Tiancai Liang |
FP2-MIA: A Membership Inference Attack Free of Posterior Probability in Machine Unlearning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ProvSec ![In: Provable and Practical Security - 16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022, Proceedings, pp. 167-175, 2022, Springer, 978-3-031-20916-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
32 | Jim Brown, Beren Gunsolus, Jeremy Lilly, Felice Manganiello |
Hilbert modular forms and codes over Fp2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite Fields Their Appl. ![In: Finite Fields Their Appl. 67, pp. 101731, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Claire Delaplace, Alexander May 0001 |
Can we Beat the Square Root Bound for ECDLP over Fp2 via Representations? ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 800, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
32 | Yalong Pang, Ying Zhang, Jun Han 0003, Xiaoyang Zeng |
Fp2 arithmetic acceleration based on modified Barrett modular multiplication algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASICON ![In: 12th IEEE International Conference on ASIC, ASICON 2017, Guiyang, China, October 25-28, 2017, pp. 561-564, 2017, IEEE, 978-1-5090-6625-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
32 | Chin-Feng Lin, Jiun-Yi Su, Hao-Min Wang |
Hilbert-Huang Transformation Based Analyses of FP1, FP2, and Fz Electroencephalogram Signals in Alcoholism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Medical Syst. ![In: J. Medical Syst. 39(9), pp. 83:1-83:8, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Michal Wronski |
Faster arithmetic on elliptic curves using Fp2. Application to GLV-GLS and NIST elliptic curves over Fp isomorphic to twisted Hessian curves over fields extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2015, pp. 1114, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
32 | Greg Martin, Alexis Peilloux, Erick B. Wong |
Lower Bounds for Sumsets of Multisets in Fp2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integers ![In: Integers 13, pp. A72, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
32 | Zoubir Belmesk |
An efficient implementation model for the FP2 parallel language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 21(1), pp. 89-101, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
32 | Tzvetan T. Drashansky, Atanas Radensky |
Parallelism in Backus-like FP-Systems: An Approach Based on the FP2 Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990, pp. 199-208, 1990, North-Holland, 0-444-88771-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
32 | Philippe Jorrand |
Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language. A case study: the language FP2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Course: Fundamentals of Artificial Intelligence ![In: Fundamentals of Artificial Intelligence: An Advanced Course, held in Vignieu, France, July 1985, pp. 221-276, 1985, Springer, 3-540-16782-X. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
32 | Ricardo Caferra, Philippe Jorrand |
Unification in Parallel with Refined Linearity Test: An Example of Recursive Network Structure in FP2, A Functional Parallel Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (2) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp. 539-540, 1985, Springer, 3-540-15984-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
32 | Philippe Jorrand |
FP2: Functional Parallel Programming Based on Term Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, Applications - Proceedings of the International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1984, Varna, Bulgaria, September 17-20, 1984, pp. 95-112, 1984, North-Holland, 0-444-87743-6. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
24 | Akira Nukada, Yuichiro Hourai, Akira Nishida, Yutaka Akiyama |
High Performance 3D Convolution for Protein Docking on IBM Blue Gene. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, 5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings, pp. 958-969, 2007, Springer, 978-3-540-74741-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Micah Adler, Neil Immerman |
An n! lower bound on formula size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 4(3), pp. 296-314, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
lower bounds, temporal logic, Descriptive complexity |
24 | Ferroudj Cherief |
An Algebraic Model for the Parallel Interpretation of Equationally Defined Functions (abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '90, Tokyo, Japan, August 20-24, 1990, pp. 285, 1990, ACM, 0-201-54892-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Philippe Schnoebelen |
Rewriting Techniques for the Temporal Analysis of Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 402-419, 1987, Springer, 3-540-17945-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|