2167 search results - page 382 / 434 » Stochastic Process Algebras |
FM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
ICCS
2009
Springer
14 years 3 months ago
2009
Springer
The development of high performance dense linear algebra (DLA) critically depends on highly optimized BLAS, and especially on the matrix multiplication routine (GEMM). This is espe...
ICC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—Establishing a radio link in cell-based mobile communication systems involves searching and synchronizing the downlink known pattern of sequences associated with the bas...
ACISP
2008
Springer
14 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 ...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...