12333 search results - page 535 / 2467 » System Level Modelling for Hardware Software Systems |
173
click to vote
DSE
1998
15 years 6 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
199
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. As part of ongoing work on evaluating Milner's bigraphical reactive systems, we investigate bigraphical models of context-aware systems, a facet of ubiquitous comput...
177
click to vote
IJSEKE
2008
15 years 7 months ago
2008
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
219
click to vote
IJHPCA
2011
15 years 2 months ago
2011
Over the last twenty years, the open source community has provided more and more software on which the world’s High Performance Computing (HPC) systems depend for performance ...
251
click to vote
REALWSN
2010
15 years 1 months ago
2010
Pre-deployment tests of sensor networks in indoor testbeds can only deliver a very approximate view of the correctness and performance of a deployed sensor network and it is theref...