2035 search results - page 281 / 407 » Working memory |
134
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
A common observation when working on physically large displays, such as wall-sized projection, is that a certain amount of information privacy is lost. A common explanation for th...
147
click to vote
CHI
2001
ACM
16 years 4 months ago
2001
ACM
Several recent research systems have provided interactive three-dimensional (3D) visualisations for supporting everyday work such as file and document management. But what improve...
213
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
SR-IOV capable network devices offer the benefits of direct I/O throughput and reduced CPU utilization while greatly increasing the scalability and sharing capabilities of the devi...
136
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
Data management functionality is not only needed in large-scale server systems, but also in embedded systems. Resource restrictions and heterogeneity of hardware, however, complic...
178
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...