4743 search results - page 131 / 949 » Introduction to Functional Programming |
127
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
118
click to vote
CSMR
2007
IEEE
15 years 8 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
128
click to vote
MFCS
2004
Springer
15 years 7 months ago
2004
Springer
We study the problem of optimal preemptive scheduling with respect to a general target function. Given n jobs with associated weights and m ≤ n uniformly related machines, one a...
134
click to vote
LCPC
1999
Springer
15 years 6 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...
116
click to vote
CODES
2008
IEEE
15 years 4 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...