140
click to vote
APN
2006
Springer
15 years 7 months ago
2006
Springer
A netchart is basically a Petri net whose places are located at some process and whose transitions are labeled by message sequence charts (MSCs). Two recent papers showed independe...
109
click to vote
APN
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents the EXHOST-PIPE software: an extension of PIPE
114
click to vote
APN
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
146
click to vote
APN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
133
click to vote
APLAS
2006
ACM
15 years 7 months ago
2006
ACM
Abstract. Fast dynamic compilers trade code quality for short compilation time in order to balance application performance and startup time. This paper investigates the interplay o...