Sciweavers

722 search results - page 60 / 145
» The State Operator in Real Time Process Algebra
Sort
View
OSDI
2002
ACM
16 years 4 days ago
CMC: A Pragmatic Approach to Model Checking Real Code
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
Madanlal Musuvathi, David Y. W. Park, Andy Chou, D...
JPDC
2010
128views more  JPDC 2010»
14 years 10 months ago
Adaptive holistic scheduling for query processing in sensor networks
We observe two deficiencies of current query processing and scheduling techniques for sensor networks: (1) A query execution plan does not adapt to the hardware characteristics o...
Hejun Wu, Qiong Luo
ICCAD
2003
IEEE
115views Hardware» more  ICCAD 2003»
15 years 8 months ago
Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
Curtis A. Nelson, Chris J. Myers, Tomohiro Yoneda
SIGMOD
2002
ACM
145views Database» more  SIGMOD 2002»
15 years 12 months ago
Continuously adaptive continuous queries over streams
We present a continuously adaptive, continuous query (CACQ) implementation based on the eddy query processing framework. We show that our design provides significant performance b...
Samuel Madden, Mehul A. Shah, Joseph M. Hellerstei...
DEXA
2009
Springer
201views Database» more  DEXA 2009»
15 years 6 months ago
Dynamic Query Processing for P2P Data Services in the Cloud
With the trend of cloud computing, data and computing are moved away from desktop and are instead provided as a service from the cloud. Data-as-a-service enables access to a wealth...
Pawel Jurczyk, Li Xiong