6770 search results - page 895 / 1354 » How GPUs Work |
156
click to vote
ACSAC
2001
IEEE
15 years 9 months ago
2001
IEEE
The growth of the Internet opens up tremendous opportunities for cooperative computation, where the answer depends on the private inputs of separate entities. Sometimes these comp...
149
click to vote
ACSAC
2001
IEEE
15 years 9 months ago
2001
IEEE
The state of the science of information security is astonishingly rich with solutions and tools to incrementally and selectively solve the hard problems. In contrast, the state of...
171
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
158
click to vote
ESOP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
156
click to vote
EUROGP
2000
Springer
15 years 9 months ago
2000
Springer
A mathematical formula containing one or more free variables is "general" in the sense that it provides a solution to an entire category of problems. For example, the fa...