127 search results - page 25 / 26 » A Framework for Partial Data Flow Analysis |
SIAMCO
2008
13 years 6 months ago
2008
The aim of this paper is to adapt the Viability Theorem from differential inclusions (governing the evolution of vectors in a finite dimensional space) to so-called morphological i...
CASES
2007
ACM
13 years 10 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
PPOPP
2006
ACM
14 years 3 days ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
SBIA
1995
Springer
13 years 9 months ago
1995
Springer
ion Framework for Compositional Modeling 36 Diane Chi and Yumi Iwasaki Model Decomposition and Simulation 45 Daniel J. Clancy and Benjamin Kuipers A Distance Measure for Attention ...
CORR
2008
Springer
13 years 6 months ago
2008
Springer
In this work we present a measurement study of user mobility in Second Life. We first discuss different techniques to collect user traces and then focus on results obtained using ...