Keywords: همبستگی; Static analysis; Modular analysis; Concurrency; Actors; Threads; 68N15; 68N19; 68N30;
مقالات ISI همبستگی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: همبستگی; Concurrency; Event structure; Partial order; Completeness; Specification;
Keywords: همبستگی; Concurrency; Formal verification; Java; Condition variables;
Keywords: همبستگی; Concurrency; Specification; Program verification;
Keywords: همبستگی; Reversible computation; Actor model; Concurrency; Rollback recovery;
Keywords: همبستگی; Concurrency; Debugging; Promises; Smalltalk; Domain-specific tools;
Keywords: همبستگی; Concurrency; Process calculi; Multiparty session types; Duality;
Keywords: همبستگی; Tanzania; Men; Mental health; Condom use; Concurrency; Social norms; HIV;
Keywords: همبستگی; Software engineering; Concurrency; Parallel programming; Active learning; Research-infused learning; Problem-based learning; Soft skills; Graphical user interfaces; Object-oriented programming;
Keywords: همبستگی; Atomicity violation; Three-access pattern; Concurrency; Software testing;
Keywords: همبستگی; Concurrency; Finite-state concurrent programs; Expressive completeness;
Keywords: همبستگی; Concurrency; Theory of regions; Transition system; Synthesis problem; Petri net; Step semantics; A/sync connection; Whole-place operations net;
Keywords: همبستگی; Natural computing; Set tissue system; Instant signalling; Locality; Concurrency; Step transition system; Petri net; Synthesis; Theory of regions;
Keywords: همبستگی; Digital factory; Co-evolution; Concurrency;
Keywords: همبستگی; ANFIS; Neuro-fuzzy; Embedded systems; Genetic algorithms; Bacterial conjugation; Concurrency; Fixed point;
Keywords: همبستگی; Concurrency; Reversible computation; Behavioral types; Process calculi;
Keywords: همبستگی; static analysis; abstract interpretation; verification; safety; concurrency; run-time errors; data-races; deadlocks; real-time scheduling; priority ceiling protocol;
Keywords: همبستگی; Concurrency; Transactional memory; Performance prediction; Performance optimization;
Keywords: همبستگی; Hardy Cross method; Moment distribution; Convergence; Algorithms; Concurrency;
Keywords: همبستگی; Probabilistic programs; Concurrency; Rely-guarantee; Program verification; Program semantics; Kleene algebra; Event structures;
Keywords: همبستگی; Object orientation; Object groups; Service orientation; Multithreading; Concurrency; Types; Semantics; Type safety;
Keywords: همبستگی; Session types; Parameterized; Static; Actors; Concurrency;
Keywords: همبستگی; Bunched logic; Separation logic; Modal logic; Resource semantics; Tableaux; Concurrency;
Keywords: همبستگی; Deadlock detection; Simulation; Type and effect system; Concurrency; Formal method;
Keywords: همبستگی; Concurrency; Concurrent system; Concurrent programming; Mutual exclusion; Mutual inclusion; Critical section;
Keywords: همبستگی; Concurrency; Process algebra; Stateless bisimilarity; Linda; Equational logic;
Keywords: همبستگی; Multi-standard; DFE; Concurrency; LTE; DVB-H; WLAN
Keywords: همبستگی; Concurrency; Interface automata; Parallel composition; Optimistic/pessimistic approach; Fully abstract precongruence
Keywords: همبستگی; Software model checking; Concurrency; Field accesses; Immutability; Static analysis
Keywords: همبستگی; Embodied cognition; Stimulus-response; Multimodality; Concurrency; Hierarchy; Language; Sensorimotor integration; Multidimensionality; Events; parallel computation; sequential behavior; Lashley; Serial order; Superior colliculus; Hippocampus; Basal gangli
Keywords: همبستگی; Cooperability; Concurrency; Type systems
Keywords: همبستگی; Concurrency; Sexual network; HIV; Southern Africa; Ethnic;
Keywords: همبستگی; Comtrace; Trace; Hasse diagram; Stratified order structure; Partial order; Concurrency; Causality; Weak causality; Independence; Algorithmic complexity; Petri net; Inhibitor arc;
Keywords: همبستگی; Adequate order; Unfolding prefix; Petri net; Well-foundedness; Concurrency
Keywords: همبستگی; Local reversibility; Global reversibility; Asynchronous circuit; Cellular automaton; Concurrency; Intrinsic universality;
Keywords: همبستگی; Concurrency; Parallelism; Formal methods; Specification; Verification; Model checking; Program analysis
Keywords: همبستگی; Concurrency; Communication; Survey; Model; Structured
Keywords: همبستگی; Deadlock detection; Race detection; Type and effect system; Concurrency; Formal method
Keywords: همبستگی; Graphics processing unit (GPU); Parallel programming; Multi-core; Cluster; Grid; GIS; Environmental; Concurrency; Global challenges; HPC; high-performance computing; CPU; central processing unit; GPU; graphics processing unit; NPV; net present value; AML;
Keywords: همبستگی; Adversary; Agreement; Asynchronous system; Borowsky-Gafni (BG) simulation; Concurrency; Crash failure; Distributed computability; Distributed computing model; Failure detector; Fault-tolerance; Iterated model; Liveness; Model equivalence; Recursion; Res
Keywords: همبستگی; Programming paradigms; Object-orientation; Functional programming; Concurrency; Parallelism; Meta-programming; Dynamic typing; C#;
Keywords: همبستگی; Concurrency; Theory of computation; Petri nets; Home states
Keywords: همبستگی; Networks; Concurrency; Disease spread; STD; Epidemic potential
On the validity of encodings of the synchronous in the asynchronous Ï-calculus
Keywords: همبستگی; Concurrency; Process calculi; Expressiveness; Quality criteria for encodings; Ï-calculus;
AATT+: Effectively manifesting concurrency bugs in Android apps
Keywords: همبستگی; Android; Concurrency;
Centralized coordination vs. partially-distributed coordination with Reo and constraint automata
Keywords: همبستگی; Concurrency; Coordination protocols; Compilation; Benchmarks;
AErlang: Empowering Erlang with attribute-based communication
Keywords: همبستگی; Attribute-based communication; Erlang; Concurrency; Distributed programming; Collective adaptive systems; Stable Marriage;
Gender asymmetry in concurrent partnerships and HIV prevalence
Keywords: همبستگی; Concurrency; Gender asymmetry; Polygyny; HIV prevalence; Mathematical model;
Termination analysis for GPU kernels
Keywords: همبستگی; Termination; Abstraction; GPUs; Concurrency;
A tasks reordering model to reduce transfers overhead on GPUs
Keywords: همبستگی; GPU; Streams; Concurrency; Tasks scheduling; Hyper-Q;