Phân tích tư tưởng của nhân dân qua đoạn thơ: Những người vợ nhớ chồng… Những cuộc đời đã hóa sông núi ta trong Đất nước của Nguyễn Khoa Điềm
3372
1
0
9 trang
Analyzing future distributed real-time systems, automotive
and avionic systems, is requiring compositional hard
real-time analysis techniques. Well known established techniques
as SymTA/S and the real-time calculus are candidates solving
the mentioned problem. However both techniques use quite
simple event models. SymTA/S is based on discrete events the
real-time calculus on continuous functions. Such simple models
has been choosen because of the computational complexity of
the considered mathematical operations required for real-time
analysis. Advances in approximation techniques are allowing the
consideration of more expressive descriptions of events. In this
paper such a new expressive event model and its analysis algorithm
are described. It integrates the models of both techniques.
It is also possible in...
Nội dung trích xuất từ tài liệu:
Advanced Hierarchical Event-Stream Model
