6274 search results - page 381 / 1255 » Proofs, Programs, Processes |
268
click to vote
TOG
2012
13 years 9 months ago
2012
Using existing programming tools, writing high-performance image processing code requires sacrificing readability, portability, and modularity. We argue that this is a consequenc...
169
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
—CPR (Checkpoint Processing and Recovery) is a physical register management scheme that supports a larger instruction window and higher average IPC than conventional ROB-style re...
183
click to vote
IISWC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Transactional Memory (TM) is emerging as a promising technology to simplify parallel programming. While several TM systems have been proposed in the research literature,...
180
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
237
click to vote
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...