3868 search results - page 181 / 774 » Open Systems in TLA |
134
Voted
STACS
2010
Springer
16 years 2 months ago
2010
Springer
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...
147
click to vote
JSW
2008
15 years 7 months ago
2008
Checkpointing is a commonly used approach to provide system fault-tolerance. However, using a constant checkpointing frequency may compromise the system's overall performance ...
258
click to vote
SACMAT
2011
ACM
14 years 10 months ago
2011
ACM
Cross domain resource sharing and collaborations have become pervasive in today’s service oriented organizations. Existing approaches for the realization of cross domain access ...
193
click to vote
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents COBRA (Continuous Binary ReAdaptation), a runtime binary optimization framework, for multithreaded applications. It is currently implemented on Itanium 2 based...
199
click to vote
MIDDLEWARE
2001
Springer
15 years 11 months ago
2001
Springer
Middleware has emerged as an important architectural component in modern distributed systems. Most recently, industry has witnessed the emergence of component-based middleware pla...