B.D. Theelen, J.P.M. Voeten, L.J. van Bokhoven, G.G. de Jong, A.M.M. Niemegeers, P.H.A. van der Putten, M.P.J. Stevens, J.C.M. Baeten  Home/Search
Context Related
| ics.ele.tue.nl/~svlad/...progress00.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: ics.ele.tue.nl/~svlad/ees5202/... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: To manage complexity and to shorten design time, systemlevel methods for specification and design are becoming more and more important. System-level methods and tools focus on the creation of executable models that describe a system in the earliest phases of the design process. They allow qualitative (correctness) and quantitative (performance) properties to be analyzed before the system is actually being realized in terms of hardware and software components. The results of such early analysis... (Update)
Context of citations to this paper: More
.... application of the POOSL formalism to analyze the performance properties of an industrial sized Internet Router has been presented in [9]. The POOSL language is equipped with a Plotkin style structural operational semantics defining a labeled transi This research is...
...language has proven to be very useful for describing real life industrial systems and for analysing their performance. For instance in [13], POOSL has been applied for analysing the performance of design alternatives for an industrial Internet core router. The POOSL language...
Cited by: More
Accuracy Analysis of Long-Run Average Performance Metrics - Theelen, Voeten, Pribadi (2001) (Correct)
Reducing Markov Chains for Performance Evaluation - Pribadi, Voeten, Theelen (2001) (Correct)
Similar documents (at the sentence level):
26.2%: Performance Modeling in the Large: A Case Study - Theelen, Voeten, van.. (2001) (Correct)
Active bibliography (related documents): More All
1.0: Performance Evaluation With Temporal Rewards - Voeten (2002) (Correct)
0.9: Alcatel -- TUE Frame Project - Project Performance Analysis (Correct)
0.7: An Analytical Approach towards System Level.. - Voeten, Stappers.. (1999) (Correct)
Similar documents based on text: More All
0.3: Modelling Optical WDM Networks using POOSL - Theelen, Voeten, al. (1999) (Correct)
0.2: Performance modelling of a network processor using POOSL - Theelen, Voeten, Kramer (2003) (Correct)
0.2: Simulating System Level Designs - van Bokhoven, Voeten, Verhappen (1999) (Correct)
Related documents from co-citation: More All
2: Specification of Reactive Hardware / Software Systems (context) - van der Putten, Voeten - 1997
2: Markov Chains with Stationary Transition Probabilities (context) - Kai - 1967
2: Stochastic Models: An Algorithmic Approach (context) - Tijms - 1994
BibTeX entry: (Update)
B.D. Theelen, J.P.M. Voeten, L.J. van Bokhoven, G.G. de Jong, A.M.M. Niemegeers, P.H.A. van der Putten, M.P.J. Stevens, J.C.M. Baeten. System-level Modeling and Performance Analysis. In: J.P. Veen, Ed., Proceedings of PROGRESS'00, pp. 141147. Utrecht(The Netherlands): STW Technology Foundation, 2000. http://citeseer.ist.psu.edu/theelen00systemlevel.html More
@misc{ theelen00systemlevel,
author = "B. Theelen and J. Voeten and L. van Bokhoven and G. de Jong and A. Niemegeers
and P. van der Putten and M. Stevens and J. Baeten",
title = "System-level Modeling and Performance Analysis",
text = "B.D. Theelen, J.P.M. Voeten, L.J. van Bokhoven, G.G. de Jong, A.M.M. Niemegeers,
P.H.A. van der Putten, M.P.J. Stevens, J.C.M. Baeten. System-level Modeling
and Performance Analysis. In: J.P. Veen, Ed., Proceedings of PROGRESS'00,
pp. 141147. Utrecht(The Netherlands): STW Technology Foundation, 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/theelen00systemlevel.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
1002 Programming Language (context) - Stroustrup - 1992
129 An Overview and Synthesis on Timed Process Algebras (context) - Nicollin, Sifakis - 1991
129 Smalltalk-80: The Language (context) - Goldberg, Robson - 1989
63 An Engineering Approach to Computer Networking; ATM Networks (context) - Keshav - 1998
22 Specification of Reactive Hardware /Software Systems (context) - van der Putten, Voeten - 1997
18 Real time Concept Formal Specification Language SoftwareHard.. - Voeten, Concepts et al. - 1997
11 Software Synthesis for System Level Design Using Process Exe.. - van Bokhoven, Voeten et al. - 1999
11 Object-Oriented Modelling and Specification using SHE - Geilen, Voeten - 1999
7 Systematic Development Industrial Control System Using Softw.. (context) - van der Putten, Development et al. - 1997
7 A Probabilistic Real-Time Calculus for Performance Evaluatio.. - Voeten, Geilen et al. - 1999
6 Object Oriented coDesign HardwareSoftware System (context) - Voeten, Oriented et al. - 1995
6 Real Time Concept SoftwareHardware Engineering - Time, Software et al. - 1996
5 Towards System Level Performance Modelling - Voeten, van der Putten et al. - 1998
4 Network Simulations with OPNET - Chang - 1999
4 Simulation et Verification d'un Protocole de Telecommunicati.. (context) - Lopez - 1998
3 Temporal Rewards for Performance Evaluation - Voeten - 2000
2 Modelling Optical WDM Networks using POOSL - Theelen, Voeten et al. - 1999
2 An Analytical Approach towards System Level Performance Anal.. - Voeten, Stappers et al. - 1999
Documents on the same site (http://www.ics.ele.tue.nl/~svlad/ees5202/publications/): More
Process Algebra with Probabilistic Choice - Andova (1999) (Correct)
Formal Verification of an Improved Sliding Window Protocol - Chkliaev, Hooman, de Vink (2002) (Correct)
Performance Evaluation With Temporal Rewards - Voeten (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC