889 search results - page 46 / 178 » General Conclusions |
CHI
2004
ACM
16 years 6 days ago
2004
ACM
In this paper we consider the general goal of supporting physical manipulation of digital audio in a specific context: the performance disk jockey (DJ) seeking to migrate from vin...
CADE
2001
Springer
16 years 4 days ago
2001
Springer
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...
146
click to vote
SIGMOD
2007
ACM
16 years 1 hour ago
2007
ACM
Data-intensive e-science applications often rely on third-party data found in public repositories, whose quality is largely unknown. Although scientists are aware that this uncert...
ESORICS
2002
Springer
15 years 11 months ago
2002
Springer
A programmable secure coprocessor platform can help solve many security problems in distributed computing. However, these solutions usually require that coprocessor applications be...
111
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...