6756 search results - page 992 / 1352 » Distributed Shared State |
189
Voted
EUROPAR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
218
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
This paper extends the Boltzmann Selection, a method in EDA with theoretical importance, from discrete domain to the continuous one. The difficulty of estimating the exact Boltzma...
202
click to vote
TACAS
2000
Springer
15 years 11 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
171
Voted
ICS
1995
Tsinghua U.
15 years 11 months ago
1995
Tsinghua U.
Threads provide a useful programming model for asynchronous behavior because of their ability to encapsulate units of work that can then be scheduled for execution at runtime, bas...
181
click to vote
CONCUR
1991
Springer
15 years 11 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...