Sciweavers

3330 search results - page 267 / 666
» software 2010
Sort
View
99
Voted
UIST
2010
ACM
14 years 10 months ago
D-Macs: building multi-device user interfaces by demonstrating, sharing and replaying design actions
Multi-device user interface design mostly implies creating a suitable interface for each targeted device, using a diverse set of design tools and toolkits. This is a time consumin...
Jan Meskens, Kris Luyten, Karin Coninx
133
Voted
ICST
2010
IEEE
14 years 11 months ago
Generating Transition Probabilities for Automatic Model-Based Test Generation
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
Abderrahmane Feliachi, Hélène Le Gue...
CBSE
2010
Springer
15 years 4 months ago
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
Gwenaël Delaval, Éric Rutten
153
Voted
IWPC
2010
IEEE
14 years 11 months ago
Identification of Idiom Usage in C++ Generic Libraries
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
Andrew Sutton, Ryan Holeman, Jonathan I. Maletic
92
Voted
WCET
2010
14 years 10 months ago
Toward Precise PLRU Cache Analysis
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, cache analysis is mandat...
Daniel Grund, Jan Reineke