1982 search results - page 168 / 397 » Parametricity and dependent types |
147
click to vote
UM
2005
Springer
16 years 1 days ago
2005
Springer
Abundance of user contributions does not necessarily indicate sustainability of an online community. On the contrary, excessive contributions in the systems may result in “inform...
147
click to vote
PAM
2004
Springer
15 years 12 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...
147
click to vote
SACRYPT
2001
Springer
15 years 11 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...
155
click to vote
ECBS
2000
IEEE
15 years 11 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...
145
click to vote
ISCAS
1999
IEEE
15 years 11 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...