1818 search results - page 330 / 364 » Operant conditioning |
HPCA
2005
IEEE
14 years 11 months ago
2005
IEEE
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...
CHI
2001
ACM
14 years 11 months ago
2001
ACM
Constraints and dependencies among the elements of embodied cognition form patterns or microstrategies of interactive behavior. Hard constraints determine which microstrategies ar...
POPL
2008
ACM
14 years 11 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
SIGMOD
2001
ACM
14 years 11 months ago
2001
ACM
Virtually all proposals for querying XML include a class of query we term "containment queries". It is also clear that in the foreseeable future, a substantial amount of...
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...