Sciweavers

2968 search results - page 454 / 594
» Network Programming Using PLAN
Sort
View
SUTC
2006
IEEE
16 years 10 days 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 12 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 10 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
CCS
2008
ACM
15 years 8 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 6 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