3172 search results - page 274 / 635 » On the Random-Self-Reducibility of Complete Sets |
235
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
We present AHIR, an intermediate representation (IR), that acts as a transition layer between software compilation and hardware synthesis. Such a transition layer is intended to t...
289
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
178
click to vote
RECOMB
2007
Springer
16 years 7 months ago
2007
Springer
Our group has recently developed a compact, universal protein binding microarray (PBM) that can be used to determine the binding preferences of transcription factors (TFs) [1]. Thi...
169
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Hard disk drives returned back to Seagate undergo the Field Return Incoming Test. During the test, the available logs in disk drives are collected, if possible. These logs contain...
279
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
In an outsourced data framework, we introduce and demonstrate mechanisms for securely storing a set of data items (documents) on an un-trusted server, while allowing for subsequen...