2477 search results - page 435 / 496 » First-Order Interactive Programming |
CONCUR
2012
Springer
12 years 12 days ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
ISBI
2004
IEEE
14 years 10 months ago
2004
IEEE
SCIRun is a general purpose problem solving environment that seeks to integrate the steps of preparing, executing, and visualizing simulations of physical and biological systems. ...
WWW
2009
ACM
14 years 10 months ago
2009
ACM
JavaScript is an interpreted programming language most often used for enhancing webpage interactivity and functionality. It has powerful capabilities to interact with webpage docu...
CHI
2008
ACM
14 years 10 months ago
2008
ACM
Open source projects are gradually incorporating usability methods into their development practices, but there are still many unmet needs. One particular need for nearly any open ...
CHI
2003
ACM
14 years 10 months ago
2003
ACM
In evaluations of text entry methods, participants enter phrases of text using a technique of interest while performance data are collected. This paper describes and publishes (vi...