5818 search results - page 1136 / 1164 » A reasonable Semantic Web |
176
click to vote
ASPLOS
2010
ACM
16 years 20 days 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...
165
click to vote
KBSE
2009
IEEE
16 years 16 days 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...
157
Voted
TPHOL
2009
IEEE
16 years 13 days 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...
173
Voted
ARCS
2009
Springer
16 years 12 days 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...
153
Voted
ATAL
2009
Springer
16 years 12 days 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...