2943 search results - page 191 / 589 » Software Implementation of Synchronous Programs |
142
click to vote
IJAIT
2006
15 years 3 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...
158
click to vote
FECS
2009
15 years 29 days ago
2009
- This paper describes the development of a system for teaching C/C++ using LegoTM RCX Robots in a CS1 college course on introductory programming. The system has been implemented u...
114
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Bug patterns are erroneous code idioms or bad coding practices that have been proved fail time and time again. They mainly arise from the misunderstanding of language features, th...
122
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
We present Arithmetic Program Paths, a novel, efficient way to compress program control-flow traces that reduces program bit traces to less than a fifth of their original size whi...
123
click to vote
WOWMOM
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents the design and the implementation of a platform allowing owners of mobile devices to exchange software application programs using a peer-to-peer scheme in hybr...