1763 search results - page 155 / 353 » A Formalization of Polytime Functions |
135
click to vote
DSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Continuously shrinking feature sizes cause an increasing vulnerability of digital circuits. Manufacturing failures and transient faults may tamper the functionality. Aut...
113
click to vote
IJIQ
2008
15 years 4 months ago
2008
: Digital services can be thought as internet based applications that fulfil users' needs and their quality represents a basic element during the delivery process. In such a c...
143
click to vote
ISSE
2006
15 years 4 months ago
2006
Providing and managing security for large networked systems is difficult because their size and complexity makes manual design and management nearly impossible. Current security m...
107
click to vote
MJ
2008
15 years 4 months ago
2008
In this work we show a theoretical study of the transport properties of armchair graphene nanoribbon at which linear poly-aromatic hydrocarbon molecules (LPHC) are side-attached o...
120
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
Judgment aggregation problems are language dependent in that they may be framed in different yet equivalent ways. We formalize this dependence via the notion of translation invari...