论文信息 - System-level modelling and performance analysis - 字舞流文

System-level modelling and performance analysis

Jeroen Voeten | L. J. van Bokhoven | M.P.J. Stevens | J. P. Veen | J.C.M. Baeten | BD Bart Theelen | P.H.A. van der Putten | G. de Jong | A.M.M. Niemegeers

[1] M.P.J. Stevens,et al. Systematic development of industrial control systems using software/hardware engineering , 1997, Proceedings 23rd Euromicro Conference New Frontiers of Information Technology - Short Contributions -.

[2] Xinjie Chang. Network simulations with OPNET , 1999, WSC '99.

[3] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.

[4] Jeroen Voeten,et al. Temporal Rewards for Performance Evaluation , 2000, ICALP Satellite Workshops.

[5] L. J. van Bokhoven,et al. An analytical approach towards system level performance analysis , 1999 .

[6] Srinivasan Keshav,et al. An Engineering Approach to Computer Networking: ATM Networks , 1996 .

[7] Jeroen Voeten,et al. Real-time concepts for a formal specification language for software hardware systems , 1997 .

[8] Joseph Sifakis,et al. An Overview and Synthesis on Timed Process Algebras , 1991, CAV.

[9] Jeroen Voeten,et al. Object-oriented co-design for hardware/software systems , 1995 .

[10] L. J. van Bokhoven,et al. A probabilistic real-time calculus for performance evaluation , 1999 .

[11] Marc Geilen,et al. Software synthesis for system level design using process execution trees , 1999, Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium.

[12] M. P. J. Stevens,et al. Object-oriented modelling and specification using SHE , 2001, Comput. Lang..