3272 search results - page 120 / 655 » Introduction to Software Performance Engineering |
148
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
105
click to vote
FMOODS
2006
15 years 5 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
173
click to vote
TCAD
2010
14 years 11 months ago
2010
In recent years, structured application-specific integrated circuit (ASIC) design style has lessened the importance of mask cost. Multiple structured ASIC chip designs share the sa...
112
click to vote
MSR
2005
ACM
15 years 10 months ago
2005
ACM
Over 200 CVS repositories representing the assignments of students in a second year undergraduate computer science course have been assembled. This unique data set represents many...
146
click to vote
TCOM
2010
14 years 11 months ago
2010
The performance of an automatic frequency control (AFC) loop is investigated using two measures, the mean time to loss of lock and the average switching rate. The AFC is considere...