2797 search results - page 537 / 560 » Code query by example |
123
click to vote
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
109
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
Trust is arguably the most crucial aspect of agent acceptability. At its simplest level, it can be characterized in terms of judgments that people make concerning three factors: an...
132
click to vote
RT
2004
Springer
15 years 7 months ago
2004
Springer
Pixels store a digital image as a grid of point samples that can reconstruct a limited-bandwidth continuous 2-D source image. Although convenient for anti-aliased display, these b...
103
click to vote
SAMOS
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a model for instruction-level distributed computing that allows the implementation of scalable chip multiprocessors. Based on explicit microthreading it serves ...
103
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...