Intermittent-assertion method as a structural induction
Karel Vosátka (1979)
Kybernetika
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Karel Vosátka (1979)
Kybernetika
Similarity:
Marcin Pietroń, Paweł Russek, Kazimierz Wiatr (2010)
International Journal of Applied Mathematics and Computer Science
Similarity:
This paper presents research on FPGA based acceleration of HPC applications. The most important goal is to extract a code that can be sped up. A major drawback is the lack of a tool which could do it. HPC applications usually consist of a huge amount of a complex source code. This is one of the reasons why the process of acceleration should be as automated as possible. Another reason is to make use of HLLs (High Level Languages) such as Mitrion-C (Mohl, 2006). HLLs were invented to make...
Karel Beneš (1989)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
Aleš Drápal (2000)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Let be a diassociative A-loop which is centrally nilpotent of class 2 and which is not a group. Then the factor over the centre cannot be an elementary abelian 2-group.
Tèmítọ́pẹ́ Gbọ́láhàn Jaíyéiọlá, Bolaji Ajibola Popoola (2015)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
The notion of the holomorph of a generalized Bol loop (GBL) is characterized afresh. The holomorph of a right inverse property loop (RIPL) is shown to be a GBL if and only if the loop is a GBL and some bijections of the loop are right (middle) regular. The holomorph of a RIPL is shown to be a GBL if and only if the loop is a GBL and some elements of the loop are right (middle) nuclear. Necessary and sufficient conditions for the holomorph of a RIPL to be a Bol loop are deduced. Some...