352 search results - page 24 / 71 » Good Programming in Transactional Memory |
119
click to vote
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
224
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
160
click to vote
ITCC
2002
IEEE
15 years 7 months ago
2002
IEEE
Due to its portability and popularity for Internet applications, Java has become one of the major programming languages. The similar syntax inherited from the C language and the p...
128
click to vote
CONSTRAINTS
2007
15 years 2 months ago
2007
We give an approximate and often extremely fast method of building a particular kind of portfolio in finance, here called a portfolio design (PD), with applications in the credit ...
119
Voted
WMPI
2004
ACM
15 years 8 months ago
2004
ACM
During a program’s runtime, the stack and data segments of the main memory often contain much redundancy, which makes them good candidates for compression. Compression and decomp...