Sciweavers

1660 search results - page 165 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
DAGSTUHL
2003
14 years 11 months ago
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
Holger Giese, Florian Klein, Sven Burmester
BMCBI
2008
242views more  BMCBI 2008»
14 years 10 months ago
New time-scale criteria for model simplification of bio-reaction systems
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
Junwon Choi, Kyung-won Yang, Tai-yong Lee, Sang Yu...
ET
2010
98views more  ET 2010»
14 years 8 months ago
MONSOON: SAT-Based ATPG for Path Delay Faults Using Multiple-Valued Logics
Abstract As technology scales down into the nanometer era, delay testing of modern chips has become more and more important. Tests for the path delay fault model are widely used to...
Stephan Eggersglüß, Görschwin Fey,...
CAINE
2003
14 years 11 months ago
Development of a Computational Toolkit for Biomechanical Analysis and Simulation: The Vertebrate Analyzer
This paper discusses the development of a computational modeling and analysis toolkit to construct, animate, and biomechanically analyze sophisticated models of vertebrates. Users...
K. F. Hulme, F. C. Mendel, K. P. Chugh
LRE
2006
175views more  LRE 2006»
14 years 10 months ago
Automatically generating related queries in Japanese
Web searchers reformulate their queries, as they adapt to search engine behavior, learn more about a topic, or simply correct typing errors. Automatic query rewriting can help user...
Rosie Jones, Kevin Bartz, Pero Subasic, Benjamin R...