دانلود مقالات ISI درباره همبستگی + ترجمه فارسی

Synthesizing test scenarios in UML activity diagram using a bio-inspired approach

Keywords: همبستگی; Bio-inspired algorithm; Amoeboid organism; Computational intelligence; UML activity diagram; Test scenario generation; Concurrency;

دانلود رایگان متن کامل مقاله ISI 33 صفحه سال انتشار : 2017 سفارش ترجمه

Dynamic Rebinding for Concurrent Object Groups: Theory and practice

Keywords: همبستگی; Object-oriented programming; Dynamic Software Updating; Consistency; Concurrency;

دانلود رایگان متن کامل مقاله ISI 42 صفحه سال انتشار : 2017 سفارش ترجمه

A comparative analysis of STM approaches to reduction operations in irregular applications

Keywords: همبستگی; Transactional memory; Concurrency; Reduction operations; Irregular applications;

دانلود رایگان متن کامل مقاله ISI 9 صفحه سال انتشار : 2016 سفارش ترجمه

A middle layer solution to support ACID properties for NoSQL databases

Keywords: همبستگی; NoSQL; ACID; Consistency; BASE; Transactions; Concurrency

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2016 سفارش ترجمه

Concurrency of self-* in autonomic systems

Keywords: همبستگی; Autonomic computing; Autonomic systems; Self-*; Categorical approach; Concurrency

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2016 سفارش ترجمه

CenUMs - concurrency enhanced usage models for statistical testing of complex systems with concurrent streams of use

Keywords: همبستگی; Markov chain usage model; Concurrency; System verification; Statistical test;

دانلود رایگان متن کامل مقاله ISI 17 صفحه سال انتشار : 2016 سفارش ترجمه

An extensive empirical study on C++ concurrency constructs

Keywords: همبستگی; Programming language; C++; Concurrency; Empirical study;

دانلود رایگان متن کامل مقاله ISI 18 صفحه سال انتشار : 2016 سفارش ترجمه

Influence of concurrency, partner choice, and viral suppression on racial disparity in the prevalence of HIV infected women

Keywords: همبستگی; Reproduction number; HIV; Concurrency; Mixing; HAART treatment; Viral suppression; 92D30;

دانلود رایگان متن کامل مقاله ISI 18 صفحه سال انتشار : 2016 سفارش ترجمه

Declarative event based models of concurrency and refinement in psi-calculi

Keywords: همبستگی; Psi-calculi; Prime event structures; DCR graphs; Action refinement; Declarative models; Concurrency;

دانلود رایگان متن کامل مقاله ISI 57 صفحه سال انتشار : 2016 سفارش ترجمه

The racial disparities in STI in the U.S.: Concurrency, STI prevalence, and heterogeneity in partner selection

Keywords: همبستگی; Concurrency; Race; Sexual networks

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2015 سفارش ترجمه

Sampling dynamic networks with application to investigation of HIV epidemic drivers

Keywords: همبستگی; Dynamic network; Constrained dynamics; HIV; Network process; Sampling; Concurrency;

دانلود رایگان متن کامل مقاله ISI 10 صفحه سال انتشار : 2015 سفارش ترجمه

The role of concurrency in an evolutionary view of programming abstractions

Keywords: همبستگی; Programming languages; Concurrency; Theory of evolution

دانلود رایگان متن کامل مقاله ISI 10 صفحه سال انتشار : 2015 سفارش ترجمه

CloudFlow: A data-aware programming model for cloud workflow applications on modern HPC systems

Keywords: همبستگی; Concurrency; Data aware; MapReduce; HPC; Programming model

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2015 سفارش ترجمه

Concurrent weighted logic

Keywords: همبستگی; Non-compact modal logic; Model theory; Rasiowa–Sikorski lemma; Weighted transition systems; Concurrency

دانلود رایگان متن کامل مقاله ISI 14 صفحه سال انتشار : 2015 سفارش ترجمه

On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra

Keywords: همبستگی; Compositionality; Concurrency; Separation Logic; Kleene Algebra

دانلود رایگان متن کامل مقاله ISI 18 صفحه سال انتشار : 2015 سفارش ترجمه

A large-scale study on the usage of Java’s concurrent programming constructs

Keywords: همبستگی; Java; Concurrency; Software evolution

دانلود رایگان متن کامل مقاله ISI 23 صفحه سال انتشار : 2015 سفارش ترجمه

ContextErlang: A language for distributed context-aware self-adaptive applications

Keywords: همبستگی; Context-oriented programming; Context; Self-adaptive software; Concurrency; Distribution

دانلود رایگان متن کامل مقاله ISI 24 صفحه سال انتشار : 2015 سفارش ترجمه

SOS rule formats for idempotent terms and idempotent unary operators

Keywords: همبستگی; Structural operational semantics; Rule formats; Concurrency; Process algebra; Bisimilarity; Equational logic

دانلود رایگان متن کامل مقاله ISI 17 صفحه سال انتشار : 2014 سفارش ترجمه

Specifying termination in CSP

Keywords: همبستگی; Concurrency; CSP; CSPT; Termination; Parallel operators;

دانلود رایگان متن کامل مقاله ISI 30 صفحه سال انتشار : 2013 سفارش ترجمه

Design of an empirical study for comparing the usability of concurrent programming languages

Keywords: همبستگی; Empirical study; Concurrency; Programming languages; Usability

دانلود رایگان متن کامل مقاله ISI 12 صفحه سال انتشار : 2013 سفارش ترجمه

DDS: A deadlock detection-based scheduling algorithm for workflow computations in HPC systems with storage constraints

Keywords: همبستگی; Computational workflow; Workflow scheduling; Concurrency; Storage resource constraints; Deadlock detection

دانلود رایگان متن کامل مقاله ISI 15 صفحه سال انتشار : 2013 سفارش ترجمه

The global epidemiology of bacterial vaginosis: a systematic review

Keywords: همبستگی; bacterial vaginosis; concurrency; epidemiology; ethnicity; sexual networks

دانلود رایگان متن کامل مقاله ISI 19 صفحه سال انتشار : 2013 سفارش ترجمه

A visual programming language for XML manipulation

Keywords: همبستگی; Visual languages; Language syntax and specification; Colored Petri Nets; Composition; XML data manipulation; Concurrency

دانلود رایگان متن کامل مقاله ISI 26 صفحه سال انتشار : 2013 سفارش ترجمه

On behavioural pseudometrics and closure ordinals

Keywords: همبستگی; Concurrency; Formal semantics; Behavioural pseudometric; Least fixed point; Closure ordinal

دانلود رایگان متن کامل مقاله ISI 4 صفحه سال انتشار : 2012 سفارش ترجمه

Decidability of well-connectedness for distributed synthesis

Keywords: همبستگی; Computational complexity; Concurrency; Formal methods; Synthesis problem; Distributed systems

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2012 سفارش ترجمه

Properties of enhanced mobile membranes via coloured Petri nets

Keywords: همبستگی; Concurrency; Enhanced mobile membranes; Coloured Petri nets; Behaviour properties

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2012 سفارش ترجمه

Dynamic concurrent partnership networks incorporating demography

Keywords: همبستگی; Concurrency; Dynamic partnership network; Demographic turnover; Partnership capacity; Sexually transmitted infections;

دانلود رایگان متن کامل مقاله ISI 11 صفحه سال انتشار : 2012 سفارش ترجمه

Help when needed, but no more: Efficient read/write partial snapshot

Keywords: همبستگی; Adaptive algorithm; Asynchronous shared memory system; Asynchrony; Atomicity; Efficiency; Concurrency; Linearizability; LL/SC atomic registers; Locality; Partial snapshot; Process crash; Read/write atomic register; Wait-free algorithm

دانلود رایگان متن کامل مقاله ISI 12 صفحه سال انتشار : 2012 سفارش ترجمه

Multicore scheduling for lightweight communicating processes

Keywords: همبستگی; Concurrency; Multicore; Process-oriented; Scheduling

دانلود رایگان متن کامل مقاله ISI 14 صفحه سال انتشار : 2012 سفارش ترجمه

An enhanced flow analysis technique for detecting unreachability faults in concurrent systems

Keywords: همبستگی; Concurrency; Distributed systems; Reachability analysis; Static analysis

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2012 سفارش ترجمه

Info-based approach in distributed mutual exclusion algorithms

Keywords: همبستگی; Mutual exclusion; Critical section; Distributed systems; Token-based algorithm; Message exchange; Concurrency

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2012 سفارش ترجمه

SAT-solving in CSP trace refinement

Keywords: همبستگی; CSP; FDR; Concurrency; Process algebra; SAT-solving; Bounded model checking; kk-induction; Safety properties

دانلود رایگان متن کامل مقاله ISI 20 صفحه سال انتشار : 2012 سفارش ترجمه

A system for compositional verification of asynchronous objects

Keywords: همبستگی; Verification; Concurrency; Semantics; Object-orientation

دانلود رایگان متن کامل مقاله ISI 21 صفحه سال انتشار : 2012 سفارش ترجمه

Introducing concurrency in sequential Java via laws

Keywords: همبستگی; Formal methods; Concurrency; Parallel processing; Performance evaluation; Program correctness;

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2011 سفارش ترجمه

Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet

Keywords: همبستگی; Concurrency; Process algebra; Complete simulation; Ready simulation; Equational logic; Non-finitely based algebras

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2011 سفارش ترجمه

An entropy-based uncertainty measure of process models

Keywords: همبستگی; Concurrency; Real-time system; Entropy; Process uncertainty; Process measure;

دانلود رایگان متن کامل مقاله ISI 7 صفحه سال انتشار : 2011 سفارش ترجمه

A hybrid token-based distributed mutual exclusion algorithm using wraparound two-dimensional array logical topology

Keywords: همبستگی; Token-based algorithm; Mutual exclusion; Distributed systems; Hybrid algorithm; Concurrency; Message exchange

دانلود رایگان متن کامل مقاله ISI 7 صفحه سال انتشار : 2011 سفارش ترجمه

Process algebra-based computational tools in ecological modelling

Keywords: همبستگی; Process algebra; BlenX; Complexity; Stochastic dynamics; Concurrency

دانلود رایگان متن کامل مقاله ISI 7 صفحه سال انتشار : 2011 سفارش ترجمه

Abstract processes of place/transition systems

Keywords: همبستگی; Concurrency; Petri nets; P/T systems; Causal semantics; Processes

دانلود رایگان متن کامل مقاله ISI 8 صفحه سال انتشار : 2011 سفارش ترجمه

BlobSeer: Next-generation data management for large scale infrastructures

Keywords: همبستگی; Data intensive applications; Data management; High throughput; Versioning; Concurrency; Decentralized metadata management; BlobSeer; MapReduce

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2011 سفارش ترجمه

The renaming problem in shared memory systems: An introduction

Keywords: همبستگی; Algebraic topology; Asynchronous system; Atomic snapshot; Consensus; Crash failure; Concurrency; Lower bounds; Obstruction-freedom; Read/write shared memory system; Recursion; Renaming; Set agreement; Splitter; Symmetry breaking; Test&set; Wait-freedom; W

دانلود رایگان متن کامل مقاله ISI 23 صفحه سال انتشار : 2011 سفارش ترجمه

A tactic language for refinement of state-rich concurrent specifications

Keywords: همبستگی; Concurrency; Refinement calculus; Tactics; Control law diagrams

دانلود رایگان متن کامل مقاله ISI 42 صفحه سال انتشار : 2011 سفارش ترجمه

The Prevalence and Morphologic Classification of Distolingual Roots in the Mandibular Molars in a Korean Population

Keywords: همبستگی; Concurrency; distolingual root; mandibular molars; morphologic features; occurrence

دانلود رایگان متن کامل مقاله ISI 5 صفحه سال انتشار : 2010 سفارش ترجمه

Highly-fair bakery algorithm using symmetric tokens

Keywords: همبستگی; Concurrency; Distributed algorithm; Mutual exclusion; Bakery algorithm; Fairness; Bounded timestamps

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2010 سفارش ترجمه

Resource bisimilarity and graded bisimilarity coincide

Keywords: همبستگی; Concurrency; Resource bisimilarity; Graded bisimilarity; Graded modal logic; Kripke frames; Coalgebras

دانلود رایگان متن کامل مقاله ISI 9 صفحه سال انتشار : 2010 سفارش ترجمه

Epidemiological bridging by injection drug use drives an early HIV epidemic

Keywords: همبستگی; HIV; Networks; Serosorting; Concurrency

دانلود رایگان متن کامل مقاله ISI 10 صفحه سال انتشار : 2010 سفارش ترجمه

Possible primitive notions for geometry of spine spaces

Keywords: همبستگی; Adjacency; Concurrency; Grassmann spaces; Projective spaces; Spine spaces;

دانلود رایگان متن کامل مقاله ISI 15 صفحه سال انتشار : 2010 سفارش ترجمه

Transactional memory

Keywords: همبستگی; Multiprocessors; Parallel programming; Concurrency; Transactions; Synchronization

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2010 سفارش ترجمه

Maintaining the Ranch topology

Keywords: همبستگی; Structured peer-to-peer networks; Maintenance protocols; Concurrency; Correctness

دانلود رایگان متن کامل مقاله ISI 17 صفحه سال انتشار : 2010 سفارش ترجمه

Generic operations and capabilities in the JR concurrent programming language

Keywords: همبستگی; Concurrency; JR operations; Java; Generics; Language design; Language implementation

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2009 سفارش ترجمه