2756 search results - page 470 / 552 » Computation-Centric Memory Models |
173
Voted
EEF
2000
15 years 7 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...
138
Voted
PADS
1998
ACM
15 years 7 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 ...
158
Voted
FMOODS
2008
15 years 5 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
131
Voted
PDCN
2004
15 years 5 months ago
2004
It is well-known that the time and memory necessary to create a codebook from large training databases have hindered the vector quantization based systems for real applications. T...
122
Voted
WSC
2001
15 years 5 months ago
2001
To enhance the widespread use of a parallel supply chain simulator, a web front-end that enables access at any time and from any location has been developed. The front-end provide...