Search Results - Synchronous concurrent algorithms
-
1
Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
ISSN: 0096-3003, 1873-5649Published: Amsterdam Elsevier Inc 15.10.2009Published in Applied mathematics and computation (15.10.2009)“…A synchronous concurrent algorithm (SCA) is a parallel deterministic algorithm based on a network of modules and channels, computing and communicating data in parallel, and synchronised by a global clock with discrete time…”
Get full text
Journal Article Conference Proceeding -
2
Continuity of operators on continuous and discrete time streams
ISSN: 0304-3975, 1879-2294Published: Oxford Elsevier B.V 20.06.2011Published in Theoretical computer science (20.06.2011)“…), and those based on discrete time (used in concurrent algorithms). The networks are both governed by global clocks and together model a huge range of systems…”
Get full text
Journal Article -
3
Use of synchronous concurrent algorithms in the development of safety related software
ISBN: 9780355819885, 0355819880Published: ProQuest Dissertations & Theses 01.01.2005“…This thesis investigates the use of Synchronous Concurrent Algorithms (SCAs) in the development of safety related software, where a stricter adherence to mathematical correctness is required…”
Get full text
Dissertation -
4
A mathematical theory of synchronous concurrent algorithms
Published: ProQuest Dissertations & Theses 01.01.1987“…A synchronous concurrent algorithm is an algorithm that is described as a network of intercommunicating processes or modules whose concurrent actions are synchronised with respect to a global clock…”
Get full text
Dissertation -
5
A Real Time Node Connectivity Algorithm for Synchronous Cyber Physical and IoT Network Systems
ISSN: 1558-058XPublished: IEEE 28.03.2020Published in Proceedings of IEEE Southeastcon (28.03.2020)“… . In this paper, we propose a new algorithm to compute the connectivity metric for every node of a synchronous network so that each node can compute the value of its own connectivity…”
Get full text
Conference Proceeding -
6
Research on the optimum synchronous network search data extraction based on swarm intelligence algorithm
ISSN: 0167-739X, 1872-7115Published: Elsevier B.V 01.12.2021Published in Future generation computer systems (01.12.2021)“…Existing synchronous network search data extraction techniques suffer from load unbalance in the face of increasing number of concurrent users…”
Get full text
Journal Article -
7
Multi-Node Collaborative Resource Allocation Method for Concurrent Tasks
ISSN: 2771-7372Published: IEEE 28.10.2022Published in Proceedings of ... IEEE International Conference on Unmanned Systems (Online) (28.10.2022)“… Therefore, this paper introduces the idea of time-division multiplexing and proposes a time resource allocation algorithm for concurrent tasks oriented to multi-node synchronous cooperation…”
Get full text
Conference Proceeding -
8
Concurrent constant modulus algorithm and decision directed scheme for synchronous DSCDMA equalisation
ISBN: 9780780394032, 0780394038ISSN: 2373-0803Published: IEEE 2005Published in IEEE/SP 13th Workshop on Statistical Signal Processing, 2005 (2005)“…In this paper, we derive a concurrent constant modulus algorithm (CMA) and decision directed (DD…”
Get full text
Conference Proceeding -
9
pSyncPIM: Partially Synchronous Execution of Sparse Matrix Operations for All-Bank PIM Architectures
Published: IEEE 29.06.2024Published in 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA) (29.06.2024)“… To accelerate such sparse matrix applications, this paper proposes a partially synchronous execution on sparse matrix-vector multiplication (SpMV…”
Get full text
Conference Proceeding -
10
Hierarchical reconstructions of cardiac tissue
ISSN: 0960-0779, 1873-2887Published: Elsevier Ltd 01.06.2002Published in Chaos, solitons and fractals (01.06.2002)“… We use a general theory of synchronous concurrent algorithms to model spatially extended biological systems, and expand the theory to create hierarchical models by relating observable behaviour at different levels…”
Get full text
Journal Article Conference Proceeding -
11
Nonlinear science — The impact of biology
ISSN: 0016-0032, 1879-2693Published: Elsevier Ltd 01.09.1997Published in Journal of the Franklin Institute (01.09.1997)“…Nonlinear science has primarily developed from applications of mathematics to physics. The biological sciences are emerging as the dominant growth points of…”
Get full text
Journal Article -
12
Online Synchronous Policy Iteration based on Concurrent Learning to solve continuous-time optimal control problem
ISSN: 2164-4357Published: IEEE 01.04.2015Published in International Conference on Information Science and Technology (01.04.2015)“…In this paper, a novel online Synchronous Policy Iteration algorithm based on Concurrent Learning (CLSPI…”
Get full text
Conference Proceeding -
13
Concurrent Optimization for Selection and Control of AC Servomotors on the Powertrain of Industrial Robots
ISSN: 2169-3536, 2169-3536Published: Piscataway IEEE 01.01.2018Published in IEEE access (01.01.2018)“… In this paper, a concurrent multi-objective dynamic optimization method is proposed for optimal selection and control of synchronous ac servomotors…”
Get full text
Journal Article -
14
Concurrent satellite and ground-based lightning observations from the Optical Lightning Imaging Sensor (ISS-LIS), the low-frequency network Meteorage and the SAETTA Lightning Mapping Array (LMA) in the northwestern Mediterranean region
ISSN: 1867-8548, 1867-1381, 1867-8548Published: Katlenburg-Lindau Copernicus GmbH 20.02.2020Published in Atmospheric measurement techniques (20.02.2020)“…) on the International Space Station (ISS), which applies an optical technique similar to MTG-LI, to concurrent records of the low-frequency (LF…”
Get full text
Journal Article -
15
Concurrent co-location maneuver planning for geostationary satellites
ISSN: 0094-5765, 1879-2030, 1879-2030Published: Elmsford Elsevier Ltd 01.10.2019Published in Acta astronautica (01.10.2019)“…This paper details the development of a planning algorithm for multiple co-located geostationary satellites to perform station keeping and momentum unloading maneuvers concurrently…”
Get full text
Journal Article -
16
Routing of asynchronous Clos networks
ISSN: 1751-8601, 1751-861XPublished: Stevenage John Wiley & Sons, Inc 01.11.2011Published in IET computers & digital techniques (01.11.2011)“… It is compared with the classic synchronous concurrent round-robin dispatching (CRRD) algorithm in unbuffered Clos networks…”
Get full text
Journal Article -
17
Concurrent Station Keeping and Momentum Management of Geostationary Satellites
ISSN: 0021-9142, 2195-0571Published: New York Springer US 15.09.2019Published in The Journal of the astronautical sciences (15.09.2019)“… The proposed optimization algorithm incorporates a dual-rate prediction model to address the time scaling difference between the coupled slow orbital and fast attitude dynamics…”
Get full text
Journal Article -
18
Novel specification tests for synchronous additive concurrent model formulation based on martingale difference divergence
ISSN: 1133-0686, 1863-8260Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.09.2023Published in Test (Madrid, Spain) (01.09.2023)“…This paper presents new specification tests for a general synchronous additive concurrent model formulation…”
Get full text
Journal Article -
19
Programming Parallelism on FPGAs with Eclat
ISSN: 0885-7458, 1573-7640Published: New York Springer US 01.08.2025Published in International journal of parallel programming (01.08.2025)“…Eclat is a general-purpose OCaml -like programming language with synchronous semantics for designing reactive hardware applications on FPGAs…”
Get full text
Journal Article -
20
An Asynchronous Routing Algorithm for Clos Networks
ISBN: 1424472660, 9781424472666ISSN: 1550-4808Published: IEEE 01.06.2010Published in 2010 10th International Conference on Application of Concurrency to System Design (01.06.2010)“… As the major sub-algorithm controlling the first two stages, the asynchronous dispatching algorithm outperforms the synchronous concurrent round-robin dispatching algorithm in behaviour level simulations…”
Get full text
Conference Proceeding

