10072 search results - page 108 / 2015 » Composition of Model Programs |
113
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
150
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such scientific applications is therefore ...
112
click to vote
STOC
2005
ACM
16 years 2 months ago
2005
ACM
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
CAV
2001
Springer
15 years 6 months ago
2001
Springer
Compositional model checking is used to verify a processor microarchitecture containing most of the features of a modern microprocessor, including branch prediction, speculative ex...
150
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...