Výsledky vyhledávání - specification of synchronous concurrent algorithms

Novel specification tests for synchronous additive concurrent model formulation based on martingale difference divergence Autor 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…”
Získat plný text

Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms Autor 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…”
Získat plný text

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

“… State machines from synchronous languages, however, have hierarchy and concurrent constructs to aid the developer…”
Získat plný text

POSET timing and its application to the synthesis and verification of gate-level timed circuits Autor 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…”
Získat plný text

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

“…; all components within a family are symmetric to one another. Processes communicate via synchronous message passing…”
Získat plný text

Specification and validation of control-intensive IC's in hopCP Autor 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…”
Získat plný text

A mathematical theory of synchronous concurrent algorithms Autor 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…”
Získat plný text

A synchronous and asynchronous mode algorithm in an industrial LAN based distributed communication system Autor 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…”
Získat plný text

From design-time concurrency to effective implementation parallelism: The multi-clock reactive case Autor 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…”
Získat plný text

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

“…The synchrony hypothesis of Esterel demands the generation of a single monolithic FSM from the specifications…”
Získat plný 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 Autor Vojnar, Tomás, Zhang, Lijun

Získat plný text

Regions of Petri nets with a/sync connections Autor 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…”
Získat plný text

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

“… specifications at a high-level abstraction that is useful for understanding concurrent behaviors…”
Získat plný text

Synthesis of synchronous pipelined circuits from high-level modular specifications Autor 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…”
Získat plný text

Logic synthesis of synchronous parallel controllers Autor 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…”
Získat plný text

Hardware Synthesis from High-Level Scenario Specifications Autor 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…”
Získat plný text

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

“… Modeling languages based on synchronous model of time - such as Simulink, State Chart, Esterel, Lustre etc…”
Získat plný text

Optimized synthesis of asynchronous control circuits from graph-theoretic specifications Autor 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…”
Získat plný text

Trace-based load characterization for generating performance software models Autor 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…”
Získat plný text

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

“… (Extended Concurrent Algebraic Term Nets) where both synchronous and asynchronous communication can coexist within a modular net…”
Získat plný text