18898 search results - page 3563 / 3780 » The Making of a Software Engineer |
228
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...
173
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
179
click to vote
HIPC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract— In this work, we demonstrate the power of providing a common set of operating system services to Grid Architectures, including high-performance I/O, communication, reso...
217
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
A specific application for wastewater monitoring and actuation, called CSOnet, deployed city-wide in a mid-sized US city, South Bend, Indiana, posed some challenges to a time syn...
137
click to vote
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
After thirty-plus years of making small “mid-course corrections” types of changes to the support paradigm, many on the Iowa State University campus thought it was time to make...