2678 search results - page 85 / 536 » Operational Semantics of Transactions |
137
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
132
click to vote
PDIS
1994
IEEE
15 years 8 months ago
1994
IEEE
Constructing scalable high-performance applications on commodity hardware running the Unix operating system is a problem that must be addressed in several application domains. We ...
126
click to vote
HPCC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract--Transactional Memory (TM) is an emerging technology which promises to make parallel programming easier. However, to be efficient, underlying TM system should protect only...
150
click to vote
RTSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Real-time databases are needed in security-critical applications, e.g., e-commerce, agile manufacturing, and military applications. In these applications, transactions and data it...
147
click to vote
DCC
2000
IEEE
15 years 8 months ago
2000
IEEE
As large-scale databases become commonplace, there has been signi cant interest in mining them for commercial purposes. One of the basic tasks that underlies many of these mining ...