3814 search results - page 281 / 763 » YAPI: application modeling for signal processing systems |
175
click to vote
CMSB
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
155
click to vote
SIGMETRICS
2010
ACM
15 years 10 months ago
2010
ACM
Perhaps surprisingly, no practical performance models exist for popular (and complex) client applications such as Adobe’s Creative Suite, Microsoft’s Office and Visual Studio...
182
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
201
click to vote
CLUSTER
2004
IEEE
15 years 5 months ago
2004
IEEE
Fault tolerance in parallel systems has traditionally been achieved through a combination of redundancy and checkpointing methods. This notion has also been extended to message-pas...
183
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
With the growing popularity of Social Web applications, more and more user data is published on the Web everyday. Our research focuses on investigating ways of mining data from su...