Sciweavers

2918 search results - page 243 / 584
» Design tools for reliability analysis
Sort
View
GLVLSI
2007
IEEE
173views VLSI» more  GLVLSI 2007»
15 years 5 months ago
Modeling and estimating leakage current in series-parallel CMOS networks
This paper reviews the modeling of subthreshold leakage current and proposes an improved model for general series-parallel CMOS networks. The presence of on-switches in off-networ...
Paulo F. Butzen, André Inácio Reis, ...
FASE
2006
Springer
15 years 8 months ago
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
Peter Csaba Ölveczky, Marco Caccamo
BMCBI
2005
152views more  BMCBI 2005»
15 years 5 months ago
GeneKeyDB: A lightweight, gene-centric, relational database to support data mining environments
Background: The analysis of biological data is greatly enhanced by existing or emerging databases. Most existing databases, with few exceptions are not designed to easily support ...
S. A. Kirov, X. Peng, E. Baker, D. Schmoyer, B. Zh...
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 5 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
IV
2007
IEEE
158views Visualization» more  IV 2007»
15 years 11 months ago
Applying Animation to the Visual Analysis of Financial Time-Dependent Data
For decades, financial analysts have strived to use modern data visualization tools to improve the timeliness and quality of their analysis. As the amount of data to be processed ...
Tatiana Tekusova, Jörn Kohlhammer