1195 search results - page 139 / 239 » New constructions of SSPDs and their applications |
132
click to vote
IJHCI
2010
15 years 4 months ago
2010
Motivation – Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the acti...
154
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
193
click to vote
PR
2010
15 years 4 months ago
2010
Biometric based personal authentication is an effective method for automatically recognizing, with a high confidence, a person’s identity. By observing that the texture pattern p...
142
click to vote
PTS
2010
15 years 4 months ago
2010
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
157
click to vote
TCS
2010
15 years 4 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...