3333 search results - page 286 / 667 » Abstract Proof Search |
142
click to vote
ARITH
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This paper explores the use of the double-base number system (DBNS) for constant integer multiplication. The DBNS recoding scheme represents integers – in this case c...
169
click to vote
ISCAS
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract— MIMO channels and wireless communications systems have generated a great deal of renewed interest in linear system theory. This paper presents two results. The first i...
165
click to vote
TPHOL
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
165
click to vote
BIRTHDAY
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper we review some well-known theory about reduction strategies of various kinds: normalizing, outermost-fair, cofinal, Church-Rosser. A stumbling block in the...
179
click to vote
DSOM
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Experiences with the management of Grid specific monitoring and accounting data have shown that current approaches do not sufficiently support a distinction between prov...