Search Sciweavers | Sciweavers

2853 search results - page 10 / 571

» A platform for software engineering research

click to vote

SIGSOFT
2010
ACM

120views Software Engineering» more SIGSOFT 2010»

Top ten ways to make formal methods for HPC practical

13 years 5 months ago

Download www.cs.utah.edu

Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...

Ganesh Gopalakrishnan, Robert M. Kirby

claim paper

Read More »

click to vote

SIGSOFT
2010
ACM

138views Software Engineering» more SIGSOFT 2010»

Extending software engineering research outside the digital box

13 years 5 months ago

Download csse.usc.edu

Since software is developed to run on computers, there is a tendency to focus computer science and software engineering on how best to get software to run on computers. But, engin...

Barry W. Boehm

claim paper

Read More »

click to vote

CISIS
2009
IEEE

96views Software Engineering» more CISIS 2009»

Federation and Abstraction of Heterogeneous Global Computing Platforms with the YML Framework

14 years 2 months ago