5639 search results - page 258 / 1128 » Timed Abstract Non-interference |
119
click to vote
ICES
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. There have been introduced a number of systems with evolvable hardware on a single chip. To overcome the lack of flexibility in these systems, we propose a single-chip e...
159
click to vote
PARA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This contribution presents algorithms, methods, and software for a Grid resource manager, responsible for resource brokering and scheduling in early production Grids. The...
101
click to vote
EUROPAR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We describe a parallel Fortran 77 implementation, in ScaLAPACK style, of a block matrix 1-norm estimator of Higham and Tisseur. This estimator differs from that underlyi...
119
click to vote
PAPM
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...
124
click to vote
CONCUR
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...