7124 search results - page 151 / 1425 » Programming Languages and Operating Systems |
102
Voted
POPL
2010
ACM
16 years 2 hour ago
2010
ACM
Traditional transactional memory systems suffer from overly conservative conflict detection, yielding so-called false conflicts, because they are based on fine-grained, low-level ...
128
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Software developers commonly exploit multicore processors by building multithreaded software in which all threads of an application share a single address space. This shared addre...
120
Voted
IFM
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
128
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
131
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...