3330 search results - page 216 / 666 » software 2010 |
ENTCS
2010
13 years 11 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...
ENTCS
2007
13 years 11 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...
PODC
2010
ACM
14 years 2 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...
FSTTCS
2010
Springer
13 years 9 months 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...
EUROSYS
2010
ACM
14 years 8 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...