6201 search results - page 1157 / 1241 » Implementation of Axiomatic Language |
171
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Cloud services accessed through mobile devices suffer from high network access latencies and are constrained by energy budgets dictated by the devices’ batteries. Radio and batt...
252
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Deterministic replay systems record and reproduce the execution of a hardware or software system. In contrast to replaying execution on uniprocessors, deterministic replay on mult...
174
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
265
click to vote
SACMAT
2011
ACM
14 years 7 months ago
2011
ACM
The advent of emerging technologies such as Web services, serviceoriented architecture, and cloud computing has enabled us to perform business services more efficiently and effec...
164
click to vote
CIKM
2011
Springer
14 years 4 months ago
2011
Springer
In most of the cases, scientists depend on previous literature which is relevant to their research fields for developing new ideas. However, it is not wise, nor possible, to trac...