432 search results - page 81 / 87 » Dynamic Logic With Possible World |
146
Voted
ISQED
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a novel technique to exploit the power-performance tradeoff. The technique can be used stand-alone or in conjunction with dynamic voltage scaling, the mainstream techn...
159
Voted
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
133
Voted
BPM
2006
Springer
15 years 7 months ago
2006
Springer
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...
200
Voted
EDO
2006
Springer
15 years 7 months ago
2006
Springer
Server applications with adaptive behaviors can adapt their functionality in response to environmental changes, and significantly reduce the on-going costs of system deployment an...
142
Voted
CTRSA
2009
Springer
15 years 10 months ago
2009
Springer
In the setting of multiparty computation a set of parties with private inputs wish to compute some joint function of their inputs, whilst preserving certain security properties (l...