5818 search results - page 1136 / 1164 » A reasonable Semantic Web |
122
click to vote
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
117
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CP...
112
click to vote
TPHOL
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...
120
click to vote
ARCS
2009
Springer
15 years 8 months ago
2009
Springer
The disparity between microprocessor clock frequencies and memory latency is a primary reason why many demanding applications run well below peak achievable performance. Software c...
113
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
The most important and interesting of the computing challenges we are facing are those that involve the problems and opportunities afforded by massive decentralization and disinte...