4722 search results - page 584 / 945 » Encoding Program Executions |
223
Voted
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...
132
click to vote
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
129
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...
147
click to vote
SIGCSE
2009
ACM
15 years 11 months ago
2009
ACM
Jeannette Wing’s call for teaching Computational Thinking (CT) as a formative skill on par with reading, writing, and arithmetic places computer science in the category of basic...
147
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. As parallelism in microprocessors becomes mainstream, new programming languages and environments are emerging to meet the challenges of parallel programming. To support r...