5196 search results - page 209 / 1040 » State of Application Assessment |
127
click to vote
FASE
2003
Springer
15 years 9 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
123
click to vote
ACSD
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...
105
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We give an algorithm that computes the final state of certain growth models without computing all intermediate states. Our technique is based on a "least action principle"...
173
click to vote
COLCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—This paper describes experiences from implementing an experimental mobile peer-to-peer application called Peer2Schedule aimed at improving and supporting collaboration w...
256
click to vote
TPDS
2008
15 years 3 months ago
2008
Multiple applications that execute concurrently on heterogeneous platforms compete for CPU and network resources. In this paper, we consider the problem of scheduling applications ...