Sciweavers

2846 search results - page 427 / 570
» A Software Performance Engineering Tool based on the UML-SPT
Sort
View
APPINF
2003
15 years 7 months ago
A Framework for the Analysis and Comparison of Hypermedia Design Methods
Due to increasing size and complexity of hypermedia and web applications, there is growing concern by how to develop quality, reusable and maintainable hypermedia systems. In fact...
Susana Montero, Paloma Díaz, Ignacio Aedo
DSE
1998
80views more  DSE 1998»
15 years 6 months ago
The Voltan application programming environment for fail-silent processes
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
Dave Black, C. Low, Santosh K. Shrivastava
ICST
2010
IEEE
15 years 5 months ago
Fault Detection Likelihood of Test Sequence Length
— Testing of graphical user interfaces is important due to its potential to reveal faults in operation and performance of the system under consideration. Most existing test appro...
Fevzi Belli, Michael Linschulte, Christof J. Budni...
EMSOFT
2010
Springer
15 years 4 months ago
Energy-aware packet and task co-scheduling for embedded systems
A crucial objective in battery operated embedded systems is to work under the minimal power consumption that provides a desired level of performance. Dynamic Voltage Scaling (DVS)...
Luca Santinelli, Mauro Marinoni, Francesco Prosper...
WCET
2010
15 years 4 months ago
METAMOC: Modular Execution Time Analysis using Model Checking
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
Andreas E. Dalsgaard, Mads Chr. Olesen, Martin Tof...