2068 search results - page 369 / 414 » On Effectiveness of Application-Layer Coding |
144
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
243
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
141
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
This workshop aims to gather researchers in the field of user interface design tools to identify important themes for the next decade of research. These tools aid in the design an...
152
Voted
HPCA
2007
IEEE
16 years 4 months ago
2007
IEEE
If-conversion is a compiler technique that reduces the misprediction penalties caused by hard-to-predict branches, transforming control dependencies into data dependencies. Althou...
131
Voted
CADE
2001
Springer
16 years 4 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...