854 search results - page 112 / 171 » Addressing Dynamic Issues of Program Model Checking |
111
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— High power dissipation in packet switches and routers is fast turning into a key problem, owing to increasing line speeds and decreasing chip sizes. To address this issue, we i...
130
click to vote
LCPC
1997
Springer
15 years 6 months ago
1997
Springer
The data distribution problem is very complex, because it involves trade-offdecisions between minimizing communication and maximizing parallelism. A common approach towards solving...
104
Voted
ECR
2006
15 years 2 months ago
2006
Within the software industry software piracy is a great concern. In this article we address this issue through a prevention technique called software watermarking. Depending on ho...
139
Voted
HPCA
2008
IEEE
16 years 2 months ago
2008
IEEE
Cache partitioning and sharing is critical to the effective utilization of multicore processors. However, almost all existing studies have been evaluated by simulation that often ...
175
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
—This paper addresses context issues in pervasive mobile computing and presents a semantic context model to support location based cooperative mobile applications. In this paper,...