2512 search results - page 307 / 503 » Software Transactional Memory |
130
click to vote
SCAM
2008
IEEE
15 years 10 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
134
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 7 months ago
2006
Springer
Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system co...
131
click to vote
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
When computer systems are compromised by an attack, it is difficult to determine the precise extent of the damage caused by the attack because the state changes made by an attack...
191
Voted
AOSD
2012
ACM
13 years 12 months ago
2012
ACM
Emerging languages are often source-to-source compiled to mainstream ones, which offer standardized, fine-tuned implementations of non-functional concerns (NFCs)—including pers...
155
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...