6014 search results - page 135 / 1203 » Parametric Analysis of Computer Systems |
123
click to vote
ANNALS
2008
15 years 6 months ago
2008
The Netlib software repository was created in 1984 to facilitate quick distribution of public domain software routines for use in scientific computation. The Numerical Analysis Ne...
148
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
170
click to vote
PDPTA
2000
15 years 7 months ago
2000
Design of cluster file system is very important for building a general-purpose cluster with commodity components. To provide scalable high I/O performance needed in the scientific...
181
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
174
click to vote
ACIVS
2006
Springer
16 years 10 days ago
2006
Springer
We present a novel dedicated hardware system for the extraction of second-order statistical features from high-resolution images. The selected features are based on gray level co-o...