988 search results - page 114 / 198 » The Frontiers of Data Programmability |
139
click to vote
TREC
2007
15 years 1 months ago
2007
Exegy’s submission for the TREC 2007 million query track consisted of results obtained by running the queries against the raw data, i.e., the data was not indexed. The hardwarea...
120
click to vote
TC
2008
15 years 19 days ago
2008
Security is gaining relevance in the development of embedded devices. Toward a secure system at each level of design, this paper addresses security aspects related to Network-on-Ch...
110
Voted
HPCA
2009
IEEE
16 years 1 months ago
2009
IEEE
Heterogeneous multicores, such as Cell BE processors and GPGPUs, typically do not have caches for their accelerator cores because coherence traffic, cache misses, and latencies fr...
189
Voted
POPL
2002
ACM
16 years 1 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
126
click to vote
FPL
2003
Springer
15 years 6 months ago
2003
Springer
Recent developments in information technologies made the secure transmission of digital data a critical design point. Large data flows have to be exchanged securely and involve en...