2863 search results - page 71 / 573 » Comparing Operating Systems Using Robustness Benchmarks |
125
click to vote
FAC
2007
15 years 2 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
119
click to vote
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
143
Voted
IPPS
2010
IEEE
14 years 12 months ago
2010
IEEE
In this study, we consider an environment composed of a heterogeneous cluster of multicore-based machines used to analyze satellite images. The workload involves large data sets, a...
124
Voted
CLUSTER
2009
IEEE
15 years 9 months ago
2009
IEEE
—Parallel netCDF (PnetCDF) is a popular library used in many scientific applications to store scientific datasets. It provides high-performance parallel I/O while maintaining ...
123
Voted
SAMOS
2010
Springer
15 years 29 days ago
2010
Springer
—Previous vector architectures divided the available register file space in a fixed number of registers of equal sizes and shapes. We propose a register file organization whic...