1154 search results - page 44 / 231 » Mathematizing C concurrency |
220
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
120
Voted
MOBISYS
2008
ACM
16 years 2 months ago
2008
ACM
Using 802.11 concurrently for communications and positioning is problematic, especially if location-based services (e.g., indoor navigation) are concurrently executed with real-ti...
148
Voted
IEEEPACT
2009
IEEE
15 years 15 days ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
102
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
We derive optimal bidding strategies for a global bidding agent that participates in multiple, simultaneous second-price auctions with perfect substitutes. We first consider a mo...
155
click to vote
PPOPP
2006
ACM
15 years 8 months ago
2006
ACM
We investigate a transactional memory runtime system providing scaling and strong consistency for generic C++ and SQL applications on commodity clusters. We introduce a novel page...