Sciweavers

1177 search results - page 92 / 236
» System-in-Package Testing: Problems and Solutions
Sort
View
ECP
1999
Springer
138views Robotics» more  ECP 1999»
15 years 2 months ago
Numeric State Variables in Constraint-Based Planning
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
Jussi Rintanen, Hartmut Jungholt
EVOW
2006
Springer
15 years 1 months ago
Associative Memory Scheme for Genetic Algorithms in Dynamic Environments
In recent years dynamic optimization problems have attracted a growing interest from the community of genetic algorithms with several approaches developed to address these problems...
Shengxiang Yang
DAC
2010
ACM
15 years 1 months ago
Post-silicon validation opportunities, challenges and recent advances
Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture. Due to sheer design complexity, it is nearly impossible to detect and ...
Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici
AUSAI
2008
Springer
14 years 12 months ago
Using Gaussian Processes to Optimize Expensive Functions
The task of finding the optimum of some function f(x) is commonly accomplished by generating and testing sample solutions iteratively, choosing each new sample x heuristically on t...
Marcus R. Frean, Phillip Boyle
CRYPTO
2008
Springer
165views Cryptology» more  CRYPTO 2008»
14 years 11 months ago
Efficient Secure Linear Algebra in the Presence of Covert or Computationally Unbounded Adversaries
In this work we study the design of secure protocols for linear algebra problems. All current solutions to the problem are either inefficient in terms of communication complexity o...
Payman Mohassel, Enav Weinreb