3796 search results - page 647 / 760 » Presentations by Programmers for Programmers |
SIGGRAPH
2010
ACM
14 years 1 days ago
2010
ACM
We introduce an interactive, portable, and inexpensive solution for estimating refractive errors in the human eye. While expensive optical devices for automatic estimation of refr...
ERLANG
2007
ACM
14 years 1 days ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
CAV
2010
Springer
14 years 1 days ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
DEBS
2010
ACM
14 years 1 days ago
2010
ACM
Complex event processing for pervasive computing must deal with various sources of error. In this paper, we focus on improving complex event detector handling of several types of ...
EXPCS
2007
14 years 19 hour ago
2007
The evaluation of new network server architectures is usually performed experimentally using either a simulator or a hardware prototype. Accurate simulation of the hardwaresoftwar...