6800 search results - page 239 / 1360 » Testing with Functions as Specifications |
110
Voted
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a new family of architectures for multi-cycle area-efficient evaluation of elementary and composite functions, and an exploration of the design tradeoffs for i...
131
Voted
ILP
2001
Springer
15 years 9 months ago
2001
Springer
The Bayesian framework of learning from positive noise-free examples derived by Muggleton [12] is extended to learning functional hypotheses from positive examples containing norma...
117
click to vote
AUSAI
2008
Springer
15 years 7 months ago
2008
Springer
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...
137
click to vote
JUCS
2008
15 years 5 months ago
2008
: This paper presents efficient methods for online fault detection and diagnosis of Network-on-Chip (NoC) switches. The fault model considered in this research is a system level fa...
153
Voted
JUCS
2007
15 years 5 months ago
2007
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...