Sciweavers

2968 search results - page 454 / 594
» Network Programming Using PLAN
Sort
View
SUTC
2006
IEEE
15 years 10 months ago
An Autonomous Earth Observing Sensorweb
– We describe a network of sensors linked by software and the internet to an autonomous satellite observation response capability. This system of systems is designed with a flexi...
Steve A. Chien, Benjamin Cichy, Ashley Davies, Dan...
IPPS
2005
IEEE
15 years 10 months ago
Automatic Construction and Evaluation of Performance Skeletons
The performance skeleton of an application is a short running program whose execution time in any scenario reflects the estimated execution time of the application it represents....
Sukhdeep Sodhi, Jaspal Subhlok
IPPS
2000
IEEE
15 years 9 months ago
Reducing Ownership Overhead for Load-Store Sequences in Cache-Coherent Multiprocessors
Parallel programs that modify shared data in a cachecoherent multiprocessor with a write-invalidate coherence protocol create ownership overhead in the form of ownership acquisiti...
Jim Nilsson, Fredrik Dahlgren
145
Voted
CCS
2008
ACM
15 years 6 months ago
On the protocol composition logic PCL
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
Cas J. F. Cremers
CLUSTER
2008
IEEE
15 years 4 months ago
Performance prediction with skeletons
The performance skeleton of an application is a short running program whose performance in any scenario reflects the performance of the application it represents. Specifically, th...
Sukhdeep Sodhi, Jaspal Subhlok, Qiang Xu