1888 search results - page 146 / 378 » Proof theory and computational analysis |
116
click to vote
SPAA
2006
ACM
15 years 6 months ago
2006
ACM
Synchronization is often necessary in parallel computing, but it can create delays whenever the receiving processor is idle, waiting for the information to arrive. This is especia...
110
Voted
HCI
2009
14 years 10 months ago
2009
This paper presents a system for another input modality in a multimodal human-machine interaction scenario. In addition to other common input modalities, e.g. speech, we extract he...
139
Voted
CSCW
2004
ACM
15 years 6 months ago
2004
ACM
In this paper, we describe the evolution and impact of computersupported cooperative work (CSCW) research through social network analysis of coauthorship data. A network of author...
130
click to vote
ISTCS
1992
Springer
15 years 4 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
118
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...