280 search results - page 14 / 56 » Performance Engineering with the UML Profile for Schedulabil... |
EMSOFT
2005
Springer
14 years 2 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...
AGILEDC
2004
IEEE
14 years 14 days ago
2004
IEEE
A longitudinal case study evaluating the effects of adopting the Extreme Programming (XP) methodology was performed at Sabre Airline SolutionsTM. The Sabre team was a characterist...
CISIS
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—Program performance optimisations, feedbackdirected iterative compilation and auto-tuning systems [1] all assume a fixed estimation of execution time given a fixed inp...
TRETS
2010
13 years 7 months ago
2010
s, and abstractions, typically enabling faster development times than with traditional Hardware ion Languages (HDLs). However, programming at a higher level of abstraction is typic...
CGO
2004
IEEE
14 years 14 days ago
2004
IEEE
Predicated execution enables the removal of branches by converting segments of branching code into sequences of conditional operations. An important side effect of this transforma...