Sciweavers

2697 search results - page 362 / 540
» Developing Gestural Input
Sort
View
116
Voted
EMSOFT
2009
Springer
15 years 11 months ago
Probabilistic modeling of data cache behavior
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
Vinayak Puranik, Tulika Mitra, Y. N. Srikant
ICMT
2009
Springer
15 years 11 months ago
Supporting Parallel Updates with Bidirectional Model Transformations
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Take...
MHCI
2009
Springer
15 years 11 months ago
Studying multi-user settings for pervasive games
Whenever a pervasive game has to be developed for a group of children an appropriate multi-user setting has to be found. If the pervasive game does not support the children with a...
Karin Leichtenstern, Elisabeth André
APLAS
2009
ACM
15 years 11 months ago
Asymptotic Resource Usage Bounds
When describing the resource usage of a program, it is usual to talk in asymptotic terms, such as the well-known “big O” notation, whereby we focus on the behaviour of the prog...
Elvira Albert, Diego Alonso, Puri Arenas, Samir Ge...
144
Voted
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
15 years 11 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt