6014 search results - page 1 / 1203 » Parametric Analysis of Computer Systems |
AMAST
1997
Springer
13 years 8 months ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...
VLSID
2002
IEEE
14 years 4 months ago
2002
IEEE
The paper presents two new approaches to multiobjective design space exploration for parametric VLSI systems. Both considerably reduce the number of simulations needed to determin...
EUSFLAT
2001
13 years 6 months ago
2001
This paper reports an early progress of a feasibility study of a computational intelligence approach to the enhancement of the accuracy of flow measurements in the framework of a ...
BMCBI
2005
13 years 4 months ago
2005
Background: Gene set enrichment analysis (GSEA) is a microarray data analysis method that uses predefined gene sets and ranks of genes to identify significant biological changes i...
RTSS
2005
IEEE
13 years 10 months ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...