Sciweavers

12257 search results - page 232 / 2452
» Analysis of Algorithms
Sort
View
ISCAS
2002
IEEE
78views Hardware» more  ISCAS 2002»
15 years 6 months ago
HomSSPICE: a homotopy-based circuit simulator for periodic steady-state analysis of oscillators
In this paper, we describe a new circuit simulator named HomSSPICE that incorporates homotopy algorithms for steady-state simulations of oscillators. The new simulator is based on...
Wanliang Ma, Ljiljana Trajkovic, Kartikeya Mayaram
AI
2008
Springer
15 years 2 months ago
Understanding the role of noise in stochastic local search: Analysis and experiments
Stochastic local search (SLS) algorithms have recently been proven to be among the best approaches to solving computationally hard problems. SLS algorithms typically have a number...
Ole J. Mengshoel
BMCBI
2008
84views more  BMCBI 2008»
15 years 2 months ago
The comparative analysis of statistics, based on the likelihood ratio criterion, in the automated annotation problem
Background: This paper discusses the problem of automated annotation. It is a continuation of the previous work on the A4-algorithm (Adaptive algorithm of automated annotation) de...
Andrey M. Leontovich, Konstantin Y. Tokmachev, Han...
DAWAK
2004
Springer
15 years 7 months ago
SCLOPE: An Algorithm for Clustering Data Streams of Categorical Attributes
Clustering is a difficult problem especially when we consider the task in the context of a data stream of categorical attributes. In this paper, we propose SCLOPE, a novel algorith...
Kok-Leong Ong, Wenyuan Li, Wee Keong Ng, Ee-Peng L...
FM
2009
Springer
157views Formal Methods» more  FM 2009»
15 years 8 months ago
Symbolic Predictive Analysis for Concurrent Programs
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gu...