463 search results - page 54 / 93 » Using Observation and Refinement to Improve Distributed Syst... |
167
click to vote
OOPSLA
2010
Springer
15 years 12 days ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
CHI
2005
ACM
16 years 2 months ago
2005
ACM
Management of clutter is an important factor in the design of user interfaces and information visualizations, allowing improved usability and aesthetics. However, clutter is not a...
138
Voted
ICPP
2007
IEEE
15 years 8 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...
145
Voted
CODES
2011
IEEE
14 years 2 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
140
click to vote
ICPP
2009
IEEE
15 years 9 months ago
2009
IEEE
—Clusters and applications continue to grow in size while their mean time between failure (MTBF) is getting smaller. Checkpoint/Restart is becoming increasingly important for lar...