6274 search results - page 951 / 1255 » Proofs, Programs, Processes |
134
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
In software development, resources for quality assurance are limited by time and by cost. In order to allocate resources effectively, managers need to rely on their experience bac...
133
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
114
Voted
WWW
2004
ACM
16 years 3 months ago
2004
ACM
The increasing importance of Unicode for text encoding implies a possible doubling of data storage space and data transmission time, with a corresponding need for data compression...
116
Voted
CHI
2008
ACM
16 years 3 months ago
2008
ACM
Picbreeder is an online service that allows users to collaboratively evolve images. Like in other Interactive Evolutionary Computation (IEC) programs, users evolve images in Picbr...
206
click to vote
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
We present a novel design and implementation of relational join algorithms for new-generation graphics processing units (GPUs). The most recent GPU features include support for wr...