Titlebook: Embedded and Ubiquitous Computing; International Confer Laurence T. Yang,Minyi Guo,Niraj K. Jha Conference proceedings 2004 Springer-Verlag

Fibrin

https://doi.org/10.1007/978-3-031-21195-9near temporal logic over probabilistic timed transition systems. As our proposed probabilistic timed transition system is a general computational model, we have developed general verification methods.

Iatrogenic

https://doi.org/10.1007/978-94-017-2270-4uired number of processors. Based on extensive simulation results, we observe that IDSA offers better success ratio as compared to the existing algorithms in the literature when communication is a dominant factor in the system.

debris

Automatic Synthesis and Verification of Real-Time Embedded Software kernel from SGM, by adapting it for embedded software. Application examples developed using VERTAF demonstrate significantly reduced design efforts as compared to that without VERTAF, which shows how high-level reuse of software components with automatic synthesis and verification increase design productivity.

Euphonious

Optimizing Address Assignment for Scheduling Embedded DSPs advantage of the address assignment during scheduling, code size and schedule length can be significantly reduced. We propose a multiple-functional-unit algorithm to do both address assignment and scheduling. The experimental results show that our algorithm can greatly reduce code size and schedule length compared to the previous work.

天文台

CON

Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computingnear temporal logic over probabilistic timed transition systems. As our proposed probabilistic timed transition system is a general computational model, we have developed general verification methods.

inundate

An Integrated Scheduling Algorithm for Precedence Constrained Hard and Soft Real-Time Tasks on Heteruired number of processors. Based on extensive simulation results, we observe that IDSA offers better success ratio as compared to the existing algorithms in the literature when communication is a dominant factor in the system.

Toxoid-Vaccines

里程碑

Haidou Wang,Binshi Xu,Jiajun Liuur toolset was applied to the PBX system to model scenarios, as well as to generate a scenario-based multithreaded executable. The study clearly shows that our method can handle large-scale, complex models and that scenario-based multithreading achieves the performance improvements for a real-world model.

ALIEN