4075 search results - page 144 / 815 » Modeling Distributed Algorithm Using B |
ISLPED
1997
ACM
14 years 3 months ago
1997
ACM
We present detailed analytical models for estimating the energy dissipation in conventional caches as well as low energy cache architectures. The analytical models use the run tim...
3DPVT
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper describes a cheap and easy method of capturing colour images in order to map textures accurately onto range data. By using an empirical mapping algorithm it avoids syst...
ATAL
2009
Springer
14 years 5 months ago
2009
Springer
To better represent human interactions in social networks, the authors take a network-oriented simulation approach to analyze the evolution of acquaintance networks based on local...
PKDD
2009
Springer
14 years 5 months ago
2009
Springer
Co-clustering has emerged as an important technique for mining contingency data matrices. However, almost all existing coclustering algorithms are hard partitioning, assigning each...
PE
2000
Springer
13 years 10 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...