4714 search results - page 364 / 943 » The Complexity of Iterated Multiplication |
351
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
119
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
This workshop explores the territory of `value-centred HCI' with the intention of freeing us from the tricky complexity of this topic and the multiple meanings of the words `...
133
click to vote
DCC
2005
IEEE
16 years 6 months ago
2005
IEEE
We present a family of hyperelliptic curves whose Jacobians are suitable for cryptographic use, and whose parameters can be specified in a highly efficient way. This is done via co...
165
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
We wish to investigate how structural design principles are used in practice, in order to assess the utility and relevance of such principles to the maintenance of large, complex,...
149
click to vote
SIGECOM
2003
ACM
16 years 4 hour ago
2003
ACM
We present an automated exchange for trading complex goods, such as used cars, which allows traders to describe desirable purchases and sales by multiple attributes. The developed...