5387 search results - page 130 / 1078 » Generating generic functions |
92
Voted
PVLDB
2010
14 years 11 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...
123
Voted
AI
2010
Springer
15 years 29 days 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...
80
Voted
GECCO
2005
Springer
15 years 6 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...
118
click to vote
ENTCS
2010
14 years 7 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...
106
Voted
DAC
2002
ACM
16 years 1 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...