Titlebook: Embedded Software; Third International Rajeev Alur,Insup Lee Conference proceedings 2003 Springer-Verlag Berlin Heidelberg 2003 Middleware

Defect

书目名称Embedded Software影响因子(影响力)




书目名称Embedded Software影响因子(影响力)学科排名




书目名称Embedded Software网络公开度




书目名称Embedded Software网络公开度学科排名




书目名称Embedded Software被引频次




书目名称Embedded Software被引频次学科排名




书目名称Embedded Software年度引用




书目名称Embedded Software年度引用学科排名




书目名称Embedded Software读者反馈




书目名称Embedded Software读者反馈学科排名

Fretful

angiography

Contend

Rate Monotonic vs. EDF: Judgment Dayfashion, because the use of EDF allows a better exploitation of the available resources and significantly improves system’s performance. This paper compares RM against EDF under several aspects, using existing theoretical results or simple counterexamples to show that many common beliefs are either false or only restricted to specific situations.

tolerance

Gudgeon

Energy-Efficient Multi-processor Implementation of Embedded Softwareble when only the worst/best case execution time are known and further energy reduction is possible with the probabilistic distribution of execution time. The proposed algorithms have been implemented and their energy-efficiency have been verified by simulations over real-life DSP applications and the TGFF random benchmark suite.

Gudgeon

Budget

蚀刻

Clocks as First Class Abstract Typesks as ., the paper presents a simpler clock calculus reminiscent to ML type systems with first order abstract types . Laufer & Odersky. Not only this system provides clock inference, it shares efficient implementations of ML type systems and appears to be expressive enough for many real applications.

提炼