Results 21 to 30 of about 23,557 (297)

Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
Behavioral synthesis involves compiling an Electronic System-Level (ESL) design into its Register-Transfer Level (RTL) implementation. Loop pipelining is one of the most critical and complex transformations employed in behavioral synthesis.
Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie   +3 more
doaj   +1 more source

Range Analysis of Binaries with Minimal Effort [PDF]

, 1992
COTS components are ubiquitous in military, industrial and governmental systems. However, the bene?fits of reduced development and maintainance costs are compromised by security concerns.
Barrett, Edd, King, Andy
core   +1 more source

Grouping based calculus for propositional linear temporal logic

Lietuvos Matematikos Rinkinys
In this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the ...
Kostas Ragauskas, Adomas Birštunas
doaj   +3 more sources

Efficient Enumeration of Higher Order Algebraic Structures

IEEE Access, 2020
Algebraic structures are widely studied mathematical structures in abstract algebra. Enumerating higher order algebraic structures is a computationally intensive task due to large number of possible permutations and the presence of many symmetrically ...
Majid Ali Khan
doaj   +1 more source

Robust Stability Analysis of Unstable Second Order Plus Time-Delay (SOPTD) Plant by Fractional-Order Proportional Integral (FOPI) Controllers

Mathematics, 2022
This study investigates the robust stability analysis of an unstable second order plus time-delay (SOPTD) plant by using Fractional-Order Proportional Integral (FOPI) controllers.
Marzieh Asadi, Arash Farnam, Hamed Nazifi, Sam Roozbehani, Guillaume Crevecoeur   +4 more
doaj   +1 more source

Method of marks for propositional linear temporal logic

Lietuvos Matematikos Rinkinys, 2014
It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj   +1 more source

SPEEDY: An Eclipse-based IDE for invariant inference [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
SPEEDY is an Eclipse-based IDE for exploring techniques that assist users in generating correct specifications, particularly including invariant inference algorithms and tools.
David R. Cok, Scott C. Johnson
doaj   +1 more source

Adaptive Tracking PID and FOPID Speed Control of an Elastically Attached Load Driven by a DC Motor at Almost Step Disturbance of Loading Torque and Parametric Excitation

Applied Sciences, 2021
Adaptive tracking control of the speed of a very elastically attached circular load driven by a direct current motor accompanied with an adaptive conventional and a fractional-order Proportional Integral Derivative (PID) controller is studied.
Paweł Olejnik, Paweł Adamski, Damian Batory, Jan Awrejcewicz   +3 more
doaj   +1 more source

A specialization of definitions in common knowledge logic

Lietuvos Matematikos Rinkinys, 2011
It is known that one of main aims of specializations of derivations in nonclassical logics is the various tools which allow us to simplify the searching of termination of derivations.
Aurimas Paulius Girčys, Regimantas Pliuškevičius   +1 more
doaj   +1 more source

Constant-time quantum algorithm for homology detection in closed curves

SciPost Physics, 2023
Given a loop or more generally 1-cycle $r$ of size L on a closed two-dimensional manifold or surface, represented by a triangulated mesh, a question in computational topology asks whether or not it is homologous to zero.
Nhat A. Nghiem Vu, Xianfeng David Gu, Tzu-Chieh Wei
doaj   +1 more source