Search results for "FP2"

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.	PARLE (1)	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.	PARLE (1)	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).		1986	RDF
48	Wolfgang Ertel, Franz J. Kurfess, Reinhold Letz, Xavier Pandolfi	PARTHEO: A Parallel Inference Machine.	PARLE (1)	1989	DBLP DOI BibTeX RDF
32	Thang Pham, Steven Senger, The Dung Tran	Distribution of pinned distance trees in the plane Fp2.	Discret. Math.	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.	ProvSec	2022	DBLP DOI BibTeX RDF
32	Jim Brown, Beren Gunsolus, Jeremy Lilly, Felice Manganiello	Hilbert modular forms and codes over Fp2.	Finite Fields Their Appl.	2020	DBLP DOI BibTeX RDF
32	Claire Delaplace, Alexander May 0001	Can we Beat the Square Root Bound for ECDLP over Fp2 via Representations?	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
32	Yalong Pang, Ying Zhang, Jun Han 0003, Xiaoyang Zeng	Fp2 arithmetic acceleration based on modified Barrett modular multiplication algorithm.	ASICON	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.	J. Medical Syst.	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.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
32	Greg Martin, Alexis Peilloux, Erick B. Wong	Lower Bounds for Sumsets of Multisets in Fp2.	Integers	2013	DBLP BibTeX RDF
32	Zoubir Belmesk	An efficient implementation model for the FP2 parallel language.	J. Syst. Softw.	1993	DBLP DOI BibTeX RDF
32	Tzvetan T. Drashansky, Atanas Radensky	Parallelism in Backus-like FP-Systems: An Approach Based on the FP2 Language.	AIMSA	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.	Advanced Course: Fundamentals of Artificial Intelligence	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.	European Conference on Computer Algebra (2)	1985	DBLP DOI BibTeX RDF
32	Philippe Jorrand	FP2: Functional Parallel Programming Based on Term Substitution.	AIMSA	1984	DBLP BibTeX RDF
24	Akira Nukada, Yuichiro Hourai, Akira Nishida, Yutaka Akiyama	High Performance 3D Convolution for Protein Docking on IBM Blue Gene.	ISPA	2007	DBLP DOI BibTeX RDF
24	Micah Adler, Neil Immerman	An n! lower bound on formula size.	ACM Trans. Comput. Log.	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).	ISSAC	1990	DBLP DOI BibTeX RDF
24	Philippe Schnoebelen	Rewriting Techniques for the Temporal Analysis of Communicating Processes.	PARLE (2)	1987	DBLP DOI BibTeX RDF