22358 search results - page 4274 / 4472 » Software Performance Engineering |
144
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
124
Voted
USS
2010
15 years 1 months ago
2010
Reverse Turing tests, or CAPTCHAs, have become an ubiquitous defense used to protect open Web resources from being exploited at scale. An effective CAPTCHA resists existing mechan...
134
click to vote
USS
2010
15 years 1 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...
172
click to vote
CLEF
2009
Springer
15 years 1 months ago
2009
Springer
This paper describe the last round of the medical image annotation task in ImageCLEF 2009. After four years, we defined the task as a survey of all the past experience. Seven grou...
143
click to vote
EKNOW
2009
15 years 1 months ago
2009
Modeling is a complex and central activity in many domains. Domain experts and designers usually work by drawing and create models from the middle-out; however, visual and middle-...