469 search results - page 83 / 94 » Language and library support for practical PRAM programming |
104
click to vote
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
— The size of data sets being collected and analyzed in the industry for business intelligence is growing rapidly, making traditional warehousing solutions prohibitively expensiv...
203
click to vote
POPL
2009
ACM
16 years 10 days ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
196
click to vote
ECOOP
2009
Springer
16 years 10 days ago
2009
Springer
To improve software productivity, when constructing new software systems, programmers often reuse existing libraries or frameworks by invoking methods provided in their APIs. Those...
CD
2004
Springer
15 years 5 months ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...
FPL
2009
Springer
15 years 4 months ago
2009
Springer
The reconfigurable mesh model for massively parallel computing has recently been rediscovered and proposed as the basis of a practical many-core architecture. With this paper, we...