1099 search results - page 155 / 220 » Least-Squares Independence Test |
170
click to vote
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
195
click to vote
ICCTA
2007
IEEE
15 years 10 months ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...
119
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...
159
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Online communities increasingly rely on reputation information to foster cooperation and deter cheating. As rational agents can often benefit from misreporting their observations,...
160
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
Predictive accuracy claims should give explicit descriptions of the steps followed, with access to the code used. This allows referees and readers to check for common traps, and t...