3872 search results - page 490 / 775 » The Java memory model |
137
Voted
CRIWG
2006
15 years 7 months ago
2006
This paper proposes a conceptual model standardizing the meeting information structures underlying several scenarios o PDA use in meetings. The paper characterizes the memory and p...
180
click to vote
GEOINFO
2004
15 years 7 months ago
2004
: The performance of a walkthrough over terrain models is deeply influenced by the real scenario high level of details. To guarantee natural and smooth changes in a sequence of sce...
148
click to vote
WSC
2004
15 years 7 months ago
2004
In time-parallel simulation, the simulation time axis is decomposed into a number of slices which are assigned to parallel processes for concurrent simulation. Although a promisin...
187
click to vote
GG
2010
Springer
15 years 6 months ago
2010
Springer
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after ...
159
click to vote
HPCC
2009
Springer
15 years 4 months ago
2009
Springer
Domain-partition (DP) model is a general model for reliability maximization problem under given redundancy. In this paper, an improved DP model is used to formulate a reconfigurati...