2357 search results - page 27 / 472 » Computing Refactorings of Behavior Models |
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
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...
PPAM
2005
Springer
15 years 3 months ago
2005
Springer
Algorithms for the sparse matrix-vector multiplication (shortly SpM×V ) are important building blocks in solvers of sparse systems of linear equations. Due to matrix sparsity, the...
APN
2004
Springer
15 years 3 months ago
2004
Springer
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
VRST
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we analyze and try to predict the gaze behavior of users navigating in virtual environments. We focus on first-person navigation in virtual environments which invol...
AAAI
2010
14 years 11 months ago
2010
The selection of the action to do next is one of the central problems faced by autonomous agents. In AI, three approaches have been used to address this problem: the programming-b...