Sciweavers

8298 search results - page 1342 / 1660
» On the Complexity of Numerical Analysis
Sort
View
ISIPTA
2005
IEEE
155views Mathematics» more  ISIPTA 2005»
16 years 12 days ago
Estimation of Chaotic Probabilities
A Chaotic Probability model is a usual set of probability measures, M, the totality of which is endowed with an objective, frequentist interpretation as opposed to being viewed as...
Leandro Chaves Rêgo, Terrence L. Fine
ISORC
2005
IEEE
16 years 12 days ago
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
Zonghua Gu, Kang G. Shin
ISQED
2005
IEEE
120views Hardware» more  ISQED 2005»
16 years 12 days ago
Passive Hierarchical Model Order Reduction and Realization of RLCM Circuits
This paper presents a novel compact passive modeling technique for high-performance RF passives and interconnects modeled as high-order RLCM circuits. The new method is based on a...
Pu Liu, Zhenyu Qi, Sheldon X.-D. Tan
PDP
2005
IEEE
16 years 12 days ago
WAS Control Center: An Autonomic Performance-Triggered Tracing Environment for WebSphere
Studying any aspect of an application server with high availability requirements can become a tedious task when a continuous monitoring of the server status is necessary. The crea...
David Carrera, David Garcia, Jordi Torres, Eduard ...
VISUALIZATION
2005
IEEE
16 years 11 days ago
The Visible Radio: Process Visualization of a Software-Defined Radio
In this case study, a data-oriented approach is used to visualize a complex digital signal processing pipeline. The pipeline implements a Frequency Modulated (FM) Software-Defined...
Matthew Hall, Alex Betts, Donna Cox, David Pointer...
« Prev « First page 1342 / 1660 Last » Next »