7103 search results - page 265 / 1421 » Program Generation and Components |
166
Voted
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Limited numerical precision of nVidia GeForce 8800 GTX and other GPUs requires careful implementation of PRNGs. The Park-Miller PRNG is programmed using G80’s native Value4f ï...
175
click to vote
HASE
2005
IEEE
16 years 21 days ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
184
click to vote
ATAL
2005
Springer
16 years 19 days ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
155
click to vote
ECAL
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Developmental models simulate the spatio-temporal development of a complex system. The system described in this paper combines the advantages of a number of previously di...
175
click to vote
PUC
2006
15 years 7 months ago
2006
Traditional remote controls typically allow users to activate functionality of a single device. Given that users activate a subset of functionality across devices to accomplish a p...