707 search results - page 65 / 142 » Some Comments on the Coding of Programs |
82
Voted
PPDP
2009
Springer
15 years 7 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...
100
Voted
APLAS
2007
ACM
15 years 4 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...
98
Voted
PPL
2008
15 years 19 days 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...
92
Voted
AC
2002
Springer
15 years 17 days 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...
92
Voted
ICPP
2009
IEEE
15 years 7 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...