1569 search results - page 250 / 314 » Automated Design Improvement by Example |
SOUPS
2010
ACM
14 years 1 months ago
2010
ACM
Graphical password systems based on the recognition of photographs are candidates to alleviate current over-reliance on alphanumeric passwords and PINs. However, despite being bas...
FPGA
2000
ACM
14 years 1 months ago
2000
ACM
In this paper we present a "high-level" FPGA architecture description language which lets FPGA architects succinctly and quickly describe an FPGA routing architecture. W...
EDBT
2010
ACM
14 years 1 months ago
2010
ACM
MapReduce and stream processing are two emerging, but different, paradigms for analyzing, processing and making sense of large volumes of modern day data. While MapReduce offers t...
USS
2008
14 years 12 days ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
BMCBI
2008
13 years 10 months ago
2008
Background: R is the preferred tool for statistical analysis of many bioinformaticians due in part to the increasing number of freely available analytical methods. Such methods ca...