1306 search results - page 203 / 262 » A Diagrammatic Approach to Model Completion |
167
click to vote
JAIR
2008
15 years 6 months ago
2008
It has been widely observed that there is no single "dominant" SAT solver; instead, different solvers perform best on different instances. Rather than following the trad...
171
click to vote
JNW
2006
15 years 6 months ago
2006
With the standardization of IEEE 802.11, there has been an explosive growth of wireless local area networks (WLAN). Recently, this cost effective technology is being developed aggr...
190
click to vote
ICPADS
2010
IEEE
15 years 4 months ago
2010
IEEE
The MapReduce programming model simplifies large-scale data processing on commodity clusters by having users specify a map function that processes input key/value pairs to generate...
184
click to vote
P2P
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--When a host discovers that it has a software vulnerability that is susceptible to an attack, the host needs to obtain and install a patch. Because centralized distributio...
183
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Process variations in modern VLSI technologies are growing in both magnitude and dimensionality. To assess performance variability, complex simulation and performance models param...