2409 search results - page 379 / 482 » On Extended Regular Expressions |
116
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Developing powerful paradigms for programming sensor networks is critical to realize the full potential of sensor networks as collaborative data processing engines. In this arti...
138
click to vote
POPL
2009
ACM
15 years 11 months ago
2009
ACM
Speculative execution is an important technique that has historically been used to extract concurrency from sequential programs. While techniques to support speculation work well ...
141
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
126
click to vote
DEXAW
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper RDFStats is introduced, which is a generator for statistics of RDF sources like SPARQL endpoints and RDF documents. RDFStats does not only provide a statistics gen...
128
click to vote
DSN
2009
IEEE
15 years 11 months ago
2009
IEEE
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...