4075 search results - page 391 / 815 » Modeling Distributed Algorithm Using B |
162
click to vote
ATAL
2004
Springer
16 years 7 days ago
2004
Springer
Decision-theoretic models have become increasingly popular as a basis for solving agent and multiagent problems, due to their ability to quantify the complex uncertainty and prefe...
182
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
182
click to vote
ISLPED
2003
ACM
16 years 2 days ago
2003
ACM
Energy constrained systems such as sensor networks can increase their usable lifetimes by extracting energy from their environment. However, environmental energy will typically no...
171
click to vote
SPAA
1995
ACM
15 years 10 months ago
1995
ACM
Many high-level parallel programming languages allow for fine-grained parallelism. As in the popular work-time framework for parallel algorithm design, programs written in such lan...
200
click to vote
JSAC
2006
15 years 6 months ago
2006
This tutorial paper overviews recent developments in optimization-based approaches for resource allocation problems in wireless systems. We begin by overviewing important results i...