Suchergebnisse - specification of synchronous concurrent algorithms

Novel specification tests for synchronous additive concurrent model formulation based on martingale difference divergence von 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 …”
Volltext

Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms von 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 …”
Volltext

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

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

POSET timing and its application to the synthesis and verification of gate-level timed circuits von 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 …”
Volltext

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

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

Specification and validation of control-intensive IC's in hopCP von 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 …”
Volltext

A mathematical theory of synchronous concurrent algorithms von 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 …”
Volltext

A synchronous and asynchronous mode algorithm in an industrial LAN based distributed communication system von 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 …”
Volltext

From design-time concurrency to effective implementation parallelism: The multi-clock reactive case von 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 …”
Volltext

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

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

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 von Vojnar, Tomás, Zhang, Lijun

Volltext

Regions of Petri nets with a/sync connections von 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 …”
Volltext

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

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

Synthesis of synchronous pipelined circuits from high-level modular specifications von 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 …”
Volltext

Logic synthesis of synchronous parallel controllers von 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 …”
Volltext

Hardware Synthesis from High-Level Scenario Specifications von 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 …”
Volltext

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

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

Optimized synthesis of asynchronous control circuits from graph-theoretic specifications von 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 …”
Volltext

Trace-based load characterization for generating performance software models von 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 …”
Volltext

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

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