6174 search results - page 1116 / 1235 » The language of social software |
171
click to vote
TAP
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
154
click to vote
MM
2009
ACM
16 years 26 days ago
2009
ACM
Programmable processors have great advantage over dedicated ASIC design under intense time-to-market pressure. However, realtime encoding of high-definition (HD) H.264 video (up t...
176
click to vote
DSD
2008
IEEE
16 years 25 days ago
2008
IEEE
Effective mapping of multimedia applications on massively parallel embedded systems is a challenging demand in the domain of compiler design. The software implementations of emerg...
172
click to vote
HPDC
2008
IEEE
16 years 25 days ago
2008
IEEE
Active storage clouds are an attractive platform for executing large data intensive workloads found in many fields of science. However, active storage presents new system managem...
249
click to vote
HPDC
2008
IEEE
16 years 25 days ago
2008
IEEE
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...