4835 search results - page 151 / 967 » Refactoring Functional Programs |
CODES
2008
IEEE
14 years 11 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
166
click to vote
ICDE
2001
IEEE
15 years 11 months ago
2001
IEEE
LeSelect is a mediator system which allows scientists to publish their resources (data and programs) so they can be transparently accessed. The scientists can typically issue quer...
ICIP
2009
IEEE
15 years 11 months ago
2009
IEEE
Scale-space representation of an image is a significant way to generate features for classification. However, for a specific classification task, the entire scale-space may not be...
STOC
2006
ACM
15 years 10 months ago
2006
ACM
We consider the problem of maximizing welfare when allocating m items to n players with subadditive utility functions. Our main result is a way of rounding any fractional solution...
DSVIS
2003
Springer
15 years 3 months ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...