Sciweavers

1056 search results - page 121 / 212
» Handbook of mathematical functions
Sort
View
ANSS
2005
IEEE
14 years 2 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
14 years 2 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»
14 years 2 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»
14 years 2 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»
14 years 2 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