3330 search results - page 216 / 666 » software 2010 |
122
Voted
ENTCS
2010
15 years 2 months ago
2010
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
120
Voted
ENTCS
2007
15 years 2 months ago
2007
Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...
107
click to vote
PODC
2010
ACM
15 years 6 months ago
2010
ACM
We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory bu...
151
Voted
FSTTCS
2010
Springer
15 years 18 days ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
114
Voted
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
We propose a mechanism that allows applications to survive operating system kernel crashes and continue functioning with no application data loss after a system reboot. This mecha...