Keywords: مدل بازیگر; Concurrent and distributed simulations; Iterated prisoner's dilemma; Scala; Actor model;
مقالات ISI مدل بازیگر (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: مدل بازیگر; Reversible computation; Actor model; Concurrency; Rollback recovery;
Keywords: مدل بازیگر; actor model; execution model; temporal logic; parallel computing system; platform independence;
Keywords: مدل بازیگر; Network traffic analysis; actor model; mapreduce; DFS; akka; scala; netgraph;
Keywords: مدل بازیگر; Distributed system; Erlang; Actor model; Operational semantics; Validation; Conformance; QuickCheck; Testing;
Keywords: مدل بازیگر; Actor model; Domains; Synchronization; Shared state; Race-free mutation;
Keywords: مدل بازیگر; Online aggregation; Stream processing; Actor model
Keywords: مدل بازیگر; Actor model; Domains; Synchronization; Shared state; Race-free mutation
An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models
Keywords: مدل بازیگر; Actor model; Timed Rebeca; Model checking; TCTL; Durational transition graph;
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system
Keywords: مدل بازیگر; Actor model; Timed Rebeca; Verification; Realtime systems; Schedulability and deadlock freedom