Sciweavers

1323 search results - page 168 / 265
» Moment-Linear Stochastic Systems
Sort
View
COMPSAC
2005
IEEE
15 years 10 months ago
An Empirical Performance Study for Validating a Performance Analysis Approach: PSIM
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
Jinchun Xia, Yujia Ge, Carl K. Chang
147
Voted
FPGA
2004
ACM
174views FPGA» more  FPGA 2004»
15 years 10 months ago
A compiled accelerator for biological cell signaling simulations
The simulation of large systems of biochemical reactions is a key part of research into molecular signaling and information processing in biological cells. However, it can be impr...
John F. Keane, Christopher Bradley, Carl Ebeling
IEEEICCI
2003
IEEE
15 years 10 months ago
Signal Classification through Multifractal Analysis and Complex Domain Neural Networks
This paper describes a system capable of classifying stochastic, self-affine, nonstationary signals produced by nonlinear systems. The classification and analysis of these signals...
Witold Kinsner, V. Cheung, K. Cannons, J. Pear, T....
CAV
2003
Springer
140views Hardware» more  CAV 2003»
15 years 9 months ago
Certifying Optimality of State Estimation Programs
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, ...
CONCUR
1999
Springer
15 years 9 months ago
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
Christel Baier, Joost-Pieter Katoen, Holger Herman...