5900 search results - page 931 / 1180 » Dependable Systems |
172
click to vote
ISSRE
2006
IEEE
16 years 19 days ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
154
click to vote
MICRO
2006
IEEE
16 years 19 days ago
2006
IEEE
Although silicon optical technology is still in its formative stages, and the more near-term application is chip-to-chip communication, rapid advances have been made in the develo...
190
click to vote
RTAS
2006
IEEE
16 years 19 days ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
193
click to vote
VTC
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— In wireless sensor networks (WSNs), reducing energy consumption of resource constrained sensor nodes is one of the most important issues. In this paper, we propose a ta...
163
click to vote
ACMICEC
2006
ACM
16 years 18 days ago
2006
ACM
We present a browser-extending Semantic Web extraction system that maps HTML documents to tables and, where possible, to rules. First, the basic data extractor ViPER distills and ...