706 search results - page 42 / 142 » An Experimental Study on Computer Programming with Linguisti... |
CHI
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes a research approach to the experimental study of emotional experiences and their connections to other components of user experience in human-technology intera...
BMCBI
2006
14 years 9 months ago
2006
Background: It is one of the ultimate goals for modern biological research to fully elucidate the intricate interplays and the regulations of the molecular determinants that prope...
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
PPOPP
2012
ACM
13 years 5 months ago
2012
ACM
Analysis of massive graphs has emerged as an important area for massively parallel computation. In this paper, it is shown how the Fresh Breeze trees-of-chunks memory model may be...