1760 search results - page 150 / 352 » A System to Mark Programs Automatically |
137
click to vote
LCR
2000
Springer
15 years 6 months ago
2000
Springer
We present Tigris, a high-performance computation and I/O substrate for clusters of workstations that is implemented entirely in Java. Tigris automatically balances resource load a...
130
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
162
click to vote
ICPADS
1994
IEEE
15 years 7 months ago
1994
IEEE
Testingthe performance scalabilityof parallelprograms can be a time consuming task, involving many performance runs for different computer configurations, processor numbers, and p...
149
click to vote
IASTEDSEA
2004
15 years 4 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
114
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The brain has long been seen as a powerful analogy from which novel computational techniques could be devised. However, most artificial neural network approaches have ignored the...