677 search results - page 123 / 136 » Dependent Types from Counterexamples |
PPOPP
2009
ACM
15 years 10 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
A new software tool for user-interface development and assessment of ubiquitous computing applications is available for CHI researchers. The software permits researchers to use co...
CHI
2001
ACM
15 years 10 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...
154
click to vote
POPL
2002
ACM
15 years 10 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
148
click to vote
SIGMOD
2006
ACM
15 years 10 months ago
2006
ACM
Real-world data -- especially when generated by distributed measurement infrastructures such as sensor networks -- tends to be incomplete, imprecise, and erroneous, making it impo...