3302 search results - page 203 / 661 » Software Is More Than Code |
184
click to vote
IJAIT
2006
15 years 6 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
188
click to vote
TLT
2008
15 years 6 months ago
2008
For many practical learning scenarios, the integrated use of more than one learning tool is educationally beneficial. In these cases, interoperability between learning tools--getti...
178
click to vote
ESTIMEDIA
2005
Springer
16 years 3 days ago
2005
Springer
We propose a new software audio decoder for processors supporting multiple discrete voltage-frequency operating points. The proposed decoding scheme allows the user to switch betw...
177
click to vote
WDAG
2005
Springer
16 years 1 days ago
2005
Springer
Software Transactional Memory (STM) is a generic synchronization construct that enables automatic conversion of correct sequential objects into correct nonblocking concurrent obje...
149
click to vote
PODC
2003
ACM
15 years 12 months ago
2003
ACM
We propose a new form of software transactional memory (STM) designed to support dynamic-sized data structures, and we describe a novel non-blocking implementation. The non-blocki...