2165 search results - page 227 / 433 » cases 2005 |
158
click to vote
CAV
2005
Springer
16 years 1 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
169
click to vote
CIKM
2005
Springer
16 years 1 days ago
2005
Springer
Accurately and efficiently estimating the number of distinct values for some attribute(s) or sets of attributes in a data set is of critical importance to many database operation...
180
click to vote
EUROPAR
2005
Springer
16 years 17 hour ago
2005
Springer
The model of moldable task (MT) was introduced some years ago and has been proved to be an efficient way for implementing parallel applications. It considers a target application ...
175
click to vote
HIPEAC
2005
Springer
16 years 12 hour ago
2005
Springer
Abstract. Designers of large parallel computers and clusters are becoming increasingly concerned with the cost and power consumption of the interconnection network. A simple way to...
194
click to vote
WINE
2005
Springer
15 years 12 months ago
2005
Springer
Consider a network vulnerable to viral infection. The system security software can guarantee safety only to a limited part of the network. Such limitations result from economy cos...