2477 search results - page 407 / 496 » Parallelizing Functional Programs by Generalization |
127
click to vote
ICETE
2004
15 years 3 months ago
2004
: The music industry is an interesting example for how business models from the pre-Internet area can get into trouble in the new Internet-based economy. Since 2000, the music indu...
GG
2008
Springer
15 years 3 months ago
2008
Springer
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A grap...
110
click to vote
FAC
2008
15 years 2 months ago
2008
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
161
click to vote
ITNG
2010
IEEE
15 years 23 days ago
2010
IEEE
—The increase in computational power of off-the-shelf hardware offers more and more advantageous tradeoffs among efficiency, cost and availability, thus enhancing the feasibil...
177
click to vote
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
We have developed new methods for log-based recovery for middleware servers which involve thread pooling, private inmemory states for clients, shared in-memory state and message i...