488 search results - page 70 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
135
click to vote
EGH
2010
Springer
15 years 1 months ago
2010
Springer
Random numbers are extensively used on the GPU. As more computation is ported to the GPU, it can no longer be treated as rendering hardware alone. Random number generators (RNG) a...
119
click to vote
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
108
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
121
click to vote
RIAO
2000
15 years 4 months ago
2000
It is a traditional belief that in order to scale-up to more effective retrieval and access methods modern Information Retrieval has to consider more the text content. The modalit...
130
click to vote
TCS
2008
15 years 3 months ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...