707 search results - page 65 / 142 » Some Comments on the Coding of Programs |
106
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
125
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
122
Voted
PPL
2008
15 years 3 months ago
2008
A functional data-parallel language called BSML has been designed for programming Bulk-Synchronous Parallel algorithms. Many sequential algorithms do not have parallel counterpart...
113
click to vote
AC
2002
Springer
15 years 3 months ago
2002
Springer
How much does the choice of a programming language influence the prevalence of bugs in the resulting code? It seems obvious that at the level at which individuals write new progra...
117
click to vote
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
Memory-intensive threads can hoard shared resources without making progress on a multithreading processor (SMT), thereby hindering the overall system performance. A recent promisi...