7393 search results - page 1255 / 1479 » Synthesis-for-testability using transformations |
172
Voted
CTRSA
2006
Springer
15 years 7 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 ...
110
Voted
ECAI
2006
Springer
15 years 7 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 ...
111
Voted
ECCV
2006
Springer
15 years 7 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...
125
Voted
EMSOFT
2006
Springer
15 years 7 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...
119
Voted
EUC
2006
Springer
15 years 7 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, ...