دانلود مقاله ISI انگلیسی شماره 67540
ترجمه فارسی عنوان مقاله

یک زبان برنامه نویسی امن توسط طراحی برای شبکه های حسگر بی سیم

عنوان انگلیسی
A safe-by-design programming language for wireless sensor networks
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
67540 2016 17 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

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

این مقاله تقریباً شامل 14055 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 90 تومان 19 روز بعد از پرداخت 1,264,950 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 180 تومان 10 روز بعد از پرداخت 2,529,900 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Journal of Systems Architecture, Volume 63, February 2016, Pages 16–32

ترجمه کلمات کلیدی
زبان برنامه نویسی؛ کامپایلر؛ ماشین مجازی؛ نوع ایمنی؛ شبکه حسگر بی سیم
کلمات کلیدی انگلیسی
Programming language; Compiler; Virtual machine; Type safety; Wireless sensor network
پیش نمایش مقاله
پیش نمایش مقاله  یک زبان برنامه نویسی امن توسط طراحی برای شبکه های حسگر بی سیم

چکیده انگلیسی

Wireless sensor networks are notoriously difficult to program and debug. This fact not only stems from the nature of the hardware, but also from the current approaches for developing programming languages and runtime systems for these platforms. In particular, current systems do not place enough stress on providing formal descriptions of the language and its runtime system, and on proving static properties, like type-safety and soundness. In this paper, we present the design, specification, and implementation of a programming language and a runtime system for wireless sensor networks that are safe by design. We say this in the sense that we can statically detect a large set of would-be runtime errors, and that the runtime system will not incorrectly execute an application, once the latter is deployed. We have a full prototype implementation of the system that supports SunSPOT devices, the simulation tool VisualSense, and local computer networks for fast deployment and testing of applications. Development is supported by an IDE implemented on top of the Eclipse tool that embeds both the compiler and the virtual machine seamlessly, and is used to produce software releases.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

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

این مقاله شامل 14055 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 90 تومان 19 روز بعد از پرداخت 1,264,950 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 180 تومان 10 روز بعد از پرداخت 2,529,900 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.