7393 search results - page 1255 / 1479 » Synthesis-for-testability using transformations |
213
click to vote
CTRSA
2006
Springer
15 years 10 months ago
2006
Springer
The most important and expensive operation in a hyperelliptic curve cryptosystem (HECC) is scalar multiplication by an integer k, i.e., computing an integer k times a divisor D on ...
143
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
148
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. With the emergence of swept-volume ultrasound (US) probes, precise and almost real-time US volume imaging has become available. This offers many new opportunities for com...
163
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
160
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
White board sharing between PC and PDAs is a typical interactive application between PC and mobile device in ubiquitous environment. Due to the limited size of PDA' s screen, ...