مقاله زمان بندی سیستم های Real time با کارهای دوره ای با استفاده از روش Model checking - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : زمان بندی سیستم های زمان واقعی با کارهای دوره ای با استفاده از یک روش بررسی مدل   عنوان انگلیسی مقاله: Scheduling Real-Time Systems with Periodic Tasks using a Model-checking Approach 978-1-4799-4905-2/14/$31.00 ©2014 IEEE   چکیده انگلیسی مقاله: Abstract—Scheduling theory presents analytical solutions for different scheduling schemes, most of which based on necessary or sufficient conditions only. Available methods based on graphs use quantitative temporal reasoning to answer about decidability and to find feasible schedules. In this paper we present an alternative technique based on model-checking approach that uses only qualitative temporal reasoning with periodic tasks only. That technique gives a necessary and sufficient condition for decidability and assists the design of feasible static or quasistatic offline schedulers. Prospective results are illustrated by an example where a feasible solution can be reached dealing with aceptab ...

دانلود مقاله بهینه سازی و کاربرد زمان واقعی رویکرد زمان بندی ARM لینوکس نهفته - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : بهینه سازی و کاربرد زمان واقعی رویکرد زمان بندی ARM لینوکس نهفته   عنوان انگلیسی مقاله: Real-Time Optimization and Application of the Embedded ARM-Linux Scheduling Policy 978-0-7695-4522-6/11 $26.00 © 2011 IEEE   چکیده انگلیسی مقاله: Abstract—Real-time is key feature in signal acquisition terminal of intelligent transportation. Furthermore, Linux on the terminal influence performance of signal acquisition directly. So it is necessary to improve real-time of Linux operating system. In this paper, by analyzing real-time scheduling policy and clock mechanism on Linux2.6.12 kernel, a new optimization for embedded ARM-S3C2440 framework is introduced into kernel scheduling module. On the basis of O(1) algorithm, LSF scheduling algorithm is proposed to improve scheduling policy. At additional, four aspects: process scheduling mechanism, kernel preempt, clock mechanism, virtual memory mechanism are made simple modifications. At final, new kerne ...

مقاله مقایسه الگوریتم های زمان واقعی RT Linux و Vx Works - مقاله انگلیسی با ترجمه فارسی

  عنوان فارسی مقاله : مقایسه الگوریتم های زمان واقعی RTLinux و VxWorks   عنوان انگلیسی مقاله: Comparison between scheduling algorithms in RTLinux and VxWorks   چکیده انگلیسی مقاله: The scheduler decides wich one of the available tasks that will be next to be processed by the CPU. To make this decision the scheduler checks the priority levels of the scheduled tasks and apply a predefined schedule algorithm. This report will compare the scheduling algorithms in the real-time operating systems RTLinux and VxWorks and comes to the conclusion that the two compared systems are roughly equivalent in most uses in regards to this. ترجمه چکیده مقاله به فارسی: زمان بند تصمیم می گیرد که کدام یک از کارهای موجود ابتدا پردازش شوند. برای این تصمیم گیری، زمان بند اولویت کارهای زمان بندی شده را بررسی کرده و یگ الگوریتم زمان بندی از پیش تعیین شده را به کار می گیرد. این گزارش الگوریتم های زمان بندی واقعی را در سیستم عامل های زمان واقعی RTLinux و VxWorks را با هم مقایسه کرده و به ...

دانلود مقاله زمان بندی لینوکس در Embedded System - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : زمان بندی لینوکس در یک سیستم نهفته   عنوان انگلیسی مقاله: Process Scheduling of Linux in Embedded System 978-1-4244-7237-6/$26.00 C 2010 IEEE   چکیده انگلیسی مقاله: Abstract—Linux is a multi-user multi-tasking operating system. Process scheduling is the hardcore of this multi-tasking operating system. The characteristics of process scheduling of embedded Linux are analyzed. The real-time scheduling algorithm of embedded Linux is especially discussed and an instance of priority-driven scheduling algorithm is illustrated in detail. In this example, the problem of priority inversion in process scheduling is solved perfectly. ترجمه چکیده مقاله به فارسی: لینوکس یک سیستم عامل چند کاربره و چندکاره است. زمان بندی فرایند سنگ بنای این سیستم عامل است. مشخصه های زمان بندی فرایند در این سیستم عامل مورد تحلیل قرار می گیرند. الگوریتم زمان بندی زمان واقعی لینوکس نهفته به طور خاص مورد بحث قرار می گیرد و یک مثال از الگوریتم زمان بندی بر اساس اولویت به طور د ...

دانلود مقاله مقایسه الگوریتم های زمان واقعی با استفاده از کارهای نمایشی و ارزیابی گسترش زمان واقعی لینوکس

عنوان فارسی مقاله : مقایسه الگوریتم های زمان واقعی با استفاده از کارهای نمایشی و ارزیابی گسترش زمان واقعی لینوکس عنوان انگلیسی مقاله: MS project proposal: A comparison of real-time scheduling algorithms using visualization of tasks and evaluation of real-time extensions to Linux چکیده انگلیسی مقاله: Real-time Systems are computer systems that require responses within specified time limits or constraints. Many real-time systems are digital control systems comprised entirely of binary logic or a microprocessor dedicated to one software application that is its own operating system. In recent years, the reliability of general-purpose real-time operating systems (RTOS) consisting of a scheduler and system resource management has improved. In this project, I will write a real-time simulator (RTS), write a workload generator, write analysis tools, and run and interpret the results. The main analysis tool I propose to develop will be a measurement system that analyzes real-time schedulin ...

دانلود مقاله اثر روش های چابک بر مدیریت پروژه های نرم افزاری - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : اثر روش های چابک بر مدیریت پروژه های نرم افزاری   عنوان انگلیسی مقاله: The Impact of Agile Methods on Software Project Management 0-7695-2308-0/05 $20.00 © 2005 IEEE چکیده انگلیسی مقاله: As more and more software projects engage Agile Methods, there are emerging patterns of success and failure. With growing adoption of Agile Methods, project managers increasingly need to understand the applicability to their projects and factors that drive key project performance characteristics. While some organizations affirm that Agile Methods solve all their problems, few have shown consistent success over a range of typical software projects. Agile Methods have advantages, especially in accommodating change due to volatile requirements. However, they also present concomitant risks with managing the many dependent pieces of work distributed across a large project. Use of Agile Methods therefore presents a set of tradeoffs. This paper examines the impact of Agil ...

دانلود مقاله یک ابزار پشتیبانی مدیریت پروژه با استفاده از ارتباط برای توسعه نرم افزار چابک - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : یک ابزار پشتیبانی مدیریت پروژه با استفاده از ارتباط برای توسعه نرم افزار چابک   عنوان انگلیسی مقاله: A project management support tool using communication for agile software development 1530-1362/04 $ 20.00 IEEE چکیده انگلیسی مقاله: Recently, agile software development methods are popular because software should be developed in a short period. However, conventional project management techniques are often not adaptable to such new development methodologies. Especially, progress and quality control of the document-based management does not fit the agile software development. Therefore, a new project management support tool has been developed based on a new communication model. The new model focuses on relationships between communication and project states. The basic idea of the model is that good communication leads to high quality products and good progress of projects. Based on scattering ratio of communication on time series, the tool can calculate pro ...

دانلود مقاله مدیریت پروژه چابک با تیم های توسعه - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : اسکرام توزیع یافته: مدیریت پروژه چابک با تیم های توسعه برون سپرده   عنوان انگلیسی مقاله: Distributed Scrum: Agile Project Management with Outsourced Development Teams 0-7695-2755-8/07 $20.00 © 2007 IEEE چکیده انگلیسی مقاله: Agile project management with Scrum derives from best business practices in companies like Fuji-Xerox, Honda, Canon, and Toyota. Toyota routinely achieves four times the productivity and 12 times the quality of competitors. Can Scrum do the same for globally distributed teams? Two Agile companies, SirsiDynix and StarSoft Development Laboratories achieved comparable performance developing a Java application with over 1,000,000 lines of code. During 2005, a distributed team of 56 Scrum developers working from Provo, Utah; Waterloo, Canada; and St. Petersburg, Russia, delivered 671,688 lines of production Java code. At 15.3 function points per developer/month, this is the most productive Java project ever documented. SirsiDynix bes ...

دانلود مقاله به کارگیری اقدامات مدیریت چابک در محیط سنتی پروژه - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : به کارگیری اقدامات مدیریت چابک در محیط سنتی پروژه: یک مورد مطالعاتی IT/IS   عنوان انگلیسی مقاله: The adoption of agile management practices in a traditional project environment: An IT/IS Case Study 1530-1605/15 $31.00 © 2015 IEEE چکیده انگلیسی مقاله: Despite the growing interest in the usage and application of Agile Project Management Methodologies (PMMs), there is only scant research examining how and why organisations select agile approaches for managing and delivering Information Technology /Information Systems (IT/IS) projects. This paper reports on the findings of such research conducted within the context of a large technology focused case organisation. The findings identify significant variance between business lines, specifically between product development and software development functions and their ability to follow agile guidelines. Generally across the organisation there was limited evidence of tailoring to context, an important organi ...

ریز پردازنده های چند هسته ای

فایل ریز پردازنده چند هسته ای  در 15 صفحه و در قالب ورد و با قابلیت ویرایش و به صورت کامل که دارای چکیده،نتیجه گیری و.... می باشد شما می توانید با پرداخت هزینه ای اندک پروژه دانشجویی ریز پردازنده های چند هسته ای را خریداری و دانلود نمایید. فهرست مطالب پردازنده چند هسته‌ای چکیده پس زمینه تاریخچه مختصری از ریزپردازنده‌ها قانون مور نیازمندی به چند هسته‌ای‌ها مبناهای چند هسته ای پیاده سازی چند هسته ای پردازنده‌های دو هسته‌ای AMD و Intel چالش‌های چند هسته‌ای توان و دما انسجام حافظه نهان از پروتکل جستجوگر ۲ پروتکل مبتنی بر directory چند نخی سیستم باس و شبکه‌های به هم متصل نتیجه گیری منابع ...

مقاله زمان بندی سیستم های Real time با کارهای دوره ای با استفاده از روش Model checking - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : زمان بندی سیستم های زمان واقعی با کارهای دوره ای با استفاده از یک روش بررسی مدل   عنوان انگلیسی مقاله: Scheduling Real-Time Systems with Periodic Tasks using a Model-checking Approach 978-1-4799-4905-2/14/$31.00 ©2014 IEEE   چکیده انگلیسی مقاله: Abstract—Scheduling theory presents analytical solutions for different scheduling schemes, most of which based on necessary or sufficient conditions only. Available methods based on graphs use quantitative temporal reasoning to answer about decidability and to find feasible schedules. In this paper we present an alternative technique based on model-checking approach that uses only qualitative temporal reasoning with periodic tasks only. That technique gives a necessary and sufficient condition for decidability and assists the design of feasible static or quasistatic offline schedulers. Prospective results are illustrated by an example where a feasible solution can be reached dealing with aceptab ...

دانلود مقاله بهینه سازی و کاربرد زمان واقعی رویکرد زمان بندی ARM لینوکس نهفته - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : بهینه سازی و کاربرد زمان واقعی رویکرد زمان بندی ARM لینوکس نهفته   عنوان انگلیسی مقاله: Real-Time Optimization and Application of the Embedded ARM-Linux Scheduling Policy 978-0-7695-4522-6/11 $26.00 © 2011 IEEE   چکیده انگلیسی مقاله: Abstract—Real-time is key feature in signal acquisition terminal of intelligent transportation. Furthermore, Linux on the terminal influence performance of signal acquisition directly. So it is necessary to improve real-time of Linux operating system. In this paper, by analyzing real-time scheduling policy and clock mechanism on Linux2.6.12 kernel, a new optimization for embedded ARM-S3C2440 framework is introduced into kernel scheduling module. On the basis of O(1) algorithm, LSF scheduling algorithm is proposed to improve scheduling policy. At additional, four aspects: process scheduling mechanism, kernel preempt, clock mechanism, virtual memory mechanism are made simple modifications. At final, new kerne ...

مقاله مقایسه الگوریتم های زمان واقعی RT Linux و Vx Works - مقاله انگلیسی با ترجمه فارسی

  عنوان فارسی مقاله : مقایسه الگوریتم های زمان واقعی RTLinux و VxWorks   عنوان انگلیسی مقاله: Comparison between scheduling algorithms in RTLinux and VxWorks   چکیده انگلیسی مقاله: The scheduler decides wich one of the available tasks that will be next to be processed by the CPU. To make this decision the scheduler checks the priority levels of the scheduled tasks and apply a predefined schedule algorithm. This report will compare the scheduling algorithms in the real-time operating systems RTLinux and VxWorks and comes to the conclusion that the two compared systems are roughly equivalent in most uses in regards to this. ترجمه چکیده مقاله به فارسی: زمان بند تصمیم می گیرد که کدام یک از کارهای موجود ابتدا پردازش شوند. برای این تصمیم گیری، زمان بند اولویت کارهای زمان بندی شده را بررسی کرده و یگ الگوریتم زمان بندی از پیش تعیین شده را به کار می گیرد. این گزارش الگوریتم های زمان بندی واقعی را در سیستم عامل های زمان واقعی RTLinux و VxWorks را با هم مقایسه کرده و به ...

دانلود مقاله زمان بندی لینوکس در Embedded System - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : زمان بندی لینوکس در یک سیستم نهفته   عنوان انگلیسی مقاله: Process Scheduling of Linux in Embedded System 978-1-4244-7237-6/$26.00 C 2010 IEEE   چکیده انگلیسی مقاله: Abstract—Linux is a multi-user multi-tasking operating system. Process scheduling is the hardcore of this multi-tasking operating system. The characteristics of process scheduling of embedded Linux are analyzed. The real-time scheduling algorithm of embedded Linux is especially discussed and an instance of priority-driven scheduling algorithm is illustrated in detail. In this example, the problem of priority inversion in process scheduling is solved perfectly. ترجمه چکیده مقاله به فارسی: لینوکس یک سیستم عامل چند کاربره و چندکاره است. زمان بندی فرایند سنگ بنای این سیستم عامل است. مشخصه های زمان بندی فرایند در این سیستم عامل مورد تحلیل قرار می گیرند. الگوریتم زمان بندی زمان واقعی لینوکس نهفته به طور خاص مورد بحث قرار می گیرد و یک مثال از الگوریتم زمان بندی بر اساس اولویت به طور د ...

دانلود مقاله مقایسه الگوریتم های زمان واقعی با استفاده از کارهای نمایشی و ارزیابی گسترش زمان واقعی لینوکس

عنوان فارسی مقاله : مقایسه الگوریتم های زمان واقعی با استفاده از کارهای نمایشی و ارزیابی گسترش زمان واقعی لینوکس عنوان انگلیسی مقاله: MS project proposal: A comparison of real-time scheduling algorithms using visualization of tasks and evaluation of real-time extensions to Linux چکیده انگلیسی مقاله: Real-time Systems are computer systems that require responses within specified time limits or constraints. Many real-time systems are digital control systems comprised entirely of binary logic or a microprocessor dedicated to one software application that is its own operating system. In recent years, the reliability of general-purpose real-time operating systems (RTOS) consisting of a scheduler and system resource management has improved. In this project, I will write a real-time simulator (RTS), write a workload generator, write analysis tools, and run and interpret the results. The main analysis tool I propose to develop will be a measurement system that analyzes real-time schedulin ...

دانلود مقاله اثر روش های چابک بر مدیریت پروژه های نرم افزاری - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : اثر روش های چابک بر مدیریت پروژه های نرم افزاری   عنوان انگلیسی مقاله: The Impact of Agile Methods on Software Project Management 0-7695-2308-0/05 $20.00 © 2005 IEEE چکیده انگلیسی مقاله: As more and more software projects engage Agile Methods, there are emerging patterns of success and failure. With growing adoption of Agile Methods, project managers increasingly need to understand the applicability to their projects and factors that drive key project performance characteristics. While some organizations affirm that Agile Methods solve all their problems, few have shown consistent success over a range of typical software projects. Agile Methods have advantages, especially in accommodating change due to volatile requirements. However, they also present concomitant risks with managing the many dependent pieces of work distributed across a large project. Use of Agile Methods therefore presents a set of tradeoffs. This paper examines the impact of Agil ...

دانلود مقاله یک ابزار پشتیبانی مدیریت پروژه با استفاده از ارتباط برای توسعه نرم افزار چابک - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : یک ابزار پشتیبانی مدیریت پروژه با استفاده از ارتباط برای توسعه نرم افزار چابک   عنوان انگلیسی مقاله: A project management support tool using communication for agile software development 1530-1362/04 $ 20.00 IEEE چکیده انگلیسی مقاله: Recently, agile software development methods are popular because software should be developed in a short period. However, conventional project management techniques are often not adaptable to such new development methodologies. Especially, progress and quality control of the document-based management does not fit the agile software development. Therefore, a new project management support tool has been developed based on a new communication model. The new model focuses on relationships between communication and project states. The basic idea of the model is that good communication leads to high quality products and good progress of projects. Based on scattering ratio of communication on time series, the tool can calculate pro ...

دانلود مقاله مدیریت پروژه چابک با تیم های توسعه - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : اسکرام توزیع یافته: مدیریت پروژه چابک با تیم های توسعه برون سپرده   عنوان انگلیسی مقاله: Distributed Scrum: Agile Project Management with Outsourced Development Teams 0-7695-2755-8/07 $20.00 © 2007 IEEE چکیده انگلیسی مقاله: Agile project management with Scrum derives from best business practices in companies like Fuji-Xerox, Honda, Canon, and Toyota. Toyota routinely achieves four times the productivity and 12 times the quality of competitors. Can Scrum do the same for globally distributed teams? Two Agile companies, SirsiDynix and StarSoft Development Laboratories achieved comparable performance developing a Java application with over 1,000,000 lines of code. During 2005, a distributed team of 56 Scrum developers working from Provo, Utah; Waterloo, Canada; and St. Petersburg, Russia, delivered 671,688 lines of production Java code. At 15.3 function points per developer/month, this is the most productive Java project ever documented. SirsiDynix bes ...

دانلود مقاله به کارگیری اقدامات مدیریت چابک در محیط سنتی پروژه - مقاله انگلیسی با ترجمه فارسی

عنوان فارسی مقاله : به کارگیری اقدامات مدیریت چابک در محیط سنتی پروژه: یک مورد مطالعاتی IT/IS   عنوان انگلیسی مقاله: The adoption of agile management practices in a traditional project environment: An IT/IS Case Study 1530-1605/15 $31.00 © 2015 IEEE چکیده انگلیسی مقاله: Despite the growing interest in the usage and application of Agile Project Management Methodologies (PMMs), there is only scant research examining how and why organisations select agile approaches for managing and delivering Information Technology /Information Systems (IT/IS) projects. This paper reports on the findings of such research conducted within the context of a large technology focused case organisation. The findings identify significant variance between business lines, specifically between product development and software development functions and their ability to follow agile guidelines. Generally across the organisation there was limited evidence of tailoring to context, an important organi ...