1040 search results - page 50 / 208 » Resource Usage Verification |
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
CISS
2008
IEEE
15 years 4 months ago
2008
IEEE
— We consider a network setting, where a single Service Provider (SP) provides wireless data services to a group of users in the downlink. The transmission model is similar to OF...
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
Once a new gene has been sequenced, it must be verified whether or not it is similar to previously sequenced genes. In many cases, the organization that sequenced a potentially n...
CHI
2005
ACM
14 years 11 months ago
2005
ACM
Many design models and representations have been proposed to support user-centered system design, such as scenarios, use cases, and prototypes. With these artifacts, designers typ...
CE
2008
14 years 10 months ago
2008
Taking advantage of the continuously improving, web-based learning systems plays an important role for self-learning, especially in the case of working people. Nevertheless, learn...