3872 search results - page 580 / 775 » The Java memory model |
143
click to vote
FORMATS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
119
click to vote
GRAPHITE
2007
ACM
15 years 6 months ago
2007
ACM
Point-sampled geometry has gained significant interest due to their simplicity. The lack of connectivity touted as a plus, however, creates difficulties in many operations like ge...
120
click to vote
APWEB
2003
Springer
15 years 6 months ago
2003
Springer
People display regularities in almost everything they do. This paper proposes characteristics of an idealized algorithm that would allow an automatic extraction of web user profil ...
157
click to vote
EEF
2000
15 years 6 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
127
click to vote
PADS
1998
ACM
15 years 6 months ago
1998
ACM
A number of library-based parallel and sequential network simulators have been designed. This paper describes a library, called GloMoSim (for Global Mobile system Simulator), for ...