Search Results - specification of synchronous concurrent algorithms

Novel specification tests for synchronous additive concurrent model formulation based on martingale difference divergence by Freijeiro-González, Laura, Febrero-Bande, Manuel, González-Manteiga, Wenceslao

“…This paper presents new specification tests for a general synchronous additive concurrent model formulation…”
Get full text

Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms by Thompson, B.C., Tucker, J.V., Zucker, J.I.

“…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

A hierarchical and concurrent approach for IEC 61499 function blocks by Shaw, G.D., Roop, P.S., Salcic, Z.

“… State machines from synchronous languages, however, have hierarchy and concurrent constructs to aid the developer…”
Get full text

POSET timing and its application to the synthesis and verification of gate-level timed circuits by Myers, C.J., Rokicki, T.G., Meng, T.H.-Y.

“…This paper presents a new algorithm for timed state-space exploration, POSET timing, POSET timing improves upon geometric methods by utilizing concurrency and causality information to dramatically…”
Get full text

Parameterized verification of systems with component identities, using view abstraction by Lowe, Gavin

“…; all components within a family are symmetric to one another. Processes communicate via synchronous message passing…”
Get full text

Specification and validation of control-intensive IC's in hopCP by Akella, V., Gopalakrishnan, G.

“… These IC's have to support a wide variety of requirements including synchronous and asynchronous operations, polling and interrupt driven modes of operation, multiple concurrent threads of execution…”
Get full text

A mathematical theory of synchronous concurrent algorithms by Thompson, B.C

“…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

A synchronous and asynchronous mode algorithm in an industrial LAN based distributed communication system by Garcia, V.G., Gonzalez, O., Alvarez, F., Vazquez, E., Alvarez-Campana, M.

“… In these systems problems turn up with time management, coexistence of different intelligent devices that work in real time, compatibility of synchronous and asynchronous operation modes, concurrent…”
Get full text

From design-time concurrency to effective implementation parallelism: The multi-clock reactive case by Papailiopoulou, V., Potop-Butucaru, D., Sorel, Y., de Simone, R., Besnard, L., Talpin, J.

“… parallelism in the functional specification, which is then used to allow the generation of concurrent (multi-thread) code for parallel, possibly distributed implementations…”
Get full text

Asynchronous implementation of synchronous Esterel specifications by Mitra, R.S., Bhattacharya, B., Lavagno, L.

“…The synchrony hypothesis of Esterel demands the generation of a single monolithic FSM from the specifications…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II by Vojnar, Tomás, Zhang, Lijun

Get full text

Regions of Petri nets with a/sync connections by Kleijn, Jetty, Koutny, Maciej, Pietkiewicz-Koutny, Marta

“…Automated synthesis from behavioural specifications, such as transition systems, is an attractive way of constructing correct concurrent systems…”
Get full text

Concurrency Model for Distributed Systems by Kim, Myungchul, Chanson, Samuel T., Vuong, Son T.

“… specifications at a high-level abstraction that is useful for understanding concurrent behaviors…”
Get full text

Synthesis of synchronous pipelined circuits from high-level modular specifications by Marinescu, Maria-Cristina V

“… that can build circuits without having to become expert hardware designers. Our approach relies on novel compiler technology to synthesize highly concurrent, synchronous…”
Get full text

Logic synthesis of synchronous parallel controllers by Pardey, J., Bolton, M.

“…The contribution of this work is a VHDL methodology for the design of synchronous parallel controllers that supports RTL representation and verification, state assignment and decomposition, logic…”
Get full text

Hardware Synthesis from High-Level Scenario Specifications by De Gennaro, Alessandro

“… We propose new formal models to simplify the specification of concurrent systems, and algorithms for hardware synthesis and verification of the scenario-based models of such systems…”
Get full text

Verification of unit and dimensional consistencies in polychronous specifications by Nanjundappa, Mahesh, Shukla, Sandeep K.

“… Modeling languages based on synchronous model of time - such as Simulink, State Chart, Esterel, Lustre etc…”
Get full text

Optimized synthesis of asynchronous control circuits from graph-theoretic specifications by Vanbekbergen, P., Goossens, G., Catthoor, F., De Man, H.J.

“…The proposed synthesis method starts from a graph-theoretic specification called a signal transition graph (STG…”
Get full text

Trace-based load characterization for generating performance software models by Hrischuk, C.E., Murray Woodside, C., Rolia, J.A.

“… It applies to distributed and concurrent software with synchronous (send-reply or RPC) communications, developing a layered queuing network model…”
Get full text

On synchronous and asynchronous communication in Modular High-Level Nets: The case of ECATNets by Zeghib, N., Bettaz, M.

“… (Extended Concurrent Algebraic Term Nets) where both synchronous and asynchronous communication can coexist within a modular net…”
Get full text