2186 search results - page 145 / 438 » Considering an Organization's Memory |
166
click to vote
HVC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
143
click to vote
ICPPW
2006
IEEE
16 years 17 days ago
2006
IEEE
A motion panorama is an efficient and compact representation of the underlying video. However, the motion panorama construction process is computationally intensive and hence extr...
170
click to vote
ICSNC
2006
IEEE
16 years 17 days ago
2006
IEEE
We propose a middleware architecture for GSM mobile phones that makes applications for mobile phones platform independent to a large extent as well as the applications made using ...
213
click to vote
ISPD
2006
ACM
16 years 15 days ago
2006
ACM
In this paper, we propose more accurate power/ground network circuit model, which consider both via and ground bounce effects to improve the performance estimation accuracy of on-...
164
click to vote
HIPC
2005
Springer
16 years 2 days ago
2005
Springer
We examine the problem of scheduling concurrent independent flows on multiple-disk I/O storage systems. Two models are considered: in the shared buffer model the memory buffer is ...