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

Signum-function array activated ZNN with easier circuit implementation and finite-time convergence for linear systems solving

Keywords: سیستم های زمان واقعی; Algorithms; Real-time systems; Zhang neural network (ZNN); Signum-function array; Linear systems solving; Finite-time convergence;

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

Clustered checkpointing: Maximizing the level of confidence for non-equidistant checkpointing

Keywords: سیستم های زمان واقعی; Fault tolerance; Reliability analysis; Real-time systems; Checkpointing;

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

Handling heterogeneous partitioned systems through ARINC-653 and DDS

Keywords: سیستم های زمان واقعی; Distributed systems; Middleware; ARINC-653; Hypervisor; DDS; Real-time systems;

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

Robust Discrimination of Flexion and Extension Phases for Mobile Functional Electrical Stimulation (FES) Induced Cycling in Paraplegics

Keywords: سیستم های زمان واقعی; Function electrical stimulation; Inertial measurement units; Real-time systems;

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

Thread-level priority assignment in global multiprocessor scheduling for DAG tasks

Keywords: سیستم های زمان واقعی; Real-time systems; Intra-parallel task scheduling; Optimal thread-level priority assignment

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

GPU-SAM: Leveraging multi-GPU split-and-merge execution for system-wide real-time support

Keywords: سیستم های زمان واقعی; Real-time systems; Multi-GPU; GPGPU;

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

A family of test selection criteria for Timed Input-Output Symbolic Transition System models

Keywords: سیستم های زمان واقعی; Software testing; Model-based testing; Test selection criteria; Test adequacy criteria; Real-time systems

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

Statistical model checking of Timed Rebeca models

Keywords: سیستم های زمان واقعی; Statistical model checking; McErlang; Timed Rebeca; Performance analysis; Real-time systems;

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

Infinitely many Zhang functions resulting in various ZNN models for time-varying matrix inversion with link to Drazin inverse

Keywords: سیستم های زمان واقعی; Parallel algorithms; Real-time systems; Zhang neural net (ZNN); Error functions; Zhang matrix inverse (ZMI); Time-varying Drazin inverse (TVDI)

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

3D depth information extraction with omni-directional camera

Keywords: سیستم های زمان واقعی; Depth measurement; Omni-directional image; Structured light; Infrared laser; Real-time systems;

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

Self-triggered sampling for second-moment stability of state-feedback controlled SDE systems

Keywords: سیستم های زمان واقعی; Stochastic control; Stochastic systems; Feedback stabilization; Real-time systems; Embedded systems

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

Simple real-time QRS detector with the MaMeMi filter

Keywords: سیستم های زمان واقعی; Nonlinear filters; Biomedical signal processing; QRS detection; Real-time systems; Embedded software;

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

P-SOCRATES: A parallel software framework for time-critical many-core systems

Keywords: سیستم های زمان واقعی; Many-core systems; Real-time systems; Embedded systems; WCET analysis; Real-time scheduling; Parallel programming models

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

Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory

Keywords: سیستم های زمان واقعی; Real-time systems; Synchronization mechanisms; Software Transactional Memory; Non-preemptive scheduling; Stack Resource Protocol; Cache non-coherency; Multi-core platforms; Contention management

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

Modeling the QoS parameters of DDS for event-driven real-time applications

Keywords: سیستم های زمان واقعی; Distribution middleware; Real-time systems; Model-driven engineering

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

Mid-level image representations for real-time heart view plane classification of echocardiograms

Keywords: سیستم های زمان واقعی; Echocardiography; Feature extraction; Real-time systems; Image classification; Pattern analysis;

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

A library for developing real-time and embedded applications in C

Keywords: سیستم های زمان واقعی; Real-time; C programming language; Real-time systems; Real-time programming languages; Arduino

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

T-CREST: Time-predictable multi-core architecture for embedded systems

Keywords: سیستم های زمان واقعی; Real-time systems; Time-predictable computer architecture

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

FASA: A software architecture and runtime framework for flexible distributed automation systems

Keywords: سیستم های زمان واقعی; Real-time systems; Component-based architecture; Flexibility; Distributed systems; Automation systems

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

Deciding safety and liveness in TPTL

Keywords: سیستم های زمان واقعی; Formal methods; Real-time systems; Temporal logic; Safety and liveness; Verification; Computational complexity

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

DFTS: A dynamic fault-tolerant scheduling for real-time tasks in multicore processors

Keywords: سیستم های زمان واقعی; Real-time systems; Dynamic scheduling; Fault tolerance; Multicore processors

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

Plasma position and current control system enhancements for the JET ITER-like wall

Keywords: سیستم های زمان واقعی; Plasma axisymmetric magnetic control; JET tokamak; ITER-like wall; Real-time systems

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

Feasibility interval for the transactional event handlers of P-FRP

Keywords: سیستم های زمان واقعی; Real-time systems; Schedulability; Functional programming; Feasibility interval; Response time analysis;

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

Limited carry-in technique for real-time multi-core scheduling

Keywords: سیستم های زمان واقعی; Real-time systems; Schedulability analysis; Limited carry-in technique; Real-time multi-core scheduling

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

Modified Binary Particle Swarm optimization algorithm application to real-time task assignment in heterogeneous multiprocessor

Keywords: سیستم های زمان واقعی; Heterogeneous processors; Multiprocessors; Modified BPSO; Novel BPSO; Periodic tasks; Scheduling; Task assignment; Real-time Systems

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

Grasp: Visualizing the behavior of hierarchical multiprocessor real-time systems

Keywords: سیستم های زمان واقعی; Trace visualization; Hierarchical scheduling; Multiprocessors; Real-time systems

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

Supervision localization of timed discrete-event systems

Keywords: سیستم های زمان واقعی; Supervisor localization; Supervisory control; Automata; Timed discrete-event systems; Real-time systems

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

Soft real-time scheduling for embedded control systems

Keywords: سیستم های زمان واقعی; Adaptive algorithms; Computer controlled systems; Control engineering applications of computers; Stochastic jump processes; Time schedule controllers; Real-time tasks; Real-time systems

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

The most precise computations using Euler's method in standard floating-point arithmetic applied to modelling of biological systems

Keywords: سیستم های زمان واقعی; Euler's method; Optimal step size; System of ordinary differential equations; Floating-point arithmetic; Rounding errors; Real-time systems

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

Lowest priority first based feasibility analysis of real-time systems

Keywords: سیستم های زمان واقعی; Feasibility analysis; Fixed-priority scheduling; Online schedulability; Real-time systems

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

Improving simulation of wireless networked control systems based on WirelessHART

Keywords: سیستم های زمان واقعی; Co-simulation; Wireless industrial communications; Wireless networked control systems; Real-time systems

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

Design space exploration for partially reconfigurable architectures in real-time systems

Keywords: سیستم های زمان واقعی; Reconfigurable architecture; Design space exploration; Real-time systems; Partial reconfiguration; Field programmable gate arrays

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

Dependable and predictable time-triggered Ethernet networks with COTS components

Keywords: سیستم های زمان واقعی; Embedded systems; Real-time systems; Ethernet; Commercial Off-The-Shelf components; Fault isolation

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

Optimizing the implementation of real-time Simulink models onto distributed automotive architectures

Keywords: سیستم های زمان واقعی; Design optimization; Model-based design; Real-time systems; Time-triggered networks; FlexRay

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

Multi-layered scheduling of mixed-criticality cyber-physical systems

Keywords: سیستم های زمان واقعی; Scheduling; Cyber-physical systems; Mixed-criticality systems; Real-time systems

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

Comparisons of air traffic control implementations on an associative processor with a MIMD and consequences for parallel computing

Keywords: سیستم های زمان واقعی; Air traffic control (ATC); SIMD; MIMD; Instruction stream (IS); Real-time systems; Associative processor (AP); Conflict detection and resolution (CD&R); ClearSpeed; Multicore processor; OpenMP; Predictability; Worst case execution time; Federal Aviation A

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

A survey of timed automata for the development of real-time systems

Keywords: سیستم های زمان واقعی; Timed automata; Survey; Real-time systems; Formal models; Semantics; Timed regular languages; Decision problems; Variants; Implementability; Tools

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

Comprehensive Comparison of Schedulability Tests for Uniprocessor Rate-Monotonic Scheduling

Keywords: سیستم های زمان واقعی; real-time systems; real-time scheduling; rate-monotonic scheduling

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

Methods of assessing the time efficiency in the virtual measurement systems

Keywords: سیستم های زمان واقعی; Virtual instrumentation; Time analysis; Real-Time systems

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

Energy-aware dynamic slack allocation for real-time multitasking systems

Keywords: سیستم های زمان واقعی; Embedded systems; Real-time systems; Energy optimization; Energy-aware scheduling

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

Power efficient rate monotonic scheduling for multi-core systems

Keywords: سیستم های زمان واقعی; Real-time systems; Non-preemptive scheduling; Fixed-priority scheduling; Feasibility analysis; Online schedulability tests

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

On the fundamentals of leakage aware real-time DVS scheduling for peak temperature minimization

Keywords: سیستم های زمان واقعی; Thermal-aware scheduling; Embedded systems; Real-time systems

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

Dual path communications over multiple spanning trees for networked control systems

Keywords: سیستم های زمان واقعی; Real-time systems; Fault tolerance; Spanning-tree; Genetic algorithm; Switched networks

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

A multi-resolution approach for massively-parallel hardware-friendly optical flow estimation

Keywords: سیستم های زمان واقعی; Image motion analysis; Optical flow; Field programmable gate array; Architectures for embedded systems; Real-time systems; Multiscale-with-warping optical flow; Efficient multiresolution optical flow; Fusion methods for multiresolution optical flow implem

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

Adaptive response time control for metadata matching in information dissemination systems

Keywords: سیستم های زمان واقعی; Information dissemination; Response time; Feedback control; Metadata matching; Adaptive control; Real-time systems

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

Profit-based scheduling and channel allocation for multi-item requests in real-time on-demand data broadcast systems

Keywords: سیستم های زمان واقعی; Data broadcast systems; Data scheduling; Channel allocation; Real-time systems

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

Schedule-driven intersection control

Keywords: سیستم های زمان واقعی; Adaptive traffic signal control; Model-based intersection optimization; Real-time systems; Urban traffic control; Intelligent transportation systems

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

Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal

Keywords: سیستم های زمان واقعی; Modeling; Timing constraints; Real-time systems; Schedulability analysis; Time Stream Petri Nets; Model checking; Timed automata; Uppaal

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

Comments on “Generalized rate monotonic schedulability bounds using relative period ratios”

Keywords: سیستم های زمان واقعی; Real-time systems; Scheduling; Real-time scheduling; Rate-monotonic analysis; Schedulability test

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

Real-time random delay compensation with prediction-based digital redesign

Keywords: سیستم های زمان واقعی; Analog-digital conversion; Delay systems; Digital control; Real-time systems;

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