1054 search results - page 73 / 211 » Translation Validation of System Abstractions |
176
click to vote
CC
2004
Springer
15 years 11 months ago
2004
Springer
When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by...
133
click to vote
HPCN
1995
Springer
15 years 9 months ago
1995
Springer
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...
168
click to vote
P2P
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract—Peer-to-peer storage systems aim to provide a reliable long-term storage at low cost. In such systems, peers fail continuously, hence, the necessity of self-repairing me...
142
click to vote
VTC
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract—Group-orthogonal multicarrier code-division multiple access (GO-MC-CDMA) has been proposed as a multiplexing technique for the uplink segment of wireless systems. The di...
154
click to vote
FDL
2006
IEEE
16 years 7 days ago
2006
IEEE
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several currently stand-alone applications. Increasing complexity of both application ...