520 search results - page 26 / 104 » Map-reduce as a Programming Model for Custom Computing Machi... |
ICCS
2001
Springer
15 years 7 months ago
2001
Springer
: Performance modeling for scientific production codes is of interest both for program tuning and for the selection of new machines. An empirical method is used for developing a m...
134
Voted
JPDC
2006
15 years 2 months ago
2006
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...
131
click to vote
SAC
2006
ACM
15 years 2 months ago
2006
ACM
We propose a rule-based approach for transforming B abstract machines into UML diagrams. We believe that important insight into the structure underlying a B model can be gained by...
128
Voted
SP
2009
IEEE
15 years 9 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
120
Voted
TCS
2010
15 years 29 days ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...