Sciweavers

2255 search results - page 117 / 451
» High Assurance Software Systems
Sort
View
EL
2008
139views more  EL 2008»
13 years 10 months ago
Achieving OAI PMH compliancy for CDS/ISIS databases
CDS/ISIS is an Integrated Storage and Information retrieval System of United Nations Educational Scientific and Cultural Organization (UNESCO), which is widely used for managing bi...
Stefka Kaloyanova, Gian Luigi Betti, Francesco Cas...
CHES
2011
Springer
276views Cryptology» more  CHES 2011»
12 years 10 months ago
FPGA-Based True Random Number Generation Using Circuit Metastability with Adaptive Feedback Control
Abstract. The paper presents a novel and efficient method to generate true random numbers on FPGAs by inducing metastability in bi-stable circuit elements, e.g. flip-flops. Meta...
Mehrdad Majzoobi, Farinaz Koushanfar, Srinivas Dev...
CLUSTER
2002
IEEE
14 years 3 months ago
Scalable Resource Management in High Performance Computers
Clusters of workstations have emerged as an important platform for building cost-effective, scalable, and highlyavailable computers. Although many hardware solutions are available...
Eitan Frachtenberg, Fabrizio Petrini, Juan Fern&aa...
RECONFIG
2008
IEEE
225views VLSI» more  RECONFIG 2008»
14 years 4 months ago
A Hardware Filesystem Implementation for High-Speed Secondary Storage
Platform FPGAs are capable of hosting entire Linuxbased systems including standard peripherals, integrated network interface cards and even disk controllers on a single chip. File...
Ashwin A. Mendon, Ron Sass
DSN
2002
IEEE
14 years 3 months ago
Robust Software - No More Excuses
Software developers identify two main reasons why software systems are not made robust: performance and practicality. This work demonstrates the effectiveness of general technique...
John DeVale, Philip Koopman