Communications of the ACM
Refine your search:
Soundness and Completeness: With Precision
The two key properties of program analysis are dual of each other.
From [email protected]
Who Needs Massively Multi-Core?
Do consumers want massively multi-core? Or would they rather have lower power consumption and better memory bandwidth? Are we building what people want?
From [email protected]
Wrapping up Oopsla, Looking Forward For Splash
Like all good things, OOPSLA 09 concluded last Thursday. A great conference with many interesting presentations, I'm already looking forward for the next one :...
From [email protected]
Developing Software For the Outer Space
Making good software is hard. Making software that has to work without defects on a different planet is extremely hard. Today Gerard Holzmann explained how NASA...
From [email protected]
The Power of Abstraction--Barbara Liskov's Oopsla Keynote
Barbara Liskov is the Turing Award winner for 2008 for her pioneering work in programming languages. She was the keynote speaker in OOPSLA 2009 and talked about...
From [email protected]
Taming the Clouds at Oopsla
OOPSLA 2009 workshops started yesterday (Sunday Oct 25th) and featured two workshops on Cloud Computing. The presence of a diverse audience led to many interesting...
From [email protected]
Cray and Fernbach Award Winners
This year, I have the honor and privilege to chair the selection committee for the Seymour Cray and Sidney Fernbach awards, which recognize outstanding contributions...
From [email protected]
The Rise of Empirical Software Engineering (i): the Good News
Empirical software engineering papers, at places like the International Conference on Software Engineering (ICSE), used to be terrible. There were exceptions, of...
From [email protected]
Ubiquity
Technology and information are ominpresent in Tokyo, but nobody seems to notice; a look at the future of ultra-integrated high technology.
From [email protected]
The Fallacy of Rankings
The list of the world's fastest computers will soon be announced. As always, we can expect the latest announcement to garner interest among the technological community...
From [email protected]
Hpc: Making a Small Fortune
There is an old joke in the high-performance computing community that begins with a question, “How do you make a small fortune in high-performance computing?” There...
From [email protected]
High-Performance Computing: Where
By definition, the raison d’être for high-performance computing is high performance, but floating point operations per second (FLOPS) need not be the only measure...
From [email protected]
When Petascale Is Just Too Slow
Evolution or revolution, it’s the persistent question. Can we build reliable esascale systems from extrapolations of current technology or will new approaches be...
From [email protected]
What To Do With Those Idle Cores?
So many processors on our desktops. Four cores, eight cores, soon we will see hundreds of cores. Almost all of them are going to be idle most of the time. If...
From [email protected]
The Great Electronic Brain and the Rhetoric of Recruitment
We rarely talk about computers as "Electronic Brains" or "Thinking Machines." That seems presumptuous or audacious today. Maybe that's exactly what we need to...
From [email protected]
Connecting the Two Ends: Mobile Clouds
In 1959, the colorful and brilliant physicist, Richard Feynman, gave a seminal lecture to the American Physical Society entitled, "There's Plenty of Room at...
From [email protected]
Pipelining, Computing Innovation And Economic Growth
In this economic downturn, as everyone looks with a wary eye at discretionary spending, it is instructive to consider the role of computing technology and innovation...
From [email protected]
Open Source in Latin America
An introduction to open source and its applications in south america.
From [email protected]