875 search results - page 55 / 175 » A New Approach for Testing Properties of Discrete Distributi... |
133
click to vote
RT
2004
Springer
15 years 10 months ago
2004
Springer
With the advancements in realtime ray tracing and new global illumination algorithms we are now able to render the most important illumination effects at interactive rates. One of...
147
click to vote
HPCA
2006
IEEE
16 years 5 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
123
click to vote
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
Web-service-related techniques have become popular to improve system integration and interaction. In distributed and dynamic environment, web services’ availability has been reg...
128
click to vote
MOBISYS
2006
ACM
16 years 4 months ago
2006
ACM
Deployments of wireless LANs consisting of hundreds of 802.11 access points with a large number of users have been reported in enterprises as well as college campuses. However, du...
129
Voted
DSRT
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...