1635 search results - page 150 / 327 » Reasoning from Data Rather than Theory |
OSDI
2008
ACM
14 years 9 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
POPL
2010
ACM
14 years 6 months 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 ...
ICS
2010
Tsinghua U.
14 years 6 months ago
2010
Tsinghua U.
: Starting with the work of Ishai-Sahai-Wagner and Micali-Reyzin, a new goal has been set within the theory of cryptography community, to design cryptographic primitives that are s...
SIGCOMM
2009
ACM
14 years 3 months ago
2009
ACM
Carrier sense is often used to regulate concurrency in wireless medium access control (MAC) protocols, balancing interference protection and spatial reuse. Carrier sense is known ...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
This paper offers a novel approach to coevolution based on the sociological theory of symbolic interactionism. It provides a multi-agent computational model along with experimenta...