< Program editing apparatus, program editing method, and program for splitting a program file
< Using code motion and write and read delays to increase the probability of bug detection in concurrent systems
> Method and system for allowing code to be securely initialized in a computer
> Update system capable of updating software
|