3706 search results - page 235 / 742 » The Transformational Approach to Program Development |
100
click to vote
SAS
2005
Springer
15 years 8 months ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
121
click to vote
SC
1990
ACM
15 years 7 months ago
1990
ACM
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
132
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
A major difficulty of heterogeneous process migration is how to collect advanced dynamic data-structures, transform them into machine independent form, and restor them appropriate...
141
click to vote
TWC
2010
14 years 10 months ago
2010
We investigate the problem of minimizing the overall transmission delay of packets in a multi-access wireless communication system, where the transmitters have average power constr...
120
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
AbstractMost of the commercial P2P video streaming deployments support hundreds of channels and are referred to as multichannel systems. Measurement studies show that bandwidth r...