Sciweavers

86 search results - page 17 / 18
» cc 2008
Sort
View
SIGOPS
2010
130views more  SIGOPS 2010»
13 years 3 months ago
Storing and accessing live mashup content in the cloud
Today’s Rich Internet Application (RIA) technologies such as Ajax, Flex, or Silverlight, are designed around the client-server paradigm and cannot easily take advantage of repli...
Krzysztof Ostrowski, Ken Birman
SIGSOFT
2008
ACM
14 years 6 months ago
Javert: fully automatic mining of general temporal properties from dynamic traces
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
Mark Gabel, Zhendong Su
RTAS
2008
IEEE
13 years 11 months ago
Bounding Worst-Case Response Time for Tasks with Non-Preemptive Regions
Real-time schedulability theory requires a priori knowledge of the worst-case execution time (WCET) of every task in the system. Fundamental to the calculation of WCET is a schedu...
Harini Ramaprasad, Frank Mueller
CORR
2008
Springer
60views Education» more  CORR 2008»
13 years 5 months ago
Enhanced Sensing Characteristics in MEMS-based Formaldehyde Gas Sensor
In this study, the proposed sensor integrates a sensing layer, a heating device, and electrodes on the substrate. The micro heater is integrated in the sensor to provide instantan...
Yu-Hsiang Wang, C.-C. Hsiao, Chia-Yen Lee, Rong-Hu...
ATAL
2008
Springer
13 years 7 months ago
Decentralised coordination of low-power embedded devices using the max-sum algorithm
This paper considers the problem of performing decentralised coordination of low-power embedded devices (as is required within many environmental sensing and surveillance applicat...
Alessandro Farinelli, Alex Rogers, Adrian Petcu, N...