9110 search results - page 1567 / 1822 » Formally-Based Design Evaluation |
150
click to vote
ISPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
—Super-scalar, out-of-order processors that can have tens of read and write requests in the execution window place significant demands on Memory Level Parallelism (MLP). Multi- ...
130
click to vote
SPEECH
2010
15 years 2 months ago
2010
We have applied two state-of-the-art speech synthesis techniques (unit selection and HMM-based synthesis) to the synthesis of emotional speech. A series of carefully designed perc...
140
click to vote
TPDS
2010
15 years 2 months ago
2010
— In location-based services, users with location-aware mobile devices are able to make queries about their surroundings anywhere and at any time. While this ubiquitous computing...
169
click to vote
LCTRTS
2010
Springer
15 years 2 months ago
2010
Springer
Chip multiprocessors (CMPs) are expected to be the building blocks for future computer systems. While architecting these emerging CMPs is a challenging problem on its own, program...
150
click to vote
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...