201 search results - page 15 / 41 » Scalability analysis of SPMD codes using expectations |
135
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
134
click to vote
CLOUD
2010
ACM
15 years 7 months ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...
113
click to vote
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
After two decades of effort, type inference for dynamically typed languages scales to programs of a few tens of thousands of lines of code, but no further. For larger programs, th...
149
click to vote
INFSOF
2010
14 years 11 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
122
click to vote
CASES
2008
ACM
15 years 3 months ago
2008
ACM
Interconnects based on Networks-on-Chip are an appealing solution to address future microprocessor designs where, very likely, hundreds of cores will be connected on a single chip...