-
-
[
C/C++]
freememory.zip
Uses malloc() to determine the amount of free memory on the system
Don´ t run this program in Windows with virtual memory enabled, as windows just increases virtual memory
-
[
PDF]
Radian09-TDP.zip
team description of radian robocup 2d soccer team, that wae in top 13 of ssil ,Radian2D Soccer Simulation , TDP , first release on pudn
-
-
-
-
-
-
-
-
[
PDF]
SRCRR160.rar
This paper describes an approach for verifying programs in the presence of data abstraction and information hiding, which are ... , and argues that it is needed to achieve modular soundness in the presence of data abstraction and information hiding.This paper ...