2634 search results - page 418 / 527 » Faster Than Uppaal |
151
click to vote
MICRO
2009
IEEE
16 years 21 days ago
2009
IEEE
Transactional Memory aims to provide a programming model that makes parallel programming easier. Hardware implementations of transactional memory (HTM) suffer from fewer overhead...
143
click to vote
INFOCOM
2008
IEEE
16 years 14 days ago
2008
IEEE
—Recent deregulation initiatives enable cellular providers to sell excess spectrum for secondary usage. In this paper, we investigate the problem of optimal spot pricing of spect...
161
click to vote
BIBE
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract—Recent improvements in high-throughput genotyping technology make possible genome-wide association studies and status prediction (classification) for common complex dis...
161
click to vote
ICMCS
2006
IEEE
16 years 3 days ago
2006
IEEE
As digital video data becomes more pervasive, mining information from multimedia data becomes increasingly important. Although researches in multimedia mining area have shown grea...
211
click to vote
CASES
2006
ACM
16 years 1 days ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...