589 search results - page 112 / 118 » Introducing Dynamic Constraints in B |
156
Voted
C3S2E
2009
ACM
15 years 10 months ago
2009
ACM
This article introduces Nohalo level 1 (“Nohalo”), the simplest member of a family of image resamplers which straighten diagonal interfaces without adding noticeable nonlinear...
135
Voted
MICRO
2008
IEEE
15 years 10 months ago
2008
IEEE
—Caches ideally should have low miss rates and short access times, and should be power efficient at the same time. Such design goals are often contradictory in practice. Recent f...
137
Voted
ISCA
2007
IEEE
15 years 10 months ago
2007
IEEE
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...
121
Voted
CLEAR
2007
Springer
15 years 9 months ago
2007
Springer
The paper describes the IBM systems submitted to the NIST Rich Transcription 2007 (RT07) evaluation campaign for the speechto-text (STT) and speaker-attributed speech-to-text (SAST...
163
Voted
ESCIENCE
2006
IEEE
15 years 9 months ago
2006
IEEE
Effective scheduling in large-scale computational grids is challenging because it requires tracking the dynamic state of the large number of distributed resources that comprise th...