5387 search results - page 130 / 1078 » Generating generic functions |
111
click to vote
PVLDB
2010
15 years 1 months ago
2010
Probabilistic databases hold promise of being a viable means for large-scale uncertainty management, increasingly needed in a number of real world applications domains. However, q...
146
click to vote
AI
2010
Springer
15 years 3 months ago
2010
Springer
Case-based planning can take advantage of former problem-solving experiences by storing in a plan library previously generated plans that can be reused to solve similar planning p...
109
click to vote
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Checking if microprocessor cores are fully functional at the end of the productive process has become a major issue. Traditional functional approaches are not sufficient when cons...
133
click to vote
ENTCS
2010
14 years 10 months ago
2010
Porting an application written for personal computer to embedded devices requires conversion of floating-point numbers and operations into fixed-point ones. Testing the conversion...
123
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...