245 search results - page 41 / 49 » Efficient Symbolic Model Checking for Process Algebras |
JTRES
2010
ACM
14 years 9 months ago
2010
ACM
Chip-multiprocessors offer increased processing power at a low cost. However, in order to use them for real-time systems, tasks have to be scheduled efficiently and predictably. I...
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
Most wavelet-based image coders fail to model the joint coherent behavior of wavelet coefficients near edges. Wedgelets offer a convenient parameterization for the edges in an ima...
ACISP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Permission-role assignment is an important issue in rolebased access control (RBAC). There are two types of problems that may arise in permission-role assignment. One is ...
QEST
2007
IEEE
15 years 3 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
ANSS
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper proposes a parallel cycle-accurate microarchitectural simulator which efficiently executes its workload by splitting the simulation process along time-axis into many in...