3116 search results - page 206 / 624 » Positively dependent types |
121
click to vote
PAM
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a study of the errors observed when an optical Gigabit Ethernet link is subject to attenuation. We use a set of purpose-built tools which allows us to examine t...
121
click to vote
SACRYPT
2001
Springer
15 years 9 months ago
2001
Springer
We show that there is a very straightforward closed algebraic formula for the Rijndael block cipher. This formula is highly structured and far simpler then algebraic formulations o...
129
click to vote
ECBS
2000
IEEE
15 years 9 months ago
2000
IEEE
Quantitative techniques have traditionally been used to assess software architectures. We have found that early in the development process there is often insufficient quantitative...
124
click to vote
ISCAS
1999
IEEE
15 years 9 months ago
1999
IEEE
Stability analysis of a baseline power system architecture for modern aircraft is addressed. Power electronic converters are widely used in modern aircraft power distribution syst...
143
click to vote
ISIPTA
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...