10289 search results - page 197 / 2058 » Standard bases in K |
183
click to vote
VTS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
129
click to vote
DATE
2005
IEEE
16 years 3 days ago
2005
IEEE
With growing computational needs of many real-world applications, frequently changing specifications of standards, and the high design and NRE costs of ASICs, an algorithm-agile ...
136
click to vote
CTRSA
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the first universally anonymous, thus key-private, IBE whose security is based on the standard quadratic residuosity assumption. Our scheme is a variant of Cocks IBE...
164
click to vote
DELTA
2002
IEEE
15 years 11 months ago
2002
IEEE
In the upcoming high transmission rate system, based on code division multiple access, standard multi-user detection methods are restricted because of performance and implementati...
179
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a novel system for propositional Answer-Set Programming (ASP). This system, called dynASP, is based on dynamic programming and thus significantly differs fro...