32607 search results - page 277 / 6522 » Supporting |
280
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
The advent of multicore processors has raised new demand for harnessing concurrency in the software mass market. We summarise our previous work on the data parallel, functional ar...
193
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
176
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
Chain replication is a new approach to coordinating clusters of fail-stop storage servers. The approach is intended for supporting large-scale storage services that exhibit high t...
150
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
The theme and title for this panel is inspired by Donald Sch?n's writings about the reflective practitioner in which he describes professional practice as being a process of ...
165
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
This research explores the utility of a multimodal surface computer for supporting medical communication between older adults and health care providers. Research involves a field ...