2694 search results - page 457 / 539 » Frege's New Science |
EUROSYS
2010
ACM
14 years 7 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverā...
HICSS
2010
IEEE
14 years 5 months ago
2010
IEEE
Numerous recent papers have found important relationships between network structure and risks within networks. These results indicate that network structure can dramatically affec...
ICS
2009
Tsinghua U.
14 years 5 months ago
2009
Tsinghua U.
To sustain emerging data-intensive scientiļ¬c applications, High Performance Computing (HPC) centers invest a notable fraction of their operating budget on a specialized fast sto...
ICST
2009
IEEE
14 years 5 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
COCO
2009
Springer
14 years 4 months ago
2009
Springer
We prove two main results on how arbitrary linear threshold functions f(x) = sign(w Ā· x ā Īø) over the n-dimensional Boolean hypercube can be approximated by simple threshold f...