12333 search results - page 2156 / 2467 » System Level Modelling for Hardware Software Systems |
146
click to vote
SIGMETRICS
2004
ACM
15 years 10 months ago
2004
ACM
A large variety of communication systems, including telephone and data networks, can be represented by so-called Whittle networks. The stationary distribution of these networks is...
137
Voted
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
138
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
156
click to vote
ACSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
A smart card runtime environment must provide the proper transaction support for the reliable update of data, especially on multiapplication cards like the Java Card. The transact...
135
Voted
HPCN
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. High Performance Fortran (hpf) is a data-parallel Fortran for Distributed Memory Multiprocessors. Hpf provides an interesting programming model but compilers are yet to c...