4820 search results - page 834 / 964 » Implementing Signatures for C |
186
click to vote
CADE
2009
Springer
16 years 6 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
139
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
The canon is a composition pattern with a long history and many forms. The concept of the canon has also been applied to experimental film making and on Japanese television. We de...
165
click to vote
SIGCSE
2009
ACM
16 years 6 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
157
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
138
click to vote
SPAA
2009
ACM
16 years 6 months ago
2009
ACM
Work stealing is a popular method of scheduling fine-grained parallel tasks. The performance of work stealing has been extensively studied, both theoretically and empirically, but...