Sciweavers

1056 search results - page 121 / 212
» Handbook of mathematical functions
Sort
View
ANSS
2005
IEEE
15 years 11 months ago
Approximation of Discrete Phase-Type Distributions
The analysis of discrete stochastic models such as generally distributed stochastic Petri nets can be done using state space-based methods. The behavior of the model is described ...
Claudia Isensee, Graham Horton
CSFW
2005
IEEE
15 years 11 months ago
Achieving Information Flow Security through Precise Control of Effects
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
William L. Harrison, James Hook
DATE
2005
IEEE
107views Hardware» more  DATE 2005»
15 years 11 months ago
On Statistical Timing Analysis with Inter- and Intra-Die Variations
In this paper, we highlight a fast, effective and practical statistical approach that deals with inter and intra-die variations in VLSI chips. Our methodology is applied to a numb...
Hratch Mangassarian, Mohab Anis
DATE
2005
IEEE
139views Hardware» more  DATE 2005»
15 years 11 months ago
EM Wave Coupling Noise Modeling Based on Chebyshev Approximation and Exact Moment Formulation
This paper presents a new mathematical approach to modeling EM wave coupling noise so that it can be easily integrated into chip-level noise analysis tools. The new method employs...
Baohua Wang, Pinaki Mazumder
CALCO
2005
Springer
98views Mathematics» more  CALCO 2005»
15 years 11 months ago
The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...
Bartek Klin