25 search results - page 1 / 5 » CADP 2006: A Toolbox for the Construction and Analysis of Di... |
CAV
2007
Springer
13 years 8 months ago
2007
Springer
ISOLA
2010
Springer
13 years 3 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
HT
2009
ACM
13 years 11 months ago
2009
ACM
Data created by social bookmarking systems can be described as 3-partite 3-uniform hypergraphs connecting documents, users, and tags (tagging networks), such that the toolbox of c...
HPCA
2006
IEEE
14 years 5 months ago
2006
IEEE
Processor architects have a challenging task of evaluating a large design space consisting of several interacting parameters and optimizations. In order to assist architects in ma...
ICML
2006
IEEE
14 years 5 months ago
2006
IEEE
Policy evaluation is a critical step in the approximate solution of large Markov decision processes (MDPs), typically requiring O(|S|3 ) to directly solve the Bellman system of |S...