4800 search results - page 264 / 960 » OO Distributed Programming is Not Distributed OO Programming |
135
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The MapReduce distributed programming framework has become popular, despite evidence that current implementations are inefficient, requiring far more hardware than a traditional r...
116
click to vote
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
121
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
We present Arithmetic Program Paths, a novel, efficient way to compress program control-flow traces that reduces program bit traces to less than a fifth of their original size whi...
117
click to vote
IEEEPACT
2006
IEEE
15 years 9 months ago
2006
IEEE
A recent trend in computing are domain-specific program generators, designed to alleviate the effort of porting and reoptimizing libraries for fast-changing and increasingly com...
104
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...