Sciweavers

2421 search results - page 75 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
95
Voted
CCGRID
2006
IEEE
15 years 6 months ago
Integrating Gridcomputing and Metamodeling
Simulation and optimization of complex mechanical and electronical systems is a very time consuming and computationally intensive task. Therefore, metamodeling techniques are ofte...
Dirk Gorissen, Wouter Hendrickx, Karel Crombecq, T...
125
Voted
DAC
1999
ACM
15 years 5 months ago
Circuit Complexity Reduction for Symbolic Analysis of Analog Integrated Circuits
This paper presents a method to reduce the complexity of a linear or linearized (small-signal) analog circuit. The reduction technique, based on quality-error ranking, can be used...
Walter Daems, Georges G. E. Gielen, Willy M. C. Sa...
CCR
2004
151views more  CCR 2004»
15 years 14 days ago
Practical verification techniques for wide-area routing
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
Nick Feamster
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
15 years 4 months ago
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
Christophe Aussaguès, Vincent David
110
Voted
CSB
2003
IEEE
113views Bioinformatics» more  CSB 2003»
15 years 6 months ago
An Optimal DNA Segmentation Based on the MDL Principle
: The biological world is highly stochastic and inhomogeneous in its behaviour. There are regions in DNA with high concentration of G or C bases; stretches of sequences with an abu...
Wojciech Szpankowski, Wenhui Ren, Lukasz Szpankows...