51 search results - page 3 / 11 » An Undergraduate Summer Research Program in Software Safety |
FMICS
2009
Springer
14 years 22 days ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
ICCS
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Smaller institutions can now maintain local cluster computing environments to support research and teaching in high-performance scientific computation. Researchers can d...
ITICSE
2010
ACM
13 years 10 months ago
2010
ACM
This paper introduces the SOM (Simple Object Machine) family of virtual machine (VM) implementations, a collection of VMs for the same Smalltalk dialect addressing students at di...
ICFP
2004
ACM
14 years 6 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
SIGITE
2005
ACM
13 years 11 months ago
2005
ACM
Many undergraduate IT programs recognize that their graduates will find jobs as software developers. As such, software development (analysis and design) courses are often a core r...