-
-
-
[
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 ...
-
-
-
-
[
Matlab]
z.shen.wang.rar
" A Low Complexity Algorithm for Proportional Resource Allocation in OFDMA Systems" With regard to the allocation of subcarriers and power ... to this article, we learn together. Hope that we provided to bring the original source in order to study.
-
-
-
[
C/C++]
Retlang.0.4.2.0.rar
... application components exchange messages asynchronously rather than using low level locking and blocking api s. Messages are delivered sequentially to prevent thread races or object synchronization. It is similar in design to event-based actors in Scala.
-
切换至中文 Over 1 million code package, 10 million code file free download 
