1714 search results - page 81 / 343 » Abstract Models of Memory Management |
131
click to vote
ISLPED
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents an energy-conservation method for multiple disks and their cache memory. Our method periodically resizes the cache memory and controls the rotation speeds unde...
131
click to vote
AIMS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper addresses the problem of specifying and establishing secure collaborations between autonomous entities that need to interact and depend on each other in order ...
105
click to vote
GBRPR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper deals with the problem of graphical knowledge management (formalization, modelling, representation and operationalization) in graphics recognition systems. We ...
116
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
125
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...