7393 search results - page 1031 / 1479 » Synthesis-for-testability using transformations |
169
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
- Robot companions need to be able to constantly acquire knowledge about new objects for instance in order to detect them in the environment. This ability is necessary since it is ...
144
click to vote
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
157
click to vote
ISLPED
2006
ACM
15 years 11 months ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...
132
click to vote
AINA
2005
IEEE
15 years 10 months ago
2005
IEEE
XML data can be stored in different types of databases including Object-Relational Databases (ORDB). Using ORDB, we get the benefit of relational maturity and the richness of obje...
145
Voted
ARITH
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Modular reduction is a fundamental operation in cryptographic systems. Most well known modular reduction methods including Barrett’s and Montgomery’s algorithms lev...