435 search results - page 19 / 87 » This Year in the MOVES Institute |
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
In this submission for the CHI05 Development forum, I reflect on my experience leading the Experience Design community of interest of the American Institute of Graphic Arts and su...
ICDAR
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, we discuss how the focus in document analysis, generally speaking, and in graphics recognition more specifically, has moved from re-engineering problems to indexin...
CASCON
2004
13 years 11 months ago
2004
There has been much debate over the past few years about the practice of moving traditional user-space applications, such as web servers, into the kernel for better performance. R...
ANNALS
2008
13 years 10 months ago
2008
The development and evolution of the technologies and standards for Internet email took over twenty years, and arguably is still underway today. The protocols to move email betwee...