2257 search results - page 151 / 452 » Secure program partitioning |
101
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
158
Voted
CASES
2008
ACM
15 years 4 months ago
2008
ACM
Automatic vectorization of programs for partitioned-ALU SIMD (Single Instruction Multiple Data) processors has been difficult because of not only data dependency issues but also n...
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
154
click to vote
CF
2010
ACM
15 years 5 months ago
2010
ACM
The Message Passing Interface (MPI) is one of the most widely used programming models for parallel computing. However, the amount of memory available to an MPI process is limited ...
118
click to vote
DEBS
2008
ACM
15 years 4 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...