276 search results - page 42 / 56 » Thermal modeling and management of DRAM memory systems |
ICDE
2006
IEEE
14 years 8 months ago
2006
IEEE
The rapid increase in the data volumes for the past few decades has intensified the need for high processing power for database and data mining applications. Researchers have acti...
PADS
2003
ACM
14 years 22 days ago
2003
ACM
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...
ENTCS
2002
13 years 7 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
VLSID
2003
IEEE
14 years 7 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
ACMSE
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...