1356 search results - page 162 / 272 » The ideal of verified software |
185
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
210
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Consumer electronics today such as cell phones often have one or more low-power FPGAs to assist with energyintensive operations in order to reduce overall energy consumption and i...
182
click to vote
USS
2010
15 years 4 months ago
2010
Despite the widespread deployment of malwaredetection software, in many situations it is difficult to preemptively block a malicious program from infecting a system. Rather, signa...
171
click to vote
ESIAT
2009
IEEE
15 years 4 months ago
2009
IEEE
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...
203
click to vote
TC
2010
15 years 1 months ago
2010
Multithreaded architectures are becoming more and more popular. In order to evaluate their behavior, several methodologies and metrics have been proposed. A methodology defines whe...