Sciweavers

3745 search results - page 433 / 749
» Sonic: System Description
Sort
View
IDEAS
1997
IEEE
237views Database» more  IDEAS 1997»
15 years 11 months ago
Sequence Comparison Using a Relational Database Approach
A variety of heterogenous data sources is available in the field of molecular biology. Our focus lies on the biological sequence data, i. e. data maintained in collections like EM...
André Bergholz, Stephan Heymann, Jörg ...
DAC
1994
ACM
15 years 10 months ago
Functional Test Generation for FSMs by Fault Extraction
Recent results indicate that functional test pattern generation (TPG) techniques may provide better defect coverages than do traditional logic-level techniques. Functional TPG alg...
Bapiraju Vinnakota, Jason Andrews
TPPP
1994
15 years 10 months ago
Advanced Component Interface Specification
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
Manfred Broy
PNPM
1989
15 years 10 months ago
SPNP: Stochastic Petri Net Package
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...
Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Tr...
CDC
2009
IEEE
116views Control Systems» more  CDC 2009»
15 years 10 months ago
A QSS approach for particle source identification in Tore Supra tokamak
In this work, we consider the problem of particle source identification from distributed electron density measurements in fusion plasmas, such as the ones obtained in Tore Supra t...
Emmanuel Witrant, Marc Goniche, E. Tore Supra