4757 search results - page 142 / 952 » Monads for Functional Programming |
187
click to vote
LCPC
1999
Springer
15 years 10 months ago
1999
Springer
Since the C language imposes little restriction on the use of function pointers, the task of call graph construction for a C program is far more di cult than what the algorithms d...
169
click to vote
CODES
2008
IEEE
15 years 8 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...
278
click to vote
ICDE
2001
IEEE
16 years 7 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...
173
click to vote
ICIP
2009
IEEE
16 years 7 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...
155
click to vote
STOC
2006
ACM
16 years 6 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...