6941 search results - page 1215 / 1389 » Testing as a Certification Approach |
113
click to vote
KDD
2009
ACM
15 years 11 months ago
2009
ACM
Anomalous windows are the contiguous groupings of data points. In this paper, we propose an approach for discovering anomalous windows using Scan Statistics for Linear Intersectin...
147
click to vote
LCTRTS
2009
Springer
15 years 11 months ago
2009
Springer
Register file (RF) is extremely vulnerable to soft errors, and traditional redundancy based schemes to protect the RF are prohibitive not only because RF is often in the timing c...
128
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—With the increasing scaling of manufacturing technology, process variation is a phenomenon that has become more prevalent. As a result, in the context of Chip Multiproce...
142
click to vote
ICPPW
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper, we investigate the differences and tradeoffs imposed by two parallel Haskell dialects running on multicore machines. GpH and Eden are both constructed using the h...
125
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...