Sciweavers

699 search results - page 96 / 140
» Computation of Interprocedural Control Dependence
Sort
View
100
Voted
DSN
2008
IEEE
15 years 7 months ago
Automatic security assessment of critical cyber-infrastructures
This research investigates the automation of security assessment of the static and dynamic properties of cyberinfrastructures, with emphasis on the electrical power grid. We descr...
Zahid Anwar, Ravinder Shankesi, Roy H. Campbell
94
Voted
IPPS
2008
IEEE
15 years 6 months ago
Self-stabilizing population of mobile agents
We investigate a problem of maintaining a target population of mobile agents in a distributed system. The purpose of the agents is to perform certain activities, so the goal is to...
Zbigniew Golebiewski, Miroslaw Kutylowski, Tomasz ...
86
Voted
RTSS
2008
IEEE
15 years 6 months ago
Perpendicular Intersection: Locating Wireless Sensors with Mobile Beacon
Existing localization approaches are divided into two groups: range-based and range-free. The range-free schemes often suffer from poor accuracy and low scalability, while the ran...
Zhongwen Guo, Ying Guo, Feng Hong, Xiaohui Yang, Y...
79
Voted
DSN
2007
IEEE
15 years 6 months ago
SLAM: Sleep-Wake Aware Local Monitoring in Sensor Networks
Sleep-wake protocols are critical in sensor networks to ensure long-lived operation. However, an open problem is how to develop efficient mechanisms that can be incorporated with ...
Issa Khalil, Saurabh Bagchi, Ness B. Shroff
98
Voted
HPCA
2007
IEEE
15 years 6 months ago
Error Detection via Online Checking of Cache Coherence with Token Coherence Signatures
To provide high dependability in a multithreaded system despite hardware faults, the system must detect and correct errors in its shared memory system. Recent research has explore...
Albert Meixner, Daniel J. Sorin